Loading ttcn/MapemSpatem/LibItsMapemSpatem_Templates.ttcn +48 −0 Original line number Original line Diff line number Diff line Loading @@ -685,6 +685,54 @@ module LibItsMapemSpatem_Templates { regional := p_regional regional := p_regional } } template (present) SPAT mw_spatem_intersections( template (present) SPAT.intersections p_intersections := ? ) modifies mw_defaultSpatem := { intersections := p_intersections } template (present) IntersectionState mw_IntersectionState( template (present) IntersectionState.id p_id := ?, template (present) IntersectionState.revision p_revision := ?, template (present) IntersectionState.status p_status := ?, template (present) IntersectionState.states p_states := ? ) := { name := *, id := p_id, revision := p_revision, status := p_status, moy := *, timeStamp := *, enabledLanes := *, states := p_states, maneuverAssistList := *, regional := * } // end mw_IntersectionState template (present) IntersectionState mw_IntersectionState_moyAndTimeStamp( template (present) IntersectionState.id p_id := ?, template (present) IntersectionState.revision p_revision := ?, template (present) IntersectionState.status p_status := ?, template (present) IntersectionState.states p_states := ?, template (present) IntersectionState.moy p_moy := ?, template (present) IntersectionState.timeStamp p_timeStamp := ? ) modifies mw_IntersectionState:= { moy := p_moy, timeStamp := p_timeStamp }// end mw_IntersectionState_moyAndTimeStamp template (present) MovementState mw_movementState ( template (present) MovementState.signalGroup p_signalGroup := ?, template (present) MovementState.state_time_speed p_state_time_speed := ? ):= { movementName := *, //DescriptiveName OPTIONAL, signalGroup := p_signalGroup, //SignalGroupID, state_time_speed := p_state_time_speed, //MovementEventList, maneuverAssistList := *, //ManeuverAssistList OPTIONAL, regional := * //RegionalExtension {{Reg-MovementState}} OPTIONAL } } // End of group spatemTemplates } // End of group spatemTemplates } // End of group spatemTemplatesRecv } // End of group spatemTemplatesRecv Loading Loading
ttcn/MapemSpatem/LibItsMapemSpatem_Templates.ttcn +48 −0 Original line number Original line Diff line number Diff line Loading @@ -685,6 +685,54 @@ module LibItsMapemSpatem_Templates { regional := p_regional regional := p_regional } } template (present) SPAT mw_spatem_intersections( template (present) SPAT.intersections p_intersections := ? ) modifies mw_defaultSpatem := { intersections := p_intersections } template (present) IntersectionState mw_IntersectionState( template (present) IntersectionState.id p_id := ?, template (present) IntersectionState.revision p_revision := ?, template (present) IntersectionState.status p_status := ?, template (present) IntersectionState.states p_states := ? ) := { name := *, id := p_id, revision := p_revision, status := p_status, moy := *, timeStamp := *, enabledLanes := *, states := p_states, maneuverAssistList := *, regional := * } // end mw_IntersectionState template (present) IntersectionState mw_IntersectionState_moyAndTimeStamp( template (present) IntersectionState.id p_id := ?, template (present) IntersectionState.revision p_revision := ?, template (present) IntersectionState.status p_status := ?, template (present) IntersectionState.states p_states := ?, template (present) IntersectionState.moy p_moy := ?, template (present) IntersectionState.timeStamp p_timeStamp := ? ) modifies mw_IntersectionState:= { moy := p_moy, timeStamp := p_timeStamp }// end mw_IntersectionState_moyAndTimeStamp template (present) MovementState mw_movementState ( template (present) MovementState.signalGroup p_signalGroup := ?, template (present) MovementState.state_time_speed p_state_time_speed := ? ):= { movementName := *, //DescriptiveName OPTIONAL, signalGroup := p_signalGroup, //SignalGroupID, state_time_speed := p_state_time_speed, //MovementEventList, maneuverAssistList := *, //ManeuverAssistList OPTIONAL, regional := * //RegionalExtension {{Reg-MovementState}} OPTIONAL } } // End of group spatemTemplates } // End of group spatemTemplates } // End of group spatemTemplatesRecv } // End of group spatemTemplatesRecv Loading