LibItsGeoNetworking_Templates.ttcn

            ) := {
                geoAnycastHeader := {
                    seqNumber := p_seqNumber,
                    reserved := ?,
                    srcPosVector := p_sourceLongPosVec,
                    geoAreaPosLatitude := ?,
                    geoAreaPosLongitude := ?,
                    distanceA := ?,
                    distanceB := ?,
                    angle := ?,
                    reserved2 := ?
                }
            }
            
            /**
             * @desc    Receive template for GeoAnycast header
             * @param   p_sourceLongPosVec  Long position vector of source
             * @param   p_senderLongPosVec  Long position vector of sender
             * @param   p_seqNumber         Sequence number of GeoAnycast packet
             * @param   p_anycastArea       Destination GeoArea
             * @see     mw_geoAnycastHeader
             */
            template (present) ExtendedHeader mw_geoAnycastHeaderWithArea (
                                                                           template (present) LongPosVector p_sourceLongPosVec := ?,
                                                                           template (present) UInt16 p_seqNumber := ?,
                                                                           template (present) GeoAnycastArea p_anycastArea := ?
            ) modifies mw_geoAnycastHeader := {
                geoAnycastHeader := {
                    geoAreaPosLatitude := p_anycastArea.geoAnycastArea.geoAreaPosLatitude,
                    geoAreaPosLongitude := p_anycastArea.geoAnycastArea.geoAreaPosLongitude,
                    distanceA := p_anycastArea.geoAnycastArea.distanceA,
                    distanceB := p_anycastArea.geoAnycastArea.distanceB,
                    angle := p_anycastArea.geoAnycastArea.angle
                }
            }
            
            /**
             * @desc    Send template for GeoBroadcast header type with sub-type
             * @param   p_headerSubType Packet's subtype
             */
            template (value) HeaderTST m_geoAnycastHeaderType(
                in template (value) HeaderSubTypeGeoAnycast p_headerSubType
            ) := {
                geoAnycastHdr := {
                    headerType := e_geoAnycast,
                    headerSubType := p_headerSubType
                }
            }
            
            /**
             * @desc    Receive template for GeoAnycast header type with any sub-type
             */
            template (present)HeaderTST mw_geoAnycastHeaderType := {
                geoAnycastHdr := {
                    headerType := e_geoAnycast,
                    headerSubType := ?
                }
            }
            
            /**
             * @desc    Receive template for GeoAnycast header type with sub-type
             * @param   p_headerSubType Packet's subtype
             * @see     mw_geoAnycastHeaderType
             */
            template (present) HeaderTST mw_geoAnycastHeaderTypeWithSubType(
                                                                            template (present) HeaderSubTypeGeoAnycast p_headerSubType := ?
            ) modifies mw_geoAnycastHeaderType := {
                geoAnycastHdr := {
                    headerSubType := p_headerSubType
                }
            }
            
        } // end geoAnycastHeaderTemplates
        
        group lsRequestHeaderTemplates {
            
            /**
             * @desc    Send template for LS Request header
             * @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) ExtendedHeader m_lsRequestHeader(
                in template (value) LongPosVector p_sourceLongPosVec,
                in template (value) UInt16 p_seqNumber,
                in template (value) GN_Address p_gnAddress
            ) := {
                lsRequestHeader := {
                    seqNumber       := p_seqNumber,
                    reserved        := c_uInt8Zero,
                    srcPosVector    := p_sourceLongPosVec,
                    gnAddress       := p_gnAddress
                }
            }
            
            /**
             * @desc    Receive template for LS Request header
             * @param   p_seqNumber     Sequence number of LS Request packet
             * @param   p_mid           Searched GN_Address MID
             */
            template (present) ExtendedHeader mw_lsRequestHeader(
                in template (present) UInt16 p_seqNumber := ?,
                in template (present) GN_Address.mid p_mid := ?
            ) := {
                lsRequestHeader := {
                    seqNumber := p_seqNumber,
                    reserved := ?,
                    srcPosVector := ?,
                    gnAddress := mw_gnAddressMid(p_mid)
                }
            }
            
            /**
             * @desc    Send template for LS Request header type
             */
            template (value) HeaderTST m_lsRequestHeaderType := {
                lsHdr := {
                    headerType := e_locationService,
                    headerSubType := e_lsRequest
                }
            }
            
            /**
             * @desc    Receive template for LS Request header type
             */
            template HeaderTST mw_lsRequestHeaderType := {
                lsHdr := {
                    headerType := e_locationService,
                    headerSubType := e_lsRequest
                }
            }
            
        } // end lsRequestHeaderTemplates
                    
        group lsReplyHeaderTemplates {
            
            /**
             * @desc    Send template for LS Reply header
             * @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) ExtendedHeader m_lsReplyHeader(
              in template (value) LongPosVector p_sourceLongPosVec,
              in template (value) ShortPosVector p_destinationLongPosVec,
              in template (value) UInt16 p_seqNumber
            ) := {
                lsReplyHeader := {
                  seqNumber := p_seqNumber,
                  reserved := c_uInt8Zero,
                  srcPosVector := p_sourceLongPosVec,
                  dstPosVector := p_destinationLongPosVec
                }
            }
            
            /**
             * @desc    Receive template for any LS Reply header
             */
            template (present) ExtendedHeader mw_lsReplyHeaderAny := {
                lsReplyHeader := {
                seqNumber := ?,
                reserved := ?,
                srcPosVector := ?,
                dstPosVector := ?
                }
            }
            
            /**
             * @desc    Receive template for LS Reply header
             * @param   p_sourceLongPosVec      Long position vector of source
             * @param   p_destinationLongPosVec Short position vector of destination
             * @see     mw_lsReplyHeaderAny
             */
            template (present) ExtendedHeader mw_lsReplyHeader(
                                                               template (present) LongPosVector p_sourceLongPosVec := ?,
                                                               template (present) ShortPosVector p_destinationLongPosVec := ?
            ) modifies mw_lsReplyHeaderAny := {
                lsReplyHeader := {
                    srcPosVector := p_sourceLongPosVec,
                    dstPosVector := p_destinationLongPosVec
                }
            }
            
            
            /**
             * @desc    Send template for LS Reply header type
             */
            template (value) HeaderTST m_lsReplyHeaderType := {
                lsHdr := {
                  headerType := e_locationService,
                  headerSubType := e_lsReply
                }
            }
            
        } // end lsRequestHeaderTemplates
        
        group beaconHeaderTemplates {
            
            /**
             * @desc    Send template for Beacon header
             * @param   p_sourceLongPosVec  Long position vector of source
             */
            template (value) ExtendedHeader m_beaconHeader(
                in template (value) LongPosVector p_sourceLongPosVec
            ) := {
                beaconHeader := {
                    srcPosVector := p_sourceLongPosVec
                }
            }
            
            /**
             * @desc    Receive template for Beacon header
             * @param   p_sourceLongPosVec  Long position vector of source
             */
            template (present) ExtendedHeader mw_beaconHeader(
                                                              template (present) LongPosVector p_sourceLongPosVec := ?
            ) := {
                beaconHeader := {
                    srcPosVector := p_sourceLongPosVec
                }
            }
            
            /**
             * @desc    Send template for Beacon header type
             */
            template (value) HeaderTST m_beaconHeaderType := {
                beaconHdr := {
                    headerType := e_beacon,
                    headerSubType := c_uInt4Zero
                }
            }
            
            /**
             * @desc    Receive template for Beacon header type
             */
            template HeaderTST mw_beaconHeaderType := {
                beaconHdr := {
                    headerType := e_beacon,
                    headerSubType := ?
                }
            }
            
        } // end beaconHeaderTemplates
        
        group shbHeaderTemplates {
            
            /**
             * @desc    Send template for SHB header
             * @param   p_sourceLongPosVec  Long position vector of sender
             */
            template (value) ExtendedHeader m_shbHeader(
                in template (value) LongPosVector p_sourceLongPosVec
            ) := {
                shbHeader := {
                    srcPosVector := p_sourceLongPosVec,
                    reserved := 0
                }
            }
            
            /**
             * @desc    Receive template for SHB header
             * @param   p_sourceLongPosVec  Long position vector of sender
             */
            template (present) ExtendedHeader mw_shbHeader(
                in template (present) LongPosVector p_sourceLongPosVec
            ) := {
                shbHeader := {
                    srcPosVector:= p_sourceLongPosVec,
                    reserved := ?
                }
            }
            
            /**
             * @desc    Send template for SHB header type
             */
            template (value) HeaderTST m_shbHeaderType := {
                tsbHdr := {
                  headerType := e_topologicallyScopedBroadcast,
                  headerSubType := e_singleHop
                }
            }
            
        } // end shbHeaderTemplates
        
        group tsbHeaderTemplates {
            
            /**
             * @desc    Send template for TSB header
             * @param   p_seqNumber         Sequence number of TSB packet
             * @param   p_srcPosVector      Long position vector of source
             */
            template ExtendedHeader m_tsbHeader(
                in template (value) UInt16 p_seqNumber,
                in template (value) LongPosVector p_srcPosVector
            ) := {
                tsbHeader := {
                    seqNumber := p_seqNumber,
                    reserved := c_uInt8Zero,
                    srcPosVector := p_srcPosVector
                }
            }
            
            /**
             * @desc    Receive template for TSB header
             * @param   p_seqNumber         Sequence number of TSB packet
             * @param   p_sourceLongPosVec  Long position vector of source
             */
            template (present) ExtendedHeader mw_tsbHeader(
                in template (present) UInt16 p_seqNumber,
                in template (present) LongPosVector p_sourceLongPosVec
            ) := {
                tsbHeader := {
                    seqNumber := p_seqNumber,
                    reserved := ?,
                    srcPosVector := p_sourceLongPosVec
                }
            }
            
            /**
             * @desc    Send template for TSB header type
             */
            template (value) HeaderTST m_tsbHeaderType := {
                tsbHdr := {
                  headerType := e_topologicallyScopedBroadcast,
                  headerSubType := e_multiHop
                }
            }
            
            /**
             * @desc    Receive template for TSB header type
             */
            template (present) HeaderTST mw_tsbHeaderType := {
                tsbHdr := {
                  headerType := e_topologicallyScopedBroadcast,
                  headerSubType := e_multiHop
                }
            }
            
        } // end tsbHeaderTemplates
        
        group saHeaderTemplates {
            
            /**
             * @desc    Send template for SA header
             * @param   p_seqNumber         Sequence number of TSB packet
             * @param   p_srcPosVector      Long position vector of source
             */
            template ExtendedHeader m_saHeader(
                in template (value) UInt16 p_seqNumber,
                in template (value) LongPosVector p_srcPosVector
            ) := {
                tsbHeader := {
                    seqNumber := p_seqNumber,
                    reserved := c_uInt8Zero,
                    srcPosVector := p_srcPosVector
                }
            }
            
            /**
             * @desc    Receive template for TSB header
             * @param   p_seqNumber         Sequence number of TSB packet
             * @param   p_sourceLongPosVec  Long position vector of source
             */
            template (present) ExtendedHeader mw_saHeader(
                in template (present) UInt16 p_seqNumber,
                in template (present) LongPosVector p_sourceLongPosVec
            ) := {
                tsbHeader := {
                    seqNumber := p_seqNumber,
                    reserved := ?,
                    srcPosVector := p_sourceLongPosVec
                }
            }
            
            /**
             * @desc    Send template for SA header type
             */
            template (value) HeaderTST m_saHeaderType_sa := {
                saHdr := {
                  headerType := e_serviceAnnouncement,
                  headerSubType := e_sa
                }
            }
            
            /**
             * @desc    Receive template for SA header type
             */
            template (present) HeaderTST mw_saHeaderType_sa := {
                saHdr := {
                  headerType := e_serviceAnnouncement,
                  headerSubType := e_sa
                }
            }
            
            /**
             * @desc    Send template for SA header type
             */
            template (value) HeaderTST m_saHeaderType_eos := {
                saHdr := {
                  headerType := e_serviceAnnouncement,
                  headerSubType := e_saEos
                }
            }
            
            /**
             * @desc    Receive template for SA header type
             */
            template (present) HeaderTST mw_saHeaderType_eos := {
                saHdr := {
                  headerType := e_serviceAnnouncement,
                  headerSubType := e_saEos
                }
            }
            
        } // end saHeaderTemplates
        
    } // end geoNwHeadersTemplates
    
    group geoMiscTemplates {
        
        /**
         * @desc    Receive template for GN_Address. Only M_ID field is discriminent
         * @param   p_mid Expected GN Address MID
         */
        template (present) GN_Address mw_gnAddressMid(
                                                      template (present) GN_Address.mid p_mid := ?
        ) := {
            typeOfAddress := ?,
            stationType := ?,
            stationCountryCode := ?,
            mid := p_mid
        }
        
        group geoDummyTemplates {
            
            /**
             * @desc    Dummy template for GN_Address
             */
            template (value) GN_Address m_dummyGnAddr := {
                typeOfAddress := e_manual,
                stationType := e_passengerCar,
                stationCountryCode := c_uInt10Zero,
                mid := c_6ZeroBytes
            }
            
            /**
             * @desc    Dummy template for long position vector
             */
            template (value) LongPosVector m_dummyLongPosVector := {
                gnAddr := m_dummyGnAddr,
                timestamp_ := c_uInt32Zero,
                latitude := c_uInt32Zero,
                longitude := c_uInt32Zero,
                pai := int2bit(1,1),
                speed := c_uInt16Zero,
                heading := c_uInt16Zero
            }
            
            /**
             * @desc    Dummy template for Area
             */
            template (value) Area m_dummyArea := {
                geoAreaPosLatitude := c_uInt32Zero,
                geoAreaPosLongitude := c_uInt32Zero,
                distanceA := c_uInt16Zero,
                distanceB := c_uInt16Zero,
                angle := c_uInt16Zero
            }
            
            /**
             * @desc    Dummy template for GeoBroadcastArea
             */
            template (value) GeoBroadcastArea m_dummyGeoBroadcastArea := {
                geoBroadcastSubType := e_geoBroadcastRect,
                geoBroadcastArea := m_dummyArea
            }
            
        } // end geoDummyTemplates
        
    } // end geoMiscTemplates
    
} // end ItsGeoNetworking_Templates