Added TC_GEONW_PON_GBC_BV_07 (8f3687a6) · Commits · TTCN-3 Libraries / LibIts

ttcn/GeoNetworking/LibItsGeoNetworking_Functions.ttcn

+23 −0

Original line number	Diff line number	Diff line
		@@ -460,6 +460,29 @@ module LibItsGeoNetworking_Functions {
		}
		}

		/**
		* @desc Receive GeoBroadcast packet with specific Area and HopLimit
		*/
		altstep a_receiveGeoBroadcastWithAreaWithHopLimit(
		in template (present) LongPosVector p_srcLongPosVec,
		in template (present) LongPosVector p_senderLongPosVec,
		in template (present) StationTypeIdentifier p_stationType,
		in template (present) UInt16 p_seqNumber,
		in template (present) BroadcastArea p_broadcastArea,
		in template (present) UInt8 p_hopLimit
		) runs on ItsNt {

		[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoBroadcastHeaderWithAreaWithHopLimit(
		p_srcLongPosVec,
		p_senderLongPosVec,
		p_stationType,
		p_seqNumber,
		p_broadcastArea,
		p_hopLimit
		)))) {
		}
		}

		/**
		* @desc Receive GeoBroadcast packet for specific Geobroadcast Area
		*/

+31 −1

Original line number	Diff line number	Diff line
		@@ -94,6 +94,17 @@ module LibItsGeoNetworking_Templates {
		longPosVec := p_senderLongPosVec
		}

		template CommonHeader mw_commonHeaderWithSenderWithHopLimit (
		in template (present) NextHeader p_nextHeader,
		in template (present) HeaderTST p_headerTST,
		in template (present) StationTypeIdentifier p_stationType,
		in template (present) LongPosVector p_senderLongPosVec,
		in template (present) UInt8 p_hopLimit
		) modifies mw_commonHeader := {
		longPosVec := p_senderLongPosVec,
		hopLimit := p_hopLimit
		}

		template CommonHeader mw_commonHeaderWithHopLimit (
		in template (present) NextHeader p_nextHeader,
		in template (present) HeaderTST p_headerTST,
		@@ -318,6 +329,25 @@ module LibItsGeoNetworking_Templates {
		}
		}

		template Header mw_geoBroadcastHeaderWithAreaWithHopLimit(
		in template (present) LongPosVector p_sourceLongPosVec,
		in template (present) LongPosVector p_senderLongPosVec,
		in template (present) StationTypeIdentifier p_stationType,
		in template (present) UInt16 p_seqNumber,
		in template (present) BroadcastArea p_broadcastArea,
		in template (present) UInt8 p_hopLimit
		) modifies mw_geoBroadcastHeaderWithArea := {
		geoBroadcastHeader := {
		commonHeader := mw_commonHeaderWithSenderWithHopLimit(
		?,
		mw_geoBroadcastHeaderType,
		p_stationType,
		p_senderLongPosVec,
		p_hopLimit
		)
		}
		}

		template (value) HeaderTST m_geoBroadcastHeaderType(
		in template (value) HeaderSubTypeGeoBroadcast p_headerSubType
		) := {