Newer
Older
===================================================================
import from LibItsCommon_Templates all;
import from LibItsCommon_Functions all;
import from LibItsCommon_Pixits all;
+ import from LibItsCommon_ASN1_NamedNumbers all;
// LibItsCam
import from LibItsCam_TestSystem all;
}
for (v_cnt:=0; v_cnt<lengthof(p_utTriggers); v_cnt:=v_cnt+1) {
- f_utTriggerEvent(p_utTriggers[v_cnt]);
+ f_utTriggerEvent(valueof(p_utTriggers[v_cnt]));
tc_ac.start;
alt {
f_CAM_MSD_INA_BV_01(
"Brake pedal being deactivated",
{ m_setAccelerationControlStatus(AccelerationControl_brakePedalEngaged_), m_setAccelerationControlStatus(c_accCtrlIdle) },
- { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_brakePedalActive_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl((omit, mw_brakePedalActive_Off))) }
+//FIXME RGY omit has been disallowed in value lists (see $B.1.2.1 of the standad), ifpresent shall be used instead
+// { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_brakePedalActive_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl((omit, mw_brakePedalActive_Off))) }
+ { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_brakePedalActive_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_brakePedalActive_Off ifpresent)) }
);
// Postamble
f_CAM_MSD_INA_BV_01(
"Gas pedal being deactivated",
{ m_setAccelerationControlStatus(AccelerationControl_gasPedalEngaged_), m_setAccelerationControlStatus(c_accCtrlIdle) },
- { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_gasPedalActive_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl((omit, mw_gasPedalActive_Off))) }
+//FIXME RGY omit has been disallowed in value lists (see $B.1.2.1 of the standad), ifpresent shall be used instead
+// { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_gasPedalActive_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl((omit, mw_gasPedalActive_Off))) }
+ { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_gasPedalActive_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_gasPedalActive_Off ifpresent)) }
);
// Postamble
f_CAM_MSD_INA_BV_01(
"Emergency brake being deactivated",
{ m_setAccelerationControlStatus(AccelerationControl_emergencyBrakeEngaged_), m_setAccelerationControlStatus(c_accCtrlIdle) },
- { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_emergencyBrakeActive_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl((omit, mw_emergencyBrakeActive_Off))) }
+//FIXME RGY omit has been disallowed in value lists (see $B.1.2.1 of the standad), ifpresent shall be used instead
+// { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_emergencyBrakeActive_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl((omit, mw_emergencyBrakeActive_Off))) }
+ { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_emergencyBrakeActive_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_emergencyBrakeActive_Off ifpresent)) }
);
// Postamble
f_CAM_MSD_INA_BV_01(
"Collision warning being deactivated",
{ m_setAccelerationControlStatus(AccelerationControl_collisionWarningEngaged_), m_setAccelerationControlStatus(c_accCtrlIdle) },
- { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_collisionWarningActive_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl((omit, mw_collisionWarningActive_Off))) }
+//FIXME RGY omit has been disallowed in value lists (see $B.1.2.1 of the standad), ifpresent shall be used instead
+// { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_collisionWarningActive_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl((omit, mw_collisionWarningActive_Off))) }
+ { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_collisionWarningActive_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_collisionWarningActive_Off ifpresent)) }
);
// Postamble
f_CAM_MSD_INA_BV_01(
"ACC being deactivated",
{ m_setAccelerationControlStatus(AccelerationControl_accEngaged_), m_setAccelerationControlStatus(c_accCtrlIdle) },
- { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_accActive_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl((omit, mw_accActive_Off))) }
+//FIXME RGY omit has been disallowed in value lists (see $B.1.2.1 of the standad), ifpresent shall be used instead
+// { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_accActive_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl((omit, mw_accActive_Off))) }
+ { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_accActive_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_accActive_Off ifpresent)) }
);
// Postamble
f_CAM_MSD_INA_BV_01(
"Cruise control being deactivated",
{ m_setAccelerationControlStatus(AccelerationControl_cruiseControlEngaged_), m_setAccelerationControlStatus(c_accCtrlIdle) },
- { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_cruiseControl_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl((omit, mw_cruiseControl_Off))) }
+//FIXME RGY omit has been disallowed in value lists (see $B.1.2.1 of the standad), ifpresent shall be used instead
+// { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_cruiseControl_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl((omit, mw_cruiseControl_Off))) }
+ { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_cruiseControl_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_cruiseControl_Off ifpresent)) }
);
// Postamble
f_CAM_MSD_INA_BV_01(
"Speed limiter control being deactivated",
{ m_setAccelerationControlStatus(AccelerationControl_speedLimiterEngaged_), m_setAccelerationControlStatus(c_accCtrlIdle) },
- { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_speedLimiterActive_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl((omit, mw_speedLimiterActive_Off))) }
+//FIXME RGY omit has been disallowed in value lists (see $B.1.2.1 of the standad), ifpresent shall be used instead
+// { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_speedLimiterActive_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl((omit, mw_speedLimiterActive_Off))) }
+ { mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_speedLimiterActive_On)), mw_camMsg_HF_BV(mw_HF_BV_accCtrl(mw_speedLimiterActive_Off ifpresent)) }
);
// Postamble
f_CAM_MSD_INA_BV_01(
"Low beam headlights being deactivated",
{ m_setExteriorLightsStatus(ExteriorLights_lowBeamHeadlightsOn_), m_setExteriorLightsStatus(c_elAllLightsOff) },
- { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_lowBeamLightsOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights((omit, mw_lowBeamLightsOff))) }
+//FIXME RGY omit has been disallowed in value lists (see $B.1.2.1 of the standad), ifpresent shall be used instead
+// { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_lowBeamLightsOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights((omit, mw_lowBeamLightsOff))) }
+ { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_lowBeamLightsOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_lowBeamLightsOff ifpresent)) }
);
// Postamble
f_CAM_MSD_INA_BV_01(
"High beam headlights being deactivated",
{ m_setExteriorLightsStatus(ExteriorLights_highBeamHeadlightsOn_), m_setExteriorLightsStatus(c_elAllLightsOff) },
- { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_highBeamLightsOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights((omit, mw_highBeamLightsOff))) }
+//FIXME RGY omit has been disallowed in value lists (see $B.1.2.1 of the standad), ifpresent shall be used instead
+// { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_highBeamLightsOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights((omit, mw_highBeamLightsOff))) }
+ { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_highBeamLightsOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_highBeamLightsOff ifpresent)) }
);
// Postamble
f_CAM_MSD_INA_BV_01(
"Left turn signal being deactivated",
{ m_setExteriorLightsStatus(ExteriorLights_leftTurnSignalOn_), m_setExteriorLightsStatus(c_elAllLightsOff) },
- { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_leftTurnSignalOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights((omit, mw_leftTurnSignalOff))) }
+//FIXME RGY omit has been disallowed in value lists (see $B.1.2.1 of the standad), ifpresent shall be used instead
+// { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_leftTurnSignalOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights((omit, mw_leftTurnSignalOff))) }
+ { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_leftTurnSignalOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_leftTurnSignalOff ifpresent)) }
);
// Postamble
f_CAM_MSD_INA_BV_01(
"Right turn signal being deactivated",
{ m_setExteriorLightsStatus(ExteriorLights_rightTurnSignalOn_), m_setExteriorLightsStatus(c_elAllLightsOff) },
- { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_rightTurnSignalOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights((omit, mw_rightTurnSignalOff))) }
+//FIXME RGY omit has been disallowed in value lists (see $B.1.2.1 of the standad), ifpresent shall be used instead
+// { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_rightTurnSignalOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights((omit, mw_rightTurnSignalOff))) }
+ { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_rightTurnSignalOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_rightTurnSignalOff ifpresent)) }
);
// Postamble
f_CAM_MSD_INA_BV_01(
"Daytime running lights being deactivated",
{ m_setExteriorLightsStatus(ExteriorLights_daytimeRunningLightsOn_), m_setExteriorLightsStatus(c_elAllLightsOff) },
- { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_daytimeRunningLightsOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights((omit, mw_daytimeRunningLightsOff))) }
+//FIXME RGY omit has been disallowed in value lists (see $B.1.2.1 of the standad), ifpresent shall be used instead
+// { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_daytimeRunningLightsOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights((omit, mw_daytimeRunningLightsOff))) }
+ { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_daytimeRunningLightsOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_daytimeRunningLightsOff ifpresent)) }
);
// Postamble
f_CAM_MSD_INA_BV_01(
"Reverese light being deactivated",
{ m_setExteriorLightsStatus(ExteriorLights_reverseLightOn_), m_setExteriorLightsStatus(c_elAllLightsOff) },
- { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_reverseLightOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights((omit, mw_reverseLightOff))) }
+//FIXME RGY omit has been disallowed in value lists (see $B.1.2.1 of the standad), ifpresent shall be used instead
+// { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_reverseLightOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights((omit, mw_reverseLightOff))) }
+ { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_reverseLightOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_reverseLightOff ifpresent)) }
);
// Postamble
f_CAM_MSD_INA_BV_01(
"Fog lights being deactivated",
{ m_setExteriorLightsStatus(ExteriorLights_fogLightOn_), m_setExteriorLightsStatus(c_elAllLightsOff) },
- { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_fogLightOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights((omit, mw_fogLightOff))) }
+//FIXME RGY omit has been disallowed in value lists (see $B.1.2.1 of the standad), ifpresent shall be used instead
+// { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_fogLightOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights((omit, mw_fogLightOff))) }
+ { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_fogLightOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_fogLightOff ifpresent)) }
);
// Postamble
f_CAM_MSD_INA_BV_01(
"Parking lights being deactivated",
{ m_setExteriorLightsStatus(ExteriorLights_parkingLightsOn_), m_setExteriorLightsStatus(c_elAllLightsOff) },
- { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_parkingLightsOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights((omit, mw_parkingLightsOff))) }
+//FIXME RGY omit has been disallowed in value lists (see $B.1.2.1 of the standad), ifpresent shall be used instead
+// { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_parkingLightsOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights((omit, mw_parkingLightsOff))) }
+ { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_parkingLightsOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_parkingLightsOff ifpresent)) }
);
// Postamble
===================================================================
import from LibItsCommon_TypesAndValues all;
import from LibItsCommon_Templates all;
import from LibItsCommon_Functions all;
+ import from LibItsCommon_ASN1_NamedNumbers all;
// LibIts
import from DENM_PDU_Descriptions language "ASN.1:1997" all;
// Preamble
f_prInitialState();
for (i := 0; i < lengthof(v_situations) - 1; i := i + 1) {
- f_utTriggerEvent(m_utTriggerEvent(v_situations[i]));
+ f_utTriggerEvent(m_utTriggerEvent(valueof(v_situations[i])));
f_awaitDenMessage(mw_denmInd(mw_anyDenmPdu), v_denmInd);
v_actionIds[i] := v_denmInd.msgIn.denm.management.actionID;
}
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body
- f_utTriggerEvent(m_utTriggerEvent(v_situations[lengthof(v_situations) - 1]));
+ f_utTriggerEvent(m_utTriggerEvent(valueof(v_situations[lengthof(v_situations) - 1])));
f_awaitDenMessage(mw_denmInd(mw_anyDenmPdu), v_denmInd);
v_actionIds[lengthof(v_actionIds) - 1] := v_denmInd.msgIn.denm.management.actionID;
// Preamble
f_prInitialState();
for (i := 0; i < lengthof(v_situations) - 1; i := i + 1) {
- f_utTriggerEvent(m_utTriggerEvent(v_situations[i]));
+ f_utTriggerEvent(m_utTriggerEvent(valueof(v_situations[i])));
f_awaitDenMessage(mw_denmInd(mw_anyDenmPdu), v_denmInd);
v_actionIds[i] := v_denmInd.msgIn.denm.management.actionID;
v_timestampIts := v_denmInd.msgIn.denm.management.referenceTime;
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body
- f_utTriggerEvent(m_utTriggerEvent(v_situations[lengthof(v_situations) - 1]));
+ f_utTriggerEvent(m_utTriggerEvent(valueof(v_situations[lengthof(v_situations) - 1])));
tc_ac.start;
alt {
// Preamble
f_prInitialState();
for (i := 0; i < lengthof(v_situations) - 1; i := i + 1) {
- f_utTriggerEvent(m_utTriggerEvent(v_situations[i]));
+ f_utTriggerEvent(m_utTriggerEvent(valueof(v_situations[i])));
f_awaitDenMessage(mw_denmInd(mw_anyDenmPdu), v_denmInd);
f_poCancelEvent(e_iut, v_denmInd.msgIn.denm.management.actionID);
}
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body
- f_utTriggerEvent(m_utTriggerEvent(v_situations[lengthof(v_situations) - 1]));
+ f_utTriggerEvent(m_utTriggerEvent(valueof(v_situations[lengthof(v_situations) - 1])));
tc_ac.start;
alt {
// Preamble
f_prInitialState();
for (i := 0; i < lengthof(v_situations); i := i + 1) {
- f_utTriggerEvent(m_utTriggerEvent(v_situations[i]));
+ f_utTriggerEvent(m_utTriggerEvent(valueof(v_situations[i])));
f_awaitDenMessage(mw_denmInd(mw_anyDenmPdu), v_denmInd);
v_actionIds[i] := v_denmInd.msgIn.denm.management.actionID;
}
Index: AtsGeoNetworking/ItsGeoNetworking_TpFunctions.ttcn
===================================================================
--- AtsGeoNetworking/ItsGeoNetworking_TpFunctions.ttcn (revision 2639)
+++ AtsGeoNetworking/ItsGeoNetworking_TpFunctions.ttcn (working copy)
import from LibItsGeoNetworking_TypesAndValues all;
import from LibItsGeoNetworking_Pics all;
- import from LibItsGeoNetworking_Pixits all;
+ import from LibItsGeoNetworking_Pixits all;
+ import from LibItsGeoNetworking_EncdecDeclarations all;
// 6.2.1
group geoFormatingAndDataValidity {
f_prNeighbour();
v_gnPacket := m_geoNwPdu(m_geoNwShbPacket(v_longPosVectorNodeB));
- f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_gnPacket));
+ f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_gnPacket)));
f_sleep(PX_TAC);
// Test Body
v_gnPacket.basicHeader.version := valueof(v_gnPacket.basicHeader.version) + 1;
- f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_gnPacket));
+ f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_gnPacket)));
f_sleep(PX_TAC);
// Preamble
f_prNeighbour();
if ( not f_utTriggerEvent(m_generateShbMessageWithPayload(v_payload)) ) {
- log("*** " & testcasename() & ": INCONC: Trigger failed ***");
- f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
+ log("*** " & testcasename() & ": INCONC: Trigger failed ***");
+ f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
}
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(
+ valueof(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwTsbPacket(
vc_localSeqNumber,
v_hopLimit
)
)
- );
+ ));
tc_noac.start;
alt {
f_prNeighbour();
}
else {
- f_prNonNeighbour();
+ f_prNonNeighbour();
}
return v_longPosVectorNode;
//preamble part II
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(m_geoNwPdu(p_packet, -, c_hopLimit1))
+ valueof(m_geoNwReq_linkLayerBroadcast(m_geoNwPdu(p_packet, -, c_hopLimit1)))
);
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
} // end f_TP_GEONW_PON_LOT_BV_03_pre_2
// Preamble
f_prDefault(); // NodeB will send Beacon only once
- f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(m_geoNwPdu(m_geoNwBeaconPacket(f_getPosition(c_compNodeB)), -, c_hopLimit1)));
+ f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(m_geoNwPdu(m_geoNwBeaconPacket(f_getPosition(c_compNodeB)), -, c_hopLimit1))));
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
f_prDefault();
// Act as a neighbor and send one beacon
- f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(m_geoNwPdu(m_geoNwBeaconPacket(f_getPosition(c_compNodeB)), -, c_hopLimit1)));
+ f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(m_geoNwPdu(m_geoNwBeaconPacket(f_getPosition(c_compNodeB)), -, c_hopLimit1))));
} // end f_TP_GEONW_PON_LOT_BV_05_pre_1
/**
//preamble part II
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(m_geoNwPdu(p_packet))
+ valueof(m_geoNwReq_linkLayerBroadcast(m_geoNwPdu(p_packet)))
);
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
} // end f_TP_GEONW_PON_LOT_BV_05_pre_2
}
else {
v_expectedSequenceNumber := v_expectedSequenceNumber + 1;
- if ( not f_utTriggerEvent(m_generateGeoBroadcastMessage(f_getArea(c_area1))) ) {
- log("*** " & testcasename() & ": INCONC: Trigger failed ***");
- f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
- }
+ if ( not f_utTriggerEvent(m_generateGeoBroadcastMessage(f_getArea(c_area1))) ) {
+ log("*** " & testcasename() & ": INCONC: Trigger failed ***");
+ f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
+ }
tc_ac.start;
repeat;
}
// Test Body
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(
+ valueof(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwLsReplyPacket(
v_longPosVectorNodeA,
)
)
)
- );
+ ));
tc_ac.start;
alt {
if ( v_firstLsRequestReceived == true ) {
log("*** " & testcasename() & ": Second LsRequest received ***");
tc_ac.stop;
- f_sendGeoNetMessage ( m_geoNwReq_linkLayerBroadcast(
+ f_sendGeoNetMessage ( valueof( m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu (
m_geoNwLsReplyPacket(
v_longPosVectorNodeA,
f_longPosVector2ShortPosVector(v_longPosVectorIut),
- vc_localSeqNumber ) ) ) );
+ vc_localSeqNumber ) ) ) ) );
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
}
else {
}
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(
+ valueof(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwLsReplyPacket(
v_longPosVectorNodeA,
)
)
)
- );
+ ));
// Check for messages send to Tester
tc_noac.start;
f_prNeighbour();
if ( not f_utTriggerEvent(m_generateGeoUnicastMessageWithLifetime(
v_longPosVectorNodeA.gnAddr,
- float2int(int2float(v_maxNbrRetrans + 2) * f_getLsRetransmitTimer() * 1000.0))) ) {
+ float2int(int2float(v_maxNbrRetrans + 2) * f_getLsRetransmitTimer() * 1000.0))) ) {
log("*** " & testcasename() & ": INCONC: Trigger failed ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
}
// Test Body
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(
+ valueof(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwLsRequestPacket(
v_longPosVectorNodeB,
)
)
)
- );
+ ));
tc_noac.start;
alt {
// Test Body
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(
+ valueof(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwLsRequestPacket(
f_getPosition(c_compNodeA),
c_defaultHopLimit
)
)
- );
+ ));
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
// Postamble
// Test Body
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(
+ valueof(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwLsReplyPacket(
f_getPosition(c_compNodeA),
c_defaultHopLimit
)
)
- );
+ ));
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
// Postamble
// Test Body
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(
+ valueof(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwUnicastPacket(
v_longPosVectorNodeA,
)
)
)
- );
+ ));
tc_ac.start;
alt {
f_sleepIgnoreDef(int2float(v_lt2));
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(
+ valueof(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwLsReplyPacket(
v_longPosVectorNodeA,
)
)
)
- );
+ ));
tc_ac.start;
alt {
// Test Body
if (tc_wait.running) {
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(
+ valueof(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwUnicastPacket(
v_longPosVectorNodeA,
)
)
)
- );
+ ));
tc_wait.stop;
tc_noac.start;
// Test Body
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(
+ valueof(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwUnicastPacket(
v_longPosVectorNodeA,
)
)
)
- );
+ ));
tc_ac.start;
alt {
// Test Body
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(
+ valueof(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwUnicastPacket(
v_longPosVectorNodeA,
)
)
)
- );
+ ));
tc_noac.start;
alt {
// Test Body
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(
+ valueof(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwUnicastPacket(
v_longPosVectorNodeA,
)
)
)
- );
+ ));
tc_noac.start;
alt {
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
f_prNeighbour();
// Make sure IUT has LocE for NodeA by sending unsolicited LS_REPLY
- f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(m_geoNwPdu(
+ f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(m_geoNwPdu(
m_geoNwLsReplyPacket(
v_longPosVectorNodeA,
f_longPosVector2ShortPosVector(v_longPosVectorIut),
vc_localSeqNumber
)
- )));
+ ))));
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
// /!\ This pre-condition has impact on test body
- if ( not f_utTriggerEvent(m_generateGeoUnicastMessage(v_longPosVectorNodeA.gnAddr)) ) {
- log("*** " & testcasename() & ": INCONC: Trigger failed ***");
- f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
- }
+ if ( not f_utTriggerEvent(m_generateGeoUnicastMessage(v_longPosVectorNodeA.gnAddr)) ) {
+ log("*** " & testcasename() & ": INCONC: Trigger failed ***");
+ f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
+ }
tc_noac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(?))) {
// Local variables
var ItsGeoNetworking v_nodeB;
var ItsGeoNetworking v_nodeC;
- const UInt16 c_sequenceNumberC := f_getInitialSequenceNumber();
+//FIXME RGY c_sequenceNumberC shall not be constant as calls a function returning a variable
+// const UInt16 c_sequenceNumberC := f_getInitialSequenceNumber();
+ var UInt16 c_sequenceNumberC := f_getInitialSequenceNumber();
// Test control
if (not PICS_GN_GUC_SRC) {
vc_localSeqNumber := p_sequenceNumberC;
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(
+ valueof(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwUnicastPacket(
v_longPosVectorNodeC,
c_defaultHopLimit
)
)
- );
+ ));
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Local variables
var ItsGeoNetworking v_nodeB;
var ItsGeoNetworking v_nodeC;
- const UInt16 c_sequenceNumberC := f_getInitialSequenceNumber();
+//FIXME RGY c_sequenceNumberC shall not be constant as calls a function returning a variable
+// const UInt16 c_sequenceNumberC := f_getInitialSequenceNumber();
+ var UInt16 c_sequenceNumberC := f_getInitialSequenceNumber();
const integer c_messageCount := 2;
// Test control
for(i:=0; i < vc_multipleMessagesCount; i:=i+1) {
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(
+ valueof(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwUnicastPacket(
v_longPosVectorNodeC,
)
)
)
- );
+ ));
}
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
f_prNeighbour();
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(
+ valueof(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwUnicastPacket(
v_longPosVectorNodeC,
c_defaultHopLimit
)
)
- );
+ ));
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
f_prDefault();
vc_multipleMessagesCount := p_messageCount;
for(i:=0; i < vc_multipleMessagesCount; i:=i+1) {
- if(not f_utTriggerEvent(m_generateGeoBroadcastMessage(f_getArea(c_area1))) ) {
- log("*** " & testcasename() & ": INCONC: Trigger failed ***");
- f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
- }
+ if(not f_utTriggerEvent(m_generateGeoBroadcastMessage(f_getArea(c_area1))) ) {
+ log("*** " & testcasename() & ": INCONC: Trigger failed ***");
+ f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
+ }
}
tc_ac.start(1.0);
f_prNeighbour();
// Make sure IUT has LocE for NodeA by sending unsolicited LS_REPLY
- f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(m_geoNwPdu(
+ f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(m_geoNwPdu(
m_geoNwLsReplyPacket(
v_longPosVectorNodeA,
f_longPosVector2ShortPosVector(v_longPosVectorIut),
vc_localSeqNumber
)
- )));
+ ))));
if ( not f_utTriggerEvent(m_generateGeoUnicastMessage(v_longPosVectorNodeA.gnAddr)) ) {
log("*** " & testcasename() & ": INCONC: Trigger failed ***");
// Preamble
f_prNonNeighbour();
// Make sure IUT has LocE for NodeA by sending unsolicited LS_REPLY
- f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(m_geoNwPdu(
+ f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(m_geoNwPdu(
m_geoNwLsReplyPacket(
v_longPosVectorNodeA,
f_longPosVector2ShortPosVector(v_longPosVectorIut),
vc_localSeqNumber
)
- )));
+ ))));
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
// Test Body
f_sendGeoNetMessage(
- m_geoNwReq_withLinkLayerDestination(
+ valueof(m_geoNwReq_withLinkLayerDestination(
m_geoNwPdu(
m_geoNwUnicastPacket(
f_getPosition(c_compNodeC),
-,
f_getIutMacAddress()
)
- );
+ ));
tc_ac.start;
alt {
// Test Body
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(
+ valueof(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwAnycastPacket(
v_longPosVectorNodeC,
)
)
)
- );
+ ));
tc_ac.start;
alt {
// Test Body
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(
+ valueof(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwBroadcastPacket(
v_longPosVectorNodeC,
)
)
)
- );
+ ));
tc_ac.start;
alt {
// Test Body
f_sendGeoNetMessage(
- m_geoNwReq_linkLayerBroadcast(
+ valueof(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwTsbPacket(
vc_localSeqNumber,
c_defaultHopLimit
)
)
- );
+ ));
tc_ac.start;
alt {
// Test Body
v_longPosVectorNodeB.gnAddr := v_iutGnAddress;
- f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(m_geoNwPdu(m_geoNwShbPacket(v_longPosVectorNodeB), -, c_hopLimit1)));
+ f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(m_geoNwPdu(m_geoNwShbPacket(v_longPosVectorNodeB), -, c_hopLimit1))));
f_sleep(0.5);
// Test Body
f_sendGeoNetMessage(
- m_geoNwReq_withLinkLayerDestination(
+ valueof(m_geoNwReq_withLinkLayerDestination(
m_geoNwPdu(
m_geoNwUnicastPacket(
f_getPosition(c_compNodeC),
-,
f_getIutMacAddress()
)
- );
+ ));
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
f_prNeighbour();
f_sendGeoNetMessage(
- m_geoNwReq_withLinkLayerDestination(
+ valueof(m_geoNwReq_withLinkLayerDestination(
m_geoNwPdu(
m_geoNwUnicastPacket(
v_longPosVectorNodeA,
-,
f_getIutMacAddress()
)
- );
+ ));
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
// Test Body
f_sendGeoNetMessage(
- m_geoNwReq_withLinkLayerDestination(
+ valueof(m_geoNwReq_withLinkLayerDestination(
m_geoNwPdu(
m_geoNwUnicastPacket(
f_getPosition(c_compNodeC),
-,
f_getIutMacAddress()
)
- );
+ ));
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
// Test Body
f_sendGeoNetMessage(
- m_geoNwReq_withLinkLayerDestination(
+ valueof(m_geoNwReq_withLinkLayerDestination(
m_geoNwPdu(
m_geoNwUnicastPacket(
f_getPosition(c_compNodeC),
-,
f_getIutMacAddress()
)
- );
+ ));
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
vc_localSeqNumber
)
);
- f_sendGeoNetMessage(m_geoNwReq_withLinkLayerDestination(v_gnPacket, -, f_getIutMacAddress()));
+ f_sendGeoNetMessage(valueof(m_geoNwReq_withLinkLayerDestination(v_gnPacket, -, f_getIutMacAddress())));
f_sleep(PX_TAC);
// Test Body
f_sendGeoNetMessage(
- m_geoNwReq_withLinkLayerDestination(
+ valueof(m_geoNwReq_withLinkLayerDestination(
m_geoNwPdu(
m_geoNwUnicastPacket(
f_getPosition(c_compNodeC),
-,
f_getIutMacAddress()
)
- );
+ ));
log("*** " & testcasename() & ": INFO: Message sent ***");
f_selfOrClientSyncAndVerdict(c_msgSent, e_success);
) {
tc_ac.stop;
if(t_toCbf.running) {
- t_toCbf.stop;
+ t_toCbf.stop;
log("*** " & testcasename() & ": FAIL: IUT re-broadcasted the packet too early ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
// Test Body
f_sendGeoNetMessage(
- m_geoNwReq_withLinkLayerDestination(
+ valueof(m_geoNwReq_withLinkLayerDestination(
m_geoNwPdu(
m_geoNwUnicastPacket(
f_getPosition(c_compNodeC),
-,
f_getIutMacAddress()
)
- );
+ ));
log("*** " & testcasename() & ": INFO: Message sent ***");
f_selfOrClientSyncAndVerdict(c_msgSent, e_success);
f_sleepIgnoreDef(int2float(f_getGeoUnicastCbfMaxTime())/2000.0);
f_sendGeoNetMessage(
- m_geoNwReq_withLinkLayerDestination(
+ valueof(m_geoNwReq_withLinkLayerDestination(
m_geoNwPdu(
m_geoNwUnicastPacket(
f_getPosition(c_compNodeC),
-,
f_getIutMacAddress()
)
- );
+ ));
tc_noac.start;
alt {
// Test Body
//Note: Sending of the GUC packet move to test body in contrast to the test purpose due to time critical behaviour
f_sendGeoNetMessage(
- m_geoNwReq_withLinkLayerDestination(
+ valueof(m_geoNwReq_withLinkLayerDestination(
m_geoNwPdu(
m_geoNwUnicastPacket(
f_getPosition(c_compNodeC),
-,
f_getIutMacAddress()
)
- );
+ ));
tc_noac.start;
alt {