Loading ttcn/GeoNetworking/LibItsGeoNetworking_Functions.ttcn +29 −0 Original line number Original line Diff line number Diff line Loading @@ -10,6 +10,8 @@ module LibItsGeoNetworking_Functions { // LibIts // LibIts import from LibIts_TestSystem all; import from LibIts_TestSystem all; import from LibIts_Interface all; import from LibIts_Interface all; import from LibItsGeoNetworking_TypesAndValues all; /** /** * @desc Create Facility component and connects GeoNetworking port * @desc Create Facility component and connects GeoNetworking port Loading Loading @@ -113,4 +115,31 @@ module LibItsGeoNetworking_Functions { } // end upperTester } // end upperTester group testAdapter { function f_taStartBeaconing(in template (value) Header p_beaconHeader) { } function f_taStopBeaconing() { } } // end testAdapter group posVectorFunctions { function f_getTesterLongPosVector() return LongPosVector { var LongPosVector v_longPosVector; return v_longPosVector; } function f_longPosVector2ShortPosVector(in LongPosVector p_longPosVector) return ShortPosVector { var ShortPosVector v_shortPosVector; return v_shortPosVector; } } // end posVectorFunctions } // end LibItsGeoNetworking_Functions } // end LibItsGeoNetworking_Functions No newline at end of file ttcn/GeoNetworking/LibItsGeoNetworking_Templates.ttcn +114 −5 Original line number Original line Diff line number Diff line Loading @@ -130,7 +130,7 @@ module LibItsGeoNetworking_Templates { ) := { ) := { geoUnicastHeader := { geoUnicastHeader := { commonHeader := m_commonHeader( commonHeader := m_commonHeader( e_btp, e_ipv6, m_geoUnicastHeaderType, m_geoUnicastHeaderType, m_trafficClass, m_trafficClass, c_defaultHopLimit, c_defaultHopLimit, Loading @@ -147,32 +147,34 @@ module LibItsGeoNetworking_Templates { template Header mw_geoUnicastHeader( template Header mw_geoUnicastHeader( in template (present) LongPosVector p_senderLongPosVec, in template (present) LongPosVector p_senderLongPosVec, in template (present) ShortPosVector p_destinationLongPosVec, in template (present) StationTypeIdentifier p_stationType, in template (present) StationTypeIdentifier p_stationType, in template (present) UInt16 p_seqNumber in template (present) UInt16 p_seqNumber ) := { ) := { geoUnicastHeader := { geoUnicastHeader := { commonHeader := mw_commonHeader( commonHeader := mw_commonHeader( e_btp, e_ipv6, mw_geoUnicastHeaderType, mw_geoUnicastHeaderType, p_stationType p_stationType ), ), seqNumber := p_seqNumber, seqNumber := p_seqNumber, lifetime := ?, lifetime := ?, reserved := c_uInt8Zero, reserved := ?, srcPosVector := ?, srcPosVector := ?, dstPosVector := ? dstPosVector := p_destinationLongPosVec } } } } template Header mw_geoUnicastHeaderWithHopLimit( template Header mw_geoUnicastHeaderWithHopLimit( in template (present) LongPosVector p_senderLongPosVec, in template (present) LongPosVector p_senderLongPosVec, in template (present) ShortPosVector p_destinationLongPosVec, in template (present) StationTypeIdentifier p_stationType, in template (present) StationTypeIdentifier p_stationType, in template (present) UInt16 p_seqNumber, in template (present) UInt16 p_seqNumber, in template (present) UInt8 p_hopLimit in template (present) UInt8 p_hopLimit ) modifies mw_geoUnicastHeader := { ) modifies mw_geoUnicastHeader := { geoUnicastHeader := { geoUnicastHeader := { commonHeader := mw_commonHeaderWithHopLimit( commonHeader := mw_commonHeaderWithHopLimit( e_btp, e_ipv6, mw_geoUnicastHeaderType, mw_geoUnicastHeaderType, p_stationType, p_stationType, p_hopLimit p_hopLimit Loading Loading @@ -287,6 +289,113 @@ module LibItsGeoNetworking_Templates { } // end geoBroadcastHeaderTemplates } // end geoBroadcastHeaderTemplates group lsRequestHeaderTemplates { template (value) Header m_lsRequestHeader( in template (value) LongPosVector p_sourceLongPosVec, in template (value) LongPosVector p_senderLongPosVec, in template (value) StationTypeIdentifier p_stationType, in template (value) UInt16 p_seqNumber, in template (value) GN_Address p_gnAddress ) := { lsRequestHeader := { commonHeader := m_commonHeader( e_btp, m_lsRequestHeaderType, m_trafficClass, c_defaultHopLimit, p_senderLongPosVec, p_stationType ), seqNumber := p_seqNumber, lifetime := m_lifetime, reserved := c_uInt8Zero, srcPosVector := p_sourceLongPosVec, gnAddress := p_gnAddress } } template Header mw_lsRequestHeader( in template (present) StationTypeIdentifier p_stationType, in template (present) UInt16 p_seqNumber, in template (present) GN_Address p_gnAddress ) := { lsRequestHeader := { commonHeader := mw_commonHeader( e_any, mw_lsRequestHeaderType, p_stationType ), seqNumber := p_seqNumber, lifetime := ?, reserved := ?, srcPosVector := ?, gnAddress := p_gnAddress } } template (value) HeaderTST m_lsRequestHeaderType := { lsHdr := { headerType := e_locationService, headerSubType := e_lsRequest } } template HeaderTST mw_lsRequestHeaderType := { lsHdr := { headerType := e_locationService, headerSubType := e_lsRequest } } } // end lsRequestHeaderTemplates group beaconHeaderTemplates { template (value) Header m_beaconHeader( in template (value) LongPosVector p_senderLongPosVec, in template (value) StationTypeIdentifier p_stationType ) := { beaconHeader := { commonHeader := m_commonHeader( e_btp, m_beaconHeaderType, m_trafficClass, c_defaultHopLimit, p_senderLongPosVec, p_stationType ) } } template Header mw_beaconHeader( in template (value) StationTypeIdentifier p_stationType ) := { beaconHeader := { commonHeader := mw_commonHeader( e_any, mw_beaconHeaderType, p_stationType ) } } template (value) HeaderTST m_beaconHeaderType := { beaconHdr := { headerType := e_beacon, reserved := c_uInt4Zero } } template HeaderTST mw_beaconHeaderType := { beaconHdr := { headerType := e_beacon, reserved := ? } } } // end beaconHeaderTemplates } // end geoNwHeadersTemplates } // end geoNwHeadersTemplates } // end ItsGeoNetworking_Templates } // end ItsGeoNetworking_Templates No newline at end of file Loading
ttcn/GeoNetworking/LibItsGeoNetworking_Functions.ttcn +29 −0 Original line number Original line Diff line number Diff line Loading @@ -10,6 +10,8 @@ module LibItsGeoNetworking_Functions { // LibIts // LibIts import from LibIts_TestSystem all; import from LibIts_TestSystem all; import from LibIts_Interface all; import from LibIts_Interface all; import from LibItsGeoNetworking_TypesAndValues all; /** /** * @desc Create Facility component and connects GeoNetworking port * @desc Create Facility component and connects GeoNetworking port Loading Loading @@ -113,4 +115,31 @@ module LibItsGeoNetworking_Functions { } // end upperTester } // end upperTester group testAdapter { function f_taStartBeaconing(in template (value) Header p_beaconHeader) { } function f_taStopBeaconing() { } } // end testAdapter group posVectorFunctions { function f_getTesterLongPosVector() return LongPosVector { var LongPosVector v_longPosVector; return v_longPosVector; } function f_longPosVector2ShortPosVector(in LongPosVector p_longPosVector) return ShortPosVector { var ShortPosVector v_shortPosVector; return v_shortPosVector; } } // end posVectorFunctions } // end LibItsGeoNetworking_Functions } // end LibItsGeoNetworking_Functions No newline at end of file
ttcn/GeoNetworking/LibItsGeoNetworking_Templates.ttcn +114 −5 Original line number Original line Diff line number Diff line Loading @@ -130,7 +130,7 @@ module LibItsGeoNetworking_Templates { ) := { ) := { geoUnicastHeader := { geoUnicastHeader := { commonHeader := m_commonHeader( commonHeader := m_commonHeader( e_btp, e_ipv6, m_geoUnicastHeaderType, m_geoUnicastHeaderType, m_trafficClass, m_trafficClass, c_defaultHopLimit, c_defaultHopLimit, Loading @@ -147,32 +147,34 @@ module LibItsGeoNetworking_Templates { template Header mw_geoUnicastHeader( template Header mw_geoUnicastHeader( in template (present) LongPosVector p_senderLongPosVec, in template (present) LongPosVector p_senderLongPosVec, in template (present) ShortPosVector p_destinationLongPosVec, in template (present) StationTypeIdentifier p_stationType, in template (present) StationTypeIdentifier p_stationType, in template (present) UInt16 p_seqNumber in template (present) UInt16 p_seqNumber ) := { ) := { geoUnicastHeader := { geoUnicastHeader := { commonHeader := mw_commonHeader( commonHeader := mw_commonHeader( e_btp, e_ipv6, mw_geoUnicastHeaderType, mw_geoUnicastHeaderType, p_stationType p_stationType ), ), seqNumber := p_seqNumber, seqNumber := p_seqNumber, lifetime := ?, lifetime := ?, reserved := c_uInt8Zero, reserved := ?, srcPosVector := ?, srcPosVector := ?, dstPosVector := ? dstPosVector := p_destinationLongPosVec } } } } template Header mw_geoUnicastHeaderWithHopLimit( template Header mw_geoUnicastHeaderWithHopLimit( in template (present) LongPosVector p_senderLongPosVec, in template (present) LongPosVector p_senderLongPosVec, in template (present) ShortPosVector p_destinationLongPosVec, in template (present) StationTypeIdentifier p_stationType, in template (present) StationTypeIdentifier p_stationType, in template (present) UInt16 p_seqNumber, in template (present) UInt16 p_seqNumber, in template (present) UInt8 p_hopLimit in template (present) UInt8 p_hopLimit ) modifies mw_geoUnicastHeader := { ) modifies mw_geoUnicastHeader := { geoUnicastHeader := { geoUnicastHeader := { commonHeader := mw_commonHeaderWithHopLimit( commonHeader := mw_commonHeaderWithHopLimit( e_btp, e_ipv6, mw_geoUnicastHeaderType, mw_geoUnicastHeaderType, p_stationType, p_stationType, p_hopLimit p_hopLimit Loading Loading @@ -287,6 +289,113 @@ module LibItsGeoNetworking_Templates { } // end geoBroadcastHeaderTemplates } // end geoBroadcastHeaderTemplates group lsRequestHeaderTemplates { template (value) Header m_lsRequestHeader( in template (value) LongPosVector p_sourceLongPosVec, in template (value) LongPosVector p_senderLongPosVec, in template (value) StationTypeIdentifier p_stationType, in template (value) UInt16 p_seqNumber, in template (value) GN_Address p_gnAddress ) := { lsRequestHeader := { commonHeader := m_commonHeader( e_btp, m_lsRequestHeaderType, m_trafficClass, c_defaultHopLimit, p_senderLongPosVec, p_stationType ), seqNumber := p_seqNumber, lifetime := m_lifetime, reserved := c_uInt8Zero, srcPosVector := p_sourceLongPosVec, gnAddress := p_gnAddress } } template Header mw_lsRequestHeader( in template (present) StationTypeIdentifier p_stationType, in template (present) UInt16 p_seqNumber, in template (present) GN_Address p_gnAddress ) := { lsRequestHeader := { commonHeader := mw_commonHeader( e_any, mw_lsRequestHeaderType, p_stationType ), seqNumber := p_seqNumber, lifetime := ?, reserved := ?, srcPosVector := ?, gnAddress := p_gnAddress } } template (value) HeaderTST m_lsRequestHeaderType := { lsHdr := { headerType := e_locationService, headerSubType := e_lsRequest } } template HeaderTST mw_lsRequestHeaderType := { lsHdr := { headerType := e_locationService, headerSubType := e_lsRequest } } } // end lsRequestHeaderTemplates group beaconHeaderTemplates { template (value) Header m_beaconHeader( in template (value) LongPosVector p_senderLongPosVec, in template (value) StationTypeIdentifier p_stationType ) := { beaconHeader := { commonHeader := m_commonHeader( e_btp, m_beaconHeaderType, m_trafficClass, c_defaultHopLimit, p_senderLongPosVec, p_stationType ) } } template Header mw_beaconHeader( in template (value) StationTypeIdentifier p_stationType ) := { beaconHeader := { commonHeader := mw_commonHeader( e_any, mw_beaconHeaderType, p_stationType ) } } template (value) HeaderTST m_beaconHeaderType := { beaconHdr := { headerType := e_beacon, reserved := c_uInt4Zero } } template HeaderTST mw_beaconHeaderType := { beaconHdr := { headerType := e_beacon, reserved := ? } } } // end beaconHeaderTemplates } // end geoNwHeadersTemplates } // end geoNwHeadersTemplates } // end ItsGeoNetworking_Templates } // end ItsGeoNetworking_Templates No newline at end of file