Added TSB test cases. (98447639) · Commits · TTCN-3 Libraries / LibIts

ttcn/GeoNetworking/LibItsGeoNetworking_Templates.ttcn

+88 −21

Original line number	Diff line number	Diff line
		@@ -188,12 +188,9 @@ module LibItsGeoNetworking_Templates {
		in template (present) UInt8 p_hopLimit
		) modifies mw_geoUnicastHeader := {
		geoUnicastHeader := {
		commonHeader := mw_commonHeaderWithHopLimit(
		?,
		mw_geoUnicastHeaderType,
		p_stationType,
		p_hopLimit
		)
		commonHeader := {
		hopLimit := p_hopLimit
		}
		}
		}

		@@ -356,17 +353,9 @@ module LibItsGeoNetworking_Templates {
		in template (present) UInt8 p_hopLimit
		) modifies mw_lsRequestHeader := {
		lsRequestHeader := {
		commonHeader := mw_commonHeaderWithHopLimit(
		e_any,
		mw_lsRequestHeaderType,
		p_stationType,
		p_hopLimit
		),
		seqNumber := p_seqNumber,
		lifetime := ?,
		reserved := ?,
		srcPosVector := ?,
		gnAddress := p_gnAddress
		commonHeader := {
		hopLimit := p_hopLimit
		}
		}
		}

		@@ -536,6 +525,84 @@ module LibItsGeoNetworking_Templates {

		} // end shbHeaderTemplates

		group tsbHeaderTemplates {

		template Header m_tsbHeader(
		in template (value) LongPosVector p_senderLongPosVec,
		in template (value) StationTypeIdentifier p_stationType,
		in template (value) UInt16 p_seqNumber,
		in template (value) LongPosVector p_srcPosVector
		) := {
		tsbHeader := {
		commonHeader := m_commonHeader(
		e_any,
		m_shbHeaderType,
		m_trafficClass,
		c_defaultHopLimit,
		p_senderLongPosVec,
		p_stationType
		),
		seqNumber := p_seqNumber,
		lifetime := m_lifetime,
		reserved := c_uInt8Zero,
		srcPosVector := p_srcPosVector
		}
		}

		template Header m_tsbHeaderWithHopLimit(
		in template (value) LongPosVector p_senderLongPosVec,
		in template (value) StationTypeIdentifier p_stationType,
		in template (value) UInt16 p_seqNumber,
		in template (value) LongPosVector p_srcPosVector,
		in template (value) UInt8 p_hopLimit
		) modifies m_tsbHeader := {
		tsbHeader := {
		commonHeader := {
		hopLimit := p_hopLimit
		}
		}
		}

		template Header mw_tsbHeader(
		in template (present) StationTypeIdentifier p_stationType,
		in template (present) UInt16 p_seqNumber,
		in template (present) LongPosVector p_srcPosVector
		) := {
		tsbHeader := {
		commonHeader := mw_commonHeader(
		e_any,
		m_tsbHeaderType,
		p_stationType
		),
		seqNumber := p_seqNumber,
		lifetime := ?,
		reserved := ?,
		srcPosVector := p_srcPosVector
		}
		}

		template Header mw_tsbHeaderWithHopLimit(
		in template (present) StationTypeIdentifier p_stationType,
		in template (present) UInt16 p_seqNumber,
		in template (present) LongPosVector p_srcPosVector,
		in template (present) UInt8 p_hopLimit
		) modifies mw_tsbHeader := {
		tsbHeader := {
		commonHeader := {
		hopLimit := p_hopLimit
		}
		}
		}

		template (value) HeaderTST m_tsbHeaderType := {
		tsbHdr := {
		headerType := e_topologicallyScopedBroadcast,
		headerSubType := e_multiHop
		}
		}

		} // end tsbHeaderTemplates

		} // end geoNwHeadersTemplates

		} // end ItsGeoNetworking_Templates
		No newline at end of file