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;
29
30
31
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
group utPrimitives {
/**
* @desc Generate a BTP A packet
* @param p_destPort The destination port
* @param p_srcPort The source port
*/
template (value) UtBtpEvent m_generateBtpAPacket(in BtpPortId p_destPort, in BtpPortId p_srcPort) := {
btpA := {
destinationPort := p_destPort,
sourcePort := p_srcPort
}
}
/**
* @desc Generate a BTP B packet
* @param p_destPort The destination port
* @param p_destPortInfo The destination port information
*/
template (value) UtBtpEvent m_generateBtpBPacket(in BtpPortId p_destPort, in BtpPortInfo p_destPortInfo) := {
btpB := {
destinationPort := p_destPort,
destinationPortInfo := p_destPortInfo
}
}
/**
* @desc Generate a BTP B packet
* @param p_destPort The destination port
* @param p_destPortInfo The destination port information
*/
template (value) UtBtpEvent m_checkPayload(in BtpPayload p_payload) := {
payload := p_payload
}
} // end utPrimitives
} // btpPrimitivesTemplates
group btpPduTemplates {
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
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
}