Commit 2281dff3 authored by garciay's avatar garciay
Browse files

Rebuild TTCN-3 with TCT3

parent 9b9ea37f
Loading
Loading
Loading
Loading
+15 −15
Original line number Original line Diff line number Diff line
@@ -208,12 +208,12 @@ module LibItsCam_Templates {
            latitude := f_integer2Latitude(f_getTsLatitude()),
            latitude := f_integer2Latitude(f_getTsLatitude()),
            longitude := f_integer2Longitude(f_getTsLongitude()),
            longitude := f_integer2Longitude(f_getTsLongitude()),
            positionConfidenceEllipse := {
            positionConfidenceEllipse := {
                semiMajorConfidence   := SemiAxisLength_oneCentimeter_,
                semiMajorConfidence   := LibItsCommon_ASN1_NamedNumbers.SemiAxisLength_oneCentimeter_,
                semiMinorConfidence   := SemiAxisLength_oneCentimeter_,
                semiMinorConfidence   := LibItsCommon_ASN1_NamedNumbers.SemiAxisLength_oneCentimeter_,
                semiMajorOrientation  := HeadingValue_wgs84North_
                semiMajorOrientation  := LibItsCommon_ASN1_NamedNumbers.HeadingValue_wgs84North_
            },
            },
            altitude := {
            altitude := {
                altitudeValue := AltitudeValue_referenceEllipsoidSurface_,
                altitudeValue := LibItsCommon_ASN1_NamedNumbers.AltitudeValue_referenceEllipsoidSurface_,
                altitudeConfidence := unavailable
                altitudeConfidence := unavailable
            }
            }
        }
        }
@@ -225,8 +225,8 @@ module LibItsCam_Templates {
     */
     */
    template (present) CAM mw_camMsg_any := {
    template (present) CAM mw_camMsg_any := {
        header := {
        header := {
            protocolVersion := ItsPduHeader_protocolVersion_currentVersion_, 
            protocolVersion := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_protocolVersion_currentVersion_, 
            messageID := ItsPduHeader_messageID_cam_, 
            messageID := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_cam_, 
            stationID := ?
            stationID := ?
        },
        },
        cam := {
        cam := {
@@ -549,21 +549,21 @@ module LibItsCam_Templates {
            template (value) ReferencePosition p_referencePosition
            template (value) ReferencePosition p_referencePosition
        ) := {
        ) := {
            header := {
            header := {
                protocolVersion := ItsPduHeader_protocolVersion_currentVersion_,
                protocolVersion := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_protocolVersion_currentVersion_,
                messageID := ItsPduHeader_messageID_cam_,
                messageID := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_cam_,
                stationID := p_stationId
                stationID := p_stationId
            },
            },
            cam := {
            cam := {
                generationDeltaTime := p_generationTime,
                generationDeltaTime := p_generationTime,
                camParameters := {
                camParameters := {
                    basicContainer := {
                    basicContainer := {
                        stationType := StationType_passengerCar_,
                        stationType := LibItsCommon_ASN1_NamedNumbers.StationType_passengerCar_,
                        referencePosition := p_referencePosition
                        referencePosition := p_referencePosition
                    },
                    },
                    highFrequencyContainer := {
                    highFrequencyContainer := {
                        basicVehicleContainerHighFrequency := {
                        basicVehicleContainerHighFrequency := {
                            heading := {
                            heading := {
                                headingValue := HeadingValue_wgs84North_, //0
                                headingValue := LibItsCommon_ASN1_NamedNumbers.HeadingValue_wgs84North_, //0
                                headingConfidence := 10
                                headingConfidence := 10
                            },
                            },
                            speed := {
                            speed := {
@@ -577,16 +577,16 @@ module LibItsCam_Templates {
                            },
                            },
                            vehicleWidth := 21,
                            vehicleWidth := 21,
                            longitudinalAcceleration := {
                            longitudinalAcceleration := {
                                longitudinalAccelerationValue := LongitudinalAccelerationValue_unavailable_,
                                longitudinalAccelerationValue := LibItsCommon_ASN1_NamedNumbers.LongitudinalAccelerationValue_unavailable_,
                                longitudinalAccelerationConfidence := AccelerationConfidence_unavailable_
                                longitudinalAccelerationConfidence := LibItsCommon_ASN1_NamedNumbers.AccelerationConfidence_unavailable_
                            },
                            },
                            curvature := {
                            curvature := {
                                curvatureValue := CurvatureValue_straight_,
                                curvatureValue := LibItsCommon_ASN1_NamedNumbers.CurvatureValue_straight_,
                                curvatureConfidence := unavailable
                                curvatureConfidence := unavailable
                            },
                            },
                            curvatureCalculationMode := yawRateUsed,
                            curvatureCalculationMode := yawRateUsed,
                            yawRate := {
                            yawRate := {
                                yawRateValue := YawRateValue_straight_,
                                yawRateValue := LibItsCommon_ASN1_NamedNumbers.YawRateValue_straight_,
                                yawRateConfidence := unavailable
                                yawRateConfidence := unavailable
                            },
                            },
                            accelerationControl := omit,
                            accelerationControl := omit,
@@ -620,7 +620,7 @@ module LibItsCam_Templates {
                    lowFrequencyContainer := {
                    lowFrequencyContainer := {
                        basicVehicleContainerLowFrequency := {
                        basicVehicleContainerLowFrequency := {
                            vehicleRole := default_,
                            vehicleRole := default_,
                            exteriorLights := ExteriorLights_daytimeRunningLightsOn_,
                            exteriorLights := LibItsCommon_ASN1_NamedNumbers.ExteriorLights_daytimeRunningLightsOn_,
                            pathHistory := {}
                            pathHistory := {}
                        }
                        }
                    }
                    }
+10 −10
Original line number Original line Diff line number Diff line
@@ -281,8 +281,8 @@ module LibItsDenm_Templates {
        template (present) DENM mw_denmPdu(
        template (present) DENM mw_denmPdu(
            template (present) DecentralizedEnvironmentalNotificationMessage p_denm,
            template (present) DecentralizedEnvironmentalNotificationMessage p_denm,
            template (present) StationID p_stationID := ?,
            template (present) StationID p_stationID := ?,
            template (present) ItsPduHeader.protocolVersion p_protocolVersion := ItsPduHeader_protocolVersion_currentVersion_,
            template (present) ItsPduHeader.protocolVersion p_protocolVersion := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_protocolVersion_currentVersion_,
            template (present) ItsPduHeader.messageID p_messageID := ItsPduHeader_messageID_denm_
            template (present) ItsPduHeader.messageID p_messageID := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_denm_
        ) := {
        ) := {
            header := mw_itsPduHeader(p_stationID, p_protocolVersion, p_messageID),
            header := mw_itsPduHeader(p_stationID, p_protocolVersion, p_messageID),
            denm := p_denm
            denm := p_denm
@@ -300,8 +300,8 @@ module LibItsDenm_Templates {
         */
         */
        template (value) ItsPduHeader m_itsPduHeader(
        template (value) ItsPduHeader m_itsPduHeader(
            template (value) StationID p_stationID := f_getTsStationId(),
            template (value) StationID p_stationID := f_getTsStationId(),
            template (value) ItsPduHeader.protocolVersion p_protocolVersion := ItsPduHeader_protocolVersion_currentVersion_,
            template (value) ItsPduHeader.protocolVersion p_protocolVersion := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_protocolVersion_currentVersion_,
            template (value) ItsPduHeader.messageID p_messageID := ItsPduHeader_messageID_denm_
            template (value) ItsPduHeader.messageID p_messageID := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_denm_
        ) := {
        ) := {
            protocolVersion := p_protocolVersion,
            protocolVersion := p_protocolVersion,
            messageID := p_messageID,
            messageID := p_messageID,
@@ -316,8 +316,8 @@ module LibItsDenm_Templates {
         */
         */
        template ItsPduHeader mw_itsPduHeader(
        template ItsPduHeader mw_itsPduHeader(
            template (present) StationID p_stationID := ?,
            template (present) StationID p_stationID := ?,
            template (present) ItsPduHeader.protocolVersion p_protocolVersion := ItsPduHeader_protocolVersion_currentVersion_,
            template (present) ItsPduHeader.protocolVersion p_protocolVersion := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_protocolVersion_currentVersion_,
            template (present) ItsPduHeader.messageID p_messageID := ItsPduHeader_messageID_denm_
            template (present) ItsPduHeader.messageID p_messageID := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_denm_
        ) := {
        ) := {
            protocolVersion := p_protocolVersion,
            protocolVersion := p_protocolVersion,
            messageID := p_messageID,
            messageID := p_messageID,
@@ -369,9 +369,9 @@ module LibItsDenm_Templates {
         * @param   p_semiMajorOrientation  The major orientation (Default: HeadingValue_wgs84North)
         * @param   p_semiMajorOrientation  The major orientation (Default: HeadingValue_wgs84North)
         */
         */
        template (value) PosConfidenceEllipse m_posConfidenceEllipse(
        template (value) PosConfidenceEllipse m_posConfidenceEllipse(
            template (value) SemiAxisLength p_semiMajorConfidence := SemiAxisLength_oneCentimeter_,
            template (value) SemiAxisLength p_semiMajorConfidence := LibItsCommon_ASN1_NamedNumbers.SemiAxisLength_oneCentimeter_,
            template (value) SemiAxisLength p_semiMinorConfidence := SemiAxisLength_oneCentimeter_,
            template (value) SemiAxisLength p_semiMinorConfidence := LibItsCommon_ASN1_NamedNumbers.SemiAxisLength_oneCentimeter_,
            template (value) HeadingValue p_semiMajorOrientation := HeadingValue_wgs84North
            template (value) HeadingValue p_semiMajorOrientation := LibItsCommon_ASN1_NamedNumbers.HeadingValue_wgs84North_
        ) := {
        ) := {
            semiMajorConfidence := p_semiMajorConfidence,
            semiMajorConfidence := p_semiMajorConfidence,
            semiMinorConfidence := p_semiMinorConfidence,
            semiMinorConfidence := p_semiMinorConfidence,
@@ -384,7 +384,7 @@ module LibItsDenm_Templates {
         * @param   p_altitudeConfidence   The confidence of the elevation (Default: within one meter)
         * @param   p_altitudeConfidence   The confidence of the elevation (Default: within one meter)
         */
         */
        template (value) Altitude m_altitude(
        template (value) Altitude m_altitude(
            template (value) AltitudeValue p_altitudeValue := AltitudeValue_referenceEllipsoidSurface_,
            template (value) AltitudeValue p_altitudeValue := LibItsCommon_ASN1_NamedNumbers.AltitudeValue_referenceEllipsoidSurface_,
            template (value) AltitudeConfidence p_altitudeConfidence := alt_000_01
            template (value) AltitudeConfidence p_altitudeConfidence := alt_000_01
        ) := {
        ) := {
            altitudeValue := p_altitudeValue,
            altitudeValue := p_altitudeValue,