"src/git@forge.etsi.org:nfv/SOL002-SOL003.git" did not exist on "67d0662e84c74e0e3668b7179d585590bcea7a6c"
Newer
Older
* @version $URL$
* $Id$
* @desc GeoNetworking Templates
module LibItsGeoNetworking_Templates {
// Libcommon
import from LibCommon_BasicTypesAndValues all;
import from LibCommon_DataStrings all;
import from LibItsCommon_TypesAndValues all;
import from LibItsIpv6OverGeoNetworking_TypesAndValues all;
import from LibItsIpv6OverGeoNetworking_Templates all;
import from LibItsBtp_Templates all;
import from LibItsExternal_TypesAndValues all;
group geoNwPrimitivesTemplates {
/**
* @desc Send template for GeoNetworking packet (GeonetworkingPort Primitive)
* @param p_geoNwMsg GeoNetworking packet to be sent
template (value) GeoNetworkingReq m_geoNwReq_linkLayerBroadcast(
msgOut := p_geoNwMsg,
macDestinationAddress := c_llBroadcast
}
/**
* @desc Send template for GeoNetworking packet (GeonetworkingPort Primitive)
* @param p_geoNwMsg GeoNetworking packet to be sent
* @param p_llDestinationAdress Link-layer destination address
template (value) GeoNetworkingReq m_geoNwReq_withLinkLayerDestination(
template (value) MacAddress p_llDestinationAdress
macDestinationAddress := p_llDestinationAdress
/**
* @desc Receive template for GeoNetworking packet (GeonetworkingPort Primitive)
* @param p_geoNwMsg GeoNetworking packet to be received
template GeoNetworkingInd mw_geoNwInd(
msgIn := p_geoNwMsg,
/**
* @desc Receive template for GeoNetworking packet (GeonetworkingPort Primitive)
* @param p_geoNwMsg GeoNetworking packet to be received
* @param p_llDestinationAdress Link-layer destination address
template GeoNetworkingInd mw_geoNwInd_withLinkLayerDestination(
template (present) MacAddress p_llDestinationAdress
) modifies mw_geoNwInd := {
*/
template (value) UtInitialize m_gnInitialize := {
}
/**
* @desc Request IUT to send a GeoUnicast message to a specific destination
* @param p_destinationGnAddr Destination of the GeoUnicast message
template (value) UtGnTrigger m_generateGeoUnicastMessage(GN_Address p_destinationGnAddr) := {
tepelmann
committed
gnAddress := p_destinationGnAddr,
payload := { decodedPayload := omit, rawPayload := ''O} // do not use f_adaptPayload_m here
/**
* @desc Request IUT to send a GeoUnicast message to a specific destination with specific lifetime
* @param p_destinationGnAddr Destination of the GeoUnicast message
* @param p_lifetime Lifetime of the GeoUnicast message
template (value) UtGnTrigger m_generateGeoUnicastMessageWithLifetime(
) modifies m_generateGeoUnicastMessage := {
tepelmann
committed
geoUnicast := {
lifetime := p_lifetime
}
/**
* @desc Request IUT to send a GeoUnicast message to a specific destination with a payload
* @param p_destinationGnAddr Destination of the GeoUnicast message
* @param p_payload Payload of the GeoUnicast message
template (value) UtGnTrigger m_generateGeoUnicastMessageWithPayload(
GN_Address p_destinationGnAddr,
tepelmann
committed
) modifies m_generateGeoUnicastMessage := {
geoUnicast := {
payload := { decodedPayload := omit, rawPayload := p_payload} // do not use f_adaptPayload_m here
}
/**
* @desc Request IUT to send a GeoUnicast message to a specific destination with specific lifetime with specific payload
* @param p_destinationGnAddr Destination of the GeoUnicast message
* @param p_lifetime Lifetime of the GeoUnicast message
* @param p_payload Payload of the GeoUnicast message
* @see m_generateGeoUnicastMessage
*/
template (value) UtGnTrigger m_generateGeoUnicastMessageWithLifetimeWithPayload(
octetstring p_payload
) modifies m_generateGeoUnicastMessageWithLifetime := {
tepelmann
committed
geoUnicast := {
payload := { decodedPayload := omit, rawPayload := p_payload} // do not use f_adaptPayload_m here
}
reinaortega
committed
/**
* @desc Request IUT to send a GeoBroadcast message to a specific area
* @param p_geoArea Destination area of the message
GeoArea p_geoArea
tepelmann
committed
geoBroadcast := {
shape := p_geoArea.shape,
area := p_geoArea.area,
payload := { decodedPayload := omit, rawPayload := ''O} // do not use f_adaptPayload_m here
tepelmann
committed
}
}
/**
* @desc Request IUT to send a GeoBroadcast message to a specific area
* @param p_geoArea Destination area of the message
template (value) UtGnTrigger m_generateGeoBroadcastMessageWithLifetime(
GeoArea p_geoArea,
tepelmann
committed
geoBroadcast := {
lifetime := p_lifetime
}
/**
* @desc Request IUT to send a GeoBroadcast message to a specific area with a payload
* @param p_geoArea Destination area of the message
* @param p_payload Payload of the GeoBroadcast message
template (value) UtGnTrigger m_generateGeoBroadcastMessageWithPayload(
GeoArea p_geoArea,
) modifies m_generateGeoBroadcastMessage := {
tepelmann
committed
geoBroadcast := {
payload := { decodedPayload := omit, rawPayload := p_payload} // do not use f_adaptPayload_m here
}
/**
* @desc Request IUT to send a GeoAnycast message to a specific area
* @param p_geoArea Destination area of the message
GeoArea p_geoArea
tepelmann
committed
geoAnycast := {
shape := p_geoArea.shape,
area := p_geoArea.area,
payload := { decodedPayload := omit, rawPayload := ''O} // do not use f_adaptPayload_m here
tepelmann
committed
}
/**
* @desc Request IUT to send a GeoAnycast message to a specific area with a payload
* @param p_geoArea Destination area of the message
* @param p_payload Payload of the GeoAnycast message
template (value) UtGnTrigger m_generateGeoAnycastMessageWithPayload(
GeoArea p_geoArea,
) modifies m_generateGeoAnycastMessage := {
tepelmann
committed
geoAnycast := {
payload := { decodedPayload := omit, rawPayload := p_payload} // do not use f_adaptPayload_m here
}
/**
* @desc Request IUT to send a SHB message
tepelmann
committed
shb := {
payload := { decodedPayload := omit, rawPayload := ''O} // do not use f_adaptPayload_m here
tepelmann
committed
}
/**
* @desc Request IUT to send a SHB message with a payload
tepelmann
committed
shb := {
payload := { decodedPayload := omit, rawPayload := p_payload} // do not use f_adaptPayload_m here
}
/**
* @desc Request IUT to send a TSB message
tepelmann
committed
tsb := {
payload := { decodedPayload := omit, rawPayload := ''O} // do not use f_adaptPayload_m here
tepelmann
committed
}
}
/**
* @desc Request IUT to change its position
*/
template (value) UtChangePosition m_changePosition := {
latitude := 1000,
longitude := 0,
elevation := 0
/**
* @desc Checks the receive of a packet
template (value) UtGnTrigger m_checkPacket(template (value) GeoNetworkingPdu p_pdu) := {
checkPdu := p_pdu
}
} // end utPrimitives
/**
* @desc Testsystem will start beaconing for the given neighbor
* @param p_beaconHeader The neighbor information
template (value) AcGnPrimitive m_startBeaconing(
template (value) BeaconHeader p_beaconHeader
) := {
beaconPacket := m_geoNwPdu(m_geoNwBeaconPacket(p_beaconHeader.srcPosVector), -, c_hopLimit1)
/**
* @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
*/
template (value) BeaconHeader p_beaconHeader
) := {
startPassBeaconing := {
beaconHeader := p_beaconHeader
}
}
/**
* @desc Testsystem will stop passing beacon information to the TTCN-3
*/
template AcGnPrimitive m_stopPassBeaconing := {
stopPassBeaconing := {
}
}
* @desc Testsystem will start beaconing for multiple neighbors
* @param p_beaconHeader The neighbor information
* @param p_numberOfNeighbour The number of ITS stations for which TS will send beacons
template (value) AcGnPrimitive m_startBeaconingMultipleNeighbour(
template (value) BeaconHeader p_beaconHeader,
integer p_numberOfNeighbour
) := {
startBeaconingMultipleNeighbour := {
beaconPacket := m_geoNwPdu(m_geoNwBeaconPacket(p_beaconHeader.srcPosVector), -, c_hopLimit1),
numberOfNeighbour := p_numberOfNeighbour
}
}
/**
* @desc Testsystem will stop beaconing for multiple neighbors
* @param p_compName The neighbor
*/
template AcGnPrimitive m_stopBeaconingMultipleNeighbour := {
stopBeaconingMultipleNeighbour:= {
}
* @desc Testsystem will reply the LongPosVector including the requested GN address
* found in received beacon information to the TTCN-3
* @param p_gnAddress The GN address included in the LongPosVector
template AcGnPrimitive m_getLongPosVector(GN_Address p_gnAddress) := {
getLongPosVector := {
gnAddress := p_gnAddress
}
}
/**
* @desc Receive template adapter control result for long position vector with specific GN_Address
* @param p_gnAddress GN_Address to be contained in the long position vector
*/
template AcGnResponse mw_getLongPosVectorAny(template (present) GN_Address p_gnAddress) := {
getLongPosVector := mw_longPosVectorAny(p_gnAddress)
}
} // geoNwPrimitivesTemplates
group geoNwPduTemplates {
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
* @desc Send template for GeoNetworking PDU
* @param p_packet GnNonSecuredPacket of GeoNetworking message
* @param p_lifeTime Lifetime of GeoNetworking message (Default: m_defaultLifetime)
* @param p_hopLimit Router Hop limit of GeoNetworking message (Default: c_defaultHopLimit)
*/
template (value) GeoNetworkingPdu m_geoNwPdu(
in template (value) GnNonSecuredPacket p_packet,
in template (value) Lifetime p_lifeTime := m_defaultLifetime,
in template (value) UInt8 p_hopLimit := c_defaultHopLimit
) := {
basicHeader := m_basicHeader(p_lifeTime, p_hopLimit),
gnPacket := {
packet := p_packet
}
}
/**
* @desc Receive template for GeoNetworking PDU
* @param p_packet GnNonSecuredPacket of GeoNetworking message
* @param p_lifeTime Lifetime of GeoNetworking message (Default: ?)
* @param p_hopLimit Router Hop limit of GeoNetworking message (Default: ?)
*/
template (present) GeoNetworkingPdu mw_geoNwPdu(
in template (present) GnNonSecuredPacket p_packet,
in template (present) Lifetime p_lifeTime := ?,
in template (present) UInt8 p_hopLimit := ?
) := {
basicHeader := mw_basicHeader(p_lifeTime, p_hopLimit),
gnPacket := {
packet := p_packet
}
}
} // end geoNwPduTemplates
group geoNwPacketTemplates {
/**
* @desc Send template for GeoNetworking Packet
* @param p_basicHeader Common header of GeoNetworking packet
* @param p_extHeader Extended header of GeoNetworking packet
template (value) GeoNetworkingPacket m_geoNwPacket(
in template (value) CommonHeader p_commonHeader,
in template (value) ExtendedHeader p_extHeader
packet := {
commonHeader := p_commonHeader,
extendedHeader := p_extHeader,
payload := f_adaptPayload_m(char2oct("DEFAULT_PAYLOAD"))
}
}
/**
* @desc Send template for GeoNetworking Packet with no payload
* @param p_basicHeader Common header of GeoNetworking packet
* @param p_extHeader Extended header of GeoNetworking packet
template (value) GeoNetworkingPacket m_geoNwPacketNoPayload(
in template (value) CommonHeader p_commonHeader,
in template (value) ExtendedHeader p_extHeader
) modifies m_geoNwPacket := {
packet := {
payload := omit
}
* @desc Send template for GeoNetworking Packet with octetstring payload
* @param p_basicHeader Common header of GeoNetworking packet
* @param p_extHeader Extended header of GeoNetworking packet
* @param p_payload Octetstring payload
template (value) GeoNetworkingPacket m_geoNwPacketWithOctetstringPayload(
in template (value) CommonHeader p_commonHeader,
in template (value) ExtendedHeader p_extHeader,
in template (value) octetstring p_payload
) modifies m_geoNwPacket := {
packet := {
payload := f_adaptPayload_m(p_payload)
}
* @desc Send template for GeoNetworking Packet with payload
* @param p_basicHeader Common header of GeoNetworking packet
* @param p_extHeader Extended header of GeoNetworking packet
* @param p_payload Payload
template (value) GeoNetworkingPacket m_geoNwPacketWithPayload(
in template (value) CommonHeader p_commonHeader,
in template (value) ExtendedHeader p_extHeader,
) modifies m_geoNwPacket := {
packet := {
payload := p_payload
}
* @desc Receive template for GeoNetworking Packet
* @param p_basicHeader Common header of GeoNetworking packet
* @param p_extHeader Extended header of GeoNetworking packet
template (present) GeoNetworkingPacket mw_geoNwPacket(
in template (present) CommonHeader p_commonHeader,
in template ExtendedHeader p_extHeader
packet := {
commonHeader := p_commonHeader,
extendedHeader := p_extHeader,
payload := *
}
}
* @desc Receive template for GeoNetworking Packet with any payload
* @param p_basicHeader Common header of GeoNetworking packet
* @param p_extHeader Extended header of GeoNetworking packet
*/
template GeoNetworkingPacket mw_geoNwPduAnyPayload(
in template (present) CommonHeader p_commonHeader,
in template ExtendedHeader p_extHeader
) modifies mw_geoNwPacket := {
packet := {
payload := ?
}
}
* @desc Receive template for GeoNetworking PDU with octetstring payload
* @param p_basicHeader Common header of GeoNetworking packet
* @param p_extHeader Extended header of GeoNetworking packet
* @param p_payload Octetstring payload
template GeoNetworkingPacket mw_geoNwPduWithOctetstringPayload(
in template (present) CommonHeader p_commonHeader,
in template ExtendedHeader p_extHeader,
) modifies mw_geoNwPacket := {
packet := {
payload := f_adaptPayload_mw(p_payload)
}
}
/**
* @desc Receive template for GeoNetworking PDU with payload
* @param p_basicHeader Common header of GeoNetworking packet
* @param p_extHeader Extended header of GeoNetworking packet
* @param p_payload Payload
*/
template GeoNetworkingPacket mw_geoNwPduWithPayload(
in template (present) CommonHeader p_commonHeader,
in template ExtendedHeader p_extHeader,
) modifies mw_geoNwPacket := {
packet := {
payload := p_payload
}
}
group geoNwPacketUnicastTemplates {
/**
* @desc Send template for GeoNetworking Unicast Packet
* @param p_sourceLongPosVec Long position vector of source
* @param p_destinationShortPosVec Short position vector of destination
* @param p_seqNumber Sequence number of GeoUnicast packet
tepelmann
committed
* @param p_hopLimit Maximum number of hops (Default: c_defaultHopLimit)
*/
template (value) GnNonSecuredPacket m_geoNwUnicastPacket(
in template (value) LongPosVector p_sourceLongPosVec,
in template (value) ShortPosVector p_destinationShortPosVec,
tepelmann
committed
in template (value) UInt16 p_seqNumber,
in template (value) UInt8 p_hopLimit := c_defaultHopLimit
) := {
commonHeader := m_commonHeader(
PX_GN_UPPER_LAYER,
m_geoUnicastHeaderType,
m_trafficClass,
tepelmann
committed
p_hopLimit
),
extendedHeader := m_geoUnicastHeader(
p_sourceLongPosVec,
p_destinationShortPosVec,
p_seqNumber
),
payload := f_adaptPayload_m(char2oct("DEFAULT_PAYLOAD"))
}
/**
* @desc Receive template for GeoNetworking Unicast Packet
* @param p_destinationShortPosVec Short position vector of destination
* @param p_seqNumber Sequence number of GeoUnicast packet
*/
template (present) GnNonSecuredPacket mw_geoNwUnicastPacket(
in template (present) ShortPosVector p_destinationShortPosVec,
in template (present) UInt16 p_seqNumber
) := {
commonHeader := mw_commonHeader(
PX_GN_UPPER_LAYER,
mw_geoUnicastHeaderType
),
extendedHeader := mw_geoUnicastHeader(
p_destinationShortPosVec,
p_seqNumber
),
payload := ?
}
/**
* @desc Receive template for GeoNetworking Unicast Packet
* @param p_destinationShortPosVec Short position vector of destination
* @param p_seqNumber Sequence number of GeoUnicast packet
* @param p_hopLimit Maximum number of hops (Default: ?)
* @see mw_geoNwUnicastPacket
*/
template (present) GnNonSecuredPacket mw_geoNwUnicastPacketWithHl(
in template (present) ShortPosVector p_destinationShortPosVec,
in template (present) UInt16 p_seqNumber,
in template (present) UInt8 p_hopLimit := ?
) modifies mw_geoNwUnicastPacket := {
commonHeader := mw_commonHeaderWithHopLimit(
PX_GN_UPPER_LAYER,
mw_geoUnicastHeaderType,
p_hopLimit
),
extendedHeader := mw_geoUnicastHeader(
p_destinationShortPosVec,
p_seqNumber
),
payload := ?
}
/**
* @desc Receive template for GeoNetworking Unicast Packet
* @param p_destinationShortPosVec Short position vector of destination
* @param p_seqNumber Sequence number of GeoUnicast packet
* @param p_hopLimit Maximum number of hops (Default: ?)
* @param p_flags Flags in the common header (Default: ?)
* @see mw_geoNwUnicastPacketWithHl
*/
template (present) GnNonSecuredPacket mw_geoNwUnicastPacketWithHlAndFlags(
in template (present) ShortPosVector p_destinationShortPosVec,
in template (present) UInt16 p_seqNumber,
in template (present) UInt8 p_hopLimit := ?,
in template (present) Bit8 p_flags := ?
) modifies mw_geoNwUnicastPacketWithHl := {
commonHeader := mw_commonHeaderWithHopLimitAndFlags(
PX_GN_UPPER_LAYER,
mw_geoUnicastHeaderType,
p_hopLimit,
p_flags
)
}
/**
* @desc Receive template for GeoNetworking Unicast Packet
* @param p_destinationShortPosVec Short position vector of destination
* @param p_seqNumber Sequence number of GeoUnicast packet
* @param p_srcLongPosVec Long position vector of source
*/
template (present) GnNonSecuredPacket mw_geoNwUnicastPacketWithSourcePv(
in template (present) ShortPosVector p_destinationShortPosVec,
in template (present) UInt16 p_seqNumber,
in template (present) LongPosVector p_srcLongPosVec
) modifies mw_geoNwUnicastPacket := {
extendedHeader := mw_geoUnicastHeaderWithSourcePv(
p_destinationShortPosVec,
p_seqNumber,
p_srcLongPosVec
)
}
/**
* @desc Receive template for GeoNetworking Unicast Packet
* @param p_destinationShortPosVec Short position vector of destination
* @param p_seqNumber Sequence number of GeoUnicast packet
* @param p_nextHeader Id of next header
*/
template (present) GnNonSecuredPacket mw_geoNwUnicastPacketWithNextHeader(
in template (present) ShortPosVector p_destinationShortPosVec,
in template (present) UInt16 p_seqNumber,
in template (present) NextHeader p_nextHeader
) modifies mw_geoNwUnicastPacket := {
commonHeader := {
nextHeader := p_nextHeader
}
}
} // end group geoNwPacketUnicastTemplates
group geoNwPacketAnycastTemplates {
/**
* @desc Send template for GeoNetworking Anycast Packet
* @param p_sourceLongPosVec Long position vector of source
* @param p_seqNumber Sequence number of GeoAnycast packet
* @param p_anycastArea Destination GeoArea
tepelmann
committed
* @param p_hopLimit Maximum number of hops (Default: c_defaultHopLimit)
*/
template (value) GnNonSecuredPacket m_geoNwAnycastPacket(
in template (value) LongPosVector p_sourceLongPosVec,
in template (value) UInt16 p_seqNumber,
tepelmann
committed
in template (value) GeoAnycastArea p_anycastArea,
in template (value) UInt8 p_hopLimit := c_defaultHopLimit
) := {
commonHeader := m_commonHeader(
PX_GN_UPPER_LAYER,
m_geoAnycastHeaderType(p_anycastArea.geoAnycastSubType),
m_trafficClass,
tepelmann
committed
p_hopLimit
),
extendedHeader := m_geoAnycastHeader(
p_sourceLongPosVec,
p_seqNumber,
p_anycastArea
),
payload := f_adaptPayload_m(char2oct("DEFAULT_PAYLOAD"))
}
/**
* @desc Receive template for GeoNetworking Anycast Packet
* @param p_seqNumber Sequence number of GeoAnycast packet
*/
template (present) GnNonSecuredPacket mw_geoNwAnycastPacket(
in template (present) LongPosVector p_sourceLongPosVec,
in template (present) UInt16 p_seqNumber
) := {
commonHeader := mw_commonHeader(
PX_GN_UPPER_LAYER,
mw_geoAnycastHeaderType
),
extendedHeader := mw_geoAnycastHeader(
p_sourceLongPosVec,
p_seqNumber
),
payload := ?
}
/**
* @desc Receive template for GeoNetworking Anycast Packet
* @param p_seqNumber Sequence number of GeoAnycast packet
* @param p_anycastArea Destination GeoArea
*/
template (present) GnNonSecuredPacket mw_geoNwAnycastPacketWithArea(
in template (present) LongPosVector p_sourceLongPosVec,
in template (present) UInt16 p_seqNumber,
in template (present) GeoAnycastArea p_anycastArea
) := {
commonHeader := mw_commonHeader(
PX_GN_UPPER_LAYER,
mw_geoAnycastHeaderTypeWithSubType(p_anycastArea.geoAnycastSubType)
),
extendedHeader := mw_geoAnycastHeaderWithArea(
p_sourceLongPosVec,
p_seqNumber,
p_anycastArea
),
payload := ?
}
tepelmann
committed
/**
* @desc Receive template for GeoNetworking Anycast Packet
tepelmann
committed
* @param p_seqNumber Sequence number of GeoAnycast packet
* @param p_anycastArea Destination GeoArea
* @param p_maxHopLimit Maximum number of hops (Default := ?)
*/
template (present) GnNonSecuredPacket mw_geoNwAnycastPacketWithAreaAndHl(
in template (present) LongPosVector p_sourceLongPosVec,
in template (present) UInt16 p_seqNumber,
in template (present) GeoAnycastArea p_anycastArea,
in template (present) UInt8 p_maxHopLimit := ?
) modifies mw_geoNwAnycastPacketWithArea := {
commonHeader := mw_commonHeaderWithHopLimit(
PX_GN_UPPER_LAYER,
mw_geoAnycastHeaderTypeWithSubType(p_anycastArea.geoAnycastSubType),
p_maxHopLimit
)
}
/**
* @desc Receive template for GeoNetworking Anycast Packet
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
* @param p_seqNumber Sequence number of GeoAnycast packet
* @param p_anycastArea Destination GeoArea
* @param p_nextHeader Id of next header
*/
template (present) GnNonSecuredPacket mw_geoNwAnycastPacketWithAreaWithNextHeader(
in template (present) LongPosVector p_sourceLongPosVec,
in template (present) UInt16 p_seqNumber,
in template (present) GeoAnycastArea p_anycastArea,
in template (present) NextHeader p_nextHeader
) modifies mw_geoNwAnycastPacketWithArea := {
commonHeader := {
nextHeader := p_nextHeader
}
}
} // end group geoNwPacketAnycastTemplates
group geoNwPacketBroadcastTemplates {
/**
* @desc Send template for GeoNetworking Broadcast Packet
* @param p_sourceLongPosVec Long position vector of source
* @param p_seqNumber Sequence number of GeoBroadcast packet
* @param p_broadcastArea Destination GeoArea
*/
template (value) GnNonSecuredPacket m_geoNwBroadcastPacket(
in template (value) LongPosVector p_sourceLongPosVec,
in template (value) UInt16 p_seqNumber,
tepelmann
committed
in template (value) GeoBroadcastArea p_broadcastArea,
in template (value) UInt8 p_hopLimit := c_defaultHopLimit
) := {
commonHeader := m_commonHeader(
PX_GN_UPPER_LAYER,
m_geoBroadcastHeaderType(p_broadcastArea.geoBroadcastSubType),
m_trafficClass,
tepelmann
committed
p_hopLimit
),
extendedHeader := m_geoBroadcastHeader(
p_sourceLongPosVec,
p_seqNumber,
p_broadcastArea
),
payload := f_adaptPayload_m(char2oct("DEFAULT_PAYLOAD"))
}
/**
* @desc Receive template for GeoNetworking Broadcast Packet
* @param p_seqNumber Sequence number of GeoBroadcast packet
*/
template (present) GnNonSecuredPacket mw_geoNwBroadcastPacket(
in template (present) LongPosVector p_sourceLongPosVec,
in template (present) UInt16 p_seqNumber
) := {
commonHeader := mw_commonHeader(
PX_GN_UPPER_LAYER,
mw_geoBroadcastHeaderType
),
extendedHeader := mw_geoBroadcastHeader(
p_sourceLongPosVec,
p_seqNumber
),
payload := ?
}
/**
* @desc Receive template for GeoNetworking Broadcast Packet
* @param p_seqNumber Sequence number of GeoBroadcast packet
* @param p_nextHeader Id of next header
*/
template (present) GnNonSecuredPacket mw_geoNwBroadcastPacketWithNextHeader(
in template (present) LongPosVector p_sourceLongPosVec,
in template (present) UInt16 p_seqNumber,
in template (present) NextHeader p_nextHeader
) modifies mw_geoNwBroadcastPacket := {
commonHeader := mw_commonHeader(
p_nextHeader,
mw_geoBroadcastHeaderType
)
}
/**
* @desc Receive template for GeoNetworking Broadcast Packet
* @param p_sourceLongPosVec Long position vector of source
* @param p_seqNumber Sequence number of GeoBroadcast packet
* @param p_nextHeader Id of next header
* @param p_payload payload
*/
template (present) GnNonSecuredPacket mw_geoNwBroadcastPacketWithNextHeaderAndPayload(
in template (present) LongPosVector p_sourceLongPosVec,
in template (present) UInt16 p_seqNumber,
in template (present) NextHeader p_nextHeader,
in template (present) Payload p_payload
) modifies mw_geoNwBroadcastPacketWithNextHeader := {
payload := p_payload
}
/**
* @desc Receive template for GeoNetworking Broadcast Packet
* @param p_seqNumber Sequence number of GeoBroadcast packet
* @param p_broadcastArea Destination GeoArea
*/
template (present) GnNonSecuredPacket mw_geoNwBroadcastPacketWithArea(
in template (present) LongPosVector p_sourceLongPosVec,
in template (present) UInt16 p_seqNumber,
in template (present) GeoBroadcastArea p_broadcastArea
) modifies mw_geoNwBroadcastPacket := {
commonHeader := mw_commonHeader(
PX_GN_UPPER_LAYER,
mw_geoBroadcastHeaderTypeWithSubType(p_broadcastArea.geoBroadcastSubType)
),
extendedHeader := mw_geoBroadcastHeaderWithArea(
p_sourceLongPosVec,
p_seqNumber,
p_broadcastArea
)
}
tepelmann
committed
/**
* @desc Receive template for GeoNetworking Broadcast Packet
tepelmann
committed
* @param p_seqNumber Sequence number of GeoBroadcast packet
* @param p_broadcastArea Destination GeoArea
* @param p_maxHopLimit Maximum number of hops (Default := ?)
*/
template (present) GnNonSecuredPacket mw_geoNwBroadcastPacketWithAreaAndHl(
in template (present) LongPosVector p_sourceLongPosVec,
in template (present) UInt16 p_seqNumber,
in template (present) GeoBroadcastArea p_broadcastArea,
in template (present) UInt8 p_maxHopLimit := ?
) modifies mw_geoNwBroadcastPacketWithArea := {
commonHeader := mw_commonHeaderWithHopLimit(
PX_GN_UPPER_LAYER,
mw_geoBroadcastHeaderTypeWithSubType(p_broadcastArea.geoBroadcastSubType),
p_maxHopLimit
)
}
/**
* @desc Receive template for GeoNetworking Broadcast Packet
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
* @param p_seqNumber Sequence number of GeoBroadcast packet
* @param p_broadcastArea Destination GeoArea
*/
template (present) GnNonSecuredPacket mw_geoNwBroadcastPacketWithAreaWithNextHeader(
in template (present) LongPosVector p_sourceLongPosVec,
in template (present) UInt16 p_seqNumber,
in template (present) GeoBroadcastArea p_broadcastArea,
in template (present) NextHeader p_nextHeader
) modifies mw_geoNwBroadcastPacketWithArea := {
commonHeader := {
nextHeader := p_nextHeader
}
}
} // end group geoNwPacketBroadcastTemplates
group geoNwPacketLsTemplates {
/**
* @desc Send template for GeoNetworking LS Request Packet
* @param p_sourceLongPosVec Long position vector of source
* @param p_seqNumber Sequence number of LS Request packet
* @param p_gnAddress Searched GN_Address
*/
template (value) GnNonSecuredPacket m_geoNwLsRequestPacket(
in template (value) LongPosVector p_sourceLongPosVec,
in template (value) UInt16 p_seqNumber,
in template (value) GN_Address p_gnAddress
) := {
commonHeader := m_commonHeader(
m_lsRequestHeaderType,
m_trafficClass,
c_defaultHopLimit
),
extendedHeader := m_lsRequestHeader(
p_sourceLongPosVec, p_seqNumber, p_gnAddress
),
payload := omit
}
/**
* @desc Receive template for GeoNetworking LS Request Packet
* @param p_seqNumber Sequence number of LS Request packet
* @param p_mid Searched GN_Address MID
*/
template (present) GnNonSecuredPacket mw_geoNwLsRequestPacket(
in template (present) UInt16 p_seqNumber,
in template (present) GN_Address.mid p_mid
) := {
commonHeader := mw_commonHeader(
m_lsRequestHeaderType
),
extendedHeader := mw_lsRequestHeader(
p_seqNumber,
p_mid
),
payload := {
decodedPayload := omit,
rawPayload := ''O
}
}
/**
* @desc Send template for GeoNetworking LS Reply Packet
* @param p_sourceLongPosVec Long position vector of source
* @param p_destinationLongPosVec Long position vector of destination
* @param p_seqNumber Sequence number of LS Reply packet
*/
template (value) GnNonSecuredPacket m_geoNwLsReplyPacket(
in template (value) LongPosVector p_sourceLongPosVec,
in template (value) ShortPosVector p_destinationLongPosVec,
in template (value) UInt16 p_seqNumber
) := {
commonHeader := m_commonHeader(
m_lsReplyHeaderType,
m_trafficClass,
c_defaultHopLimit
),
extendedHeader := m_lsReplyHeader(
p_sourceLongPosVec, p_destinationLongPosVec, p_seqNumber
),
payload := omit
}
/**
* @desc Receive template for GeoNetworking LS Reply Packet
* @param p_sourceLongPosVec Long position vector of source
* @param p_destinationLongPosVec Short position vector of destination
*/
template (present) GnNonSecuredPacket mw_geoNwLsReplyPacket(
in template (present) LongPosVector p_sourceLongPosVec,
in template (present) ShortPosVector p_destinationLongPosVec
) := {
commonHeader := mw_commonHeader(