Newer
Older
/**
* @author ETSI / STF405
* @version $URL$
* $Id$
* @desc Basic Transport Protocol Templates
*
*/
module LibItsBtp_Templates {
// LibIts
import from LibIts_Interface all;
import from LibItsBtp_TypesAndValues all;
} // btpPrimitivesTemplates
group btpPduTemplates {
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
template(value) BtpPacket m_btpA ( template (value) BtpPortId p_DestPort,
template (value) BtpPortId p_SrcPort,
template (value) BtpPayload p_payload
)
:= {
header := { btpAHeader := { destinationPort := p_DestPort,
sourcePort := p_SrcPort}},
payload := p_payload
}
template(value) BtpPacket m_btpB ( template (value) BtpPortId p_DestPort,
template (value) BtpPortInfo p_DestPortInfo,
template (value) BtpPayload p_payload
)
:= {
header := { btpBHeader := { destinationPort := p_DestPort,
destinationPortInfo := p_DestPortInfo}},
payload := p_payload
}
template(present) BtpPacket mw_btpA ( template (present) BtpPortId p_DestPort,
template (present) BtpPortId p_SrcPort,
template BtpPayload p_payload
)
:= {
header := { btpAHeader := { destinationPort := p_DestPort,
sourcePort := p_SrcPort}},
payload := p_payload
}
template(present) BtpPacket mw_btpB ( template (present) BtpPortId p_DestPort,
template (present) BtpPortInfo p_DestPortInfo,
template BtpPayload p_payload
)
:= {
header := { btpBHeader := { destinationPort := p_DestPort,
destinationPortInfo := p_DestPortInfo}},
payload := p_payload
}