Newer
Older
/**
* @author ETSI / STF405
* @version $URL$
* $Id$
* @desc GeoNetworking Templates
*
*/
module LibItsGeoNetworking_Templates {
// Libcommon
import from LibCommon_BasicTypesAndValues all;
import from LibCommon_DataStrings all;
// LibIts
import from LibIts_Interface all;
import from LibItsGeoNetworking_TypesAndValues all;
group geoNwPrimitivesTemplates {
template (value) GeoNetworkingReq m_geoNwReq(
template (value) GeoNetworkingPacket p_geoNwMsg
) := {
msgOut := p_geoNwMsg
}
template GeoNetworkingInd mw_geoNwInd(
template (present) GeoNetworkingPacket p_geoNwMsg
) := {
msgIn := p_geoNwMsg
}
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
66
67
68
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
109
110
111
112
113
114
115
116
group utPrimitives {
template UtGNEvent m_generateGeoUnicastMessage(GN_Address p_destinationGnAddr) := {
geoUnicast := {
gnAddress := p_destinationGnAddr,
lifetime := omit,
payload := omit
}
}
template UtGNEvent m_generateGeoUnicastMessageWithLifetime(
GN_Address p_destinationGnAddr,
integer p_lifetime
) modifies m_generateGeoUnicastMessage := {
geoUnicast := {
lifetime := p_lifetime
}
}
template UtGNEvent m_generateGeoUnicastMessageWithPayload(
GN_Address p_destinationGnAddr,
Payload p_payload
) modifies m_generateGeoUnicastMessage := {
geoUnicast := {
payload := p_payload
}
}
template UtGNEvent m_generateGeoBroadcastMessage(
charstring p_area
) := {
geoBroadcast := {
area := p_area,
payload := omit
}
}
template UtGNEvent m_generateGeoBroadcastMessageWithPayload(
charstring p_area,
Payload p_payload
) modifies m_generateGeoBroadcastMessage := {
geoBroadcast := {
payload := p_payload
}
}
template UtGNEvent m_generateGeoAnycastMessage(
charstring p_area
) := {
geoAnycast := {
area := p_area,
payload := omit
}
}
template UtGNEvent m_generateGeoAnycastMessageWithPayload(
charstring p_area,
Payload p_payload
) modifies m_generateGeoAnycastMessage := {
geoAnycast := {
payload := p_payload
}
}
template UtGNEvent m_generateSHBMessage := {
shb := {
payload := omit
}
}
template UtGNEvent m_generateSHBMessageWithPayload(
Payload p_payload
) modifies m_generateSHBMessage := {
shb := {
payload := p_payload
}
}
template UtGNEvent m_generateTSBMessage := {
tsb := {
payload := omit
}
}
} // end utPrimitives
group taPrimitives {
/**
* @desc Testsystem will start beaconing for the given neighbor
* @param p_beaconHeader The neighbor information
*/
tepelmann
committed
template (value) AcGNEvent m_startBeaconing(BeaconHeader p_beaconHeader) := {
startBeaconing := {
beaconHeader := p_beaconHeader
}
}
/**
* @desc Testsystem will stop beaconing for the given neighbor
* @param p_compName The neighbor
*/
stopBeaconing:= {
}
}
/**
* @desc Testsystem will pass received to the TTCN-3
* @param p_beaconHeader The neighbor information
*/
tepelmann
committed
template AcGNEvent m_startPassBeaconing(BeaconHeader p_beaconHeader) := {
startPassBeaconing := {
beaconHeader := p_beaconHeader
}
}
/**
* @desc Testsystem will stop passing beacon information to the TTCN-3
*/
tepelmann
committed
template AcGNEvent m_stopPassBeaconing := {
stopPassBeaconing := {
}
}
} // end taPrimitives
} // geoNwPrimitivesTemplates
group geoNwPduTemplates {
template (value) GeoNetworkingPacket m_geoNwPdu(in template (value) Header p_header) := {
header := p_header,
secHeader := omit,
payload := omit
}
template (value) GeoNetworkingPacket m_geoNwPduWithPayload(in template (value) Header p_header, in template (value) Payload p_payload) := {
header := p_header,
secHeader := omit,
payload := p_payload
}
template GeoNetworkingPacket mw_geoNwPdu(in template (present) Header p_header) := {
header := p_header,
template GeoNetworkingPacket mw_geoNwPduAnyPayload(in template (present) Header p_header) := {
header := p_header,
secHeader := *,
payload := ?
}
template GeoNetworkingPacket mw_geoNwPduWithPayload(in template (present) Header p_header, in template (present) Payload p_payload) := {
header := p_header,
secHeader := *,
payload := p_payload
}
} // end geoNwPduTemplates
group geoNwHeadersTemplates {
group geoNwCommonHeaderTemplates {
template (value) CommonHeader m_commonHeader (
in template (value) NextHeader p_nextHeader,
in template (value) HeaderTST p_headerTST,
Loading full blame...