titanization_ats.patch 435 KB
Newer Older
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_withLinkLayerDestination(
+                        valueof(m_geoNwReq_withLinkLayerDestination(
                             m_geoNwPdu(
                                 m_geoNwUnicastPacket(
                                     f_getPosition(c_compNodeC),
garciay's avatar
garciay committed
@@ -7328,7 +7333,7 @@
garciay's avatar
garciay committed
                             -,
                             f_getIutMacAddress()
                         )
-                    );
+                    ));
                     
                     f_sleepIgnoreDef(int2float(f_getGeoUnicastCbfMaxTime())/2000.0);
                     
garciay's avatar
garciay committed
@@ -7565,7 +7570,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_withLinkLayerDestination(
+                        valueof(m_geoNwReq_withLinkLayerDestination(
                             m_geoNwPdu(
                                 m_geoNwUnicastPacket(
                                     f_getPosition(c_compNodeC),
garciay's avatar
garciay committed
@@ -7578,7 +7583,7 @@
garciay's avatar
garciay committed
                             -,
                             f_getIutMacAddress()
                         )
-                    );
+                    ));
                     
                     tc_noac.start;
                     alt {
garciay's avatar
garciay committed
@@ -7618,7 +7623,7 @@
garciay's avatar
garciay committed
                     // Preamble
                     f_prNeighbour();
                     f_sendGeoNetMessage(
-                        m_geoNwReq_withLinkLayerDestination(
+                        valueof(m_geoNwReq_withLinkLayerDestination(
                             m_geoNwPdu(
                                 m_geoNwUnicastPacket(
                                     f_getPosition(c_compNodeC),
garciay's avatar
garciay committed
@@ -7631,7 +7636,7 @@
garciay's avatar
garciay committed
                             -,
                             f_getIutMacAddress()
                         )
-                    );
+                    ));
                     f_selfOrClientSyncAndVerdict(c_prDone, e_success);
                     
                     // Test Body
garciay's avatar
garciay committed
@@ -7728,8 +7733,8 @@
garciay's avatar
garciay committed
                     // Preamble
                     f_prNeighbour();
                     f_sleep(PX_TAC);
-	                v_sentRawPayload := f_adaptPayloadForUtInd_m(valueof(v_gnPacket.gnPacket.packet.payload));
-	                for(i:=0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i:=i+1) {
+                    v_sentRawPayload := f_adaptPayloadForUtInd_m(valueof(v_gnPacket.gnPacket.packet.payload));
+                    for(i:=0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i:=i+1) {
                         // empty on purpose 
                     }
                     if(i < lengthof(vc_utInds)) {
garciay's avatar
garciay committed
@@ -7744,7 +7749,7 @@
garciay's avatar
garciay committed
                     }
                     
                     // Test Body
-                    f_sendGeoNetMessage(m_geoNwReq_withLinkLayerDestination(valueof(v_gnPacket), -, f_getIutMacAddress()));
+                    f_sendGeoNetMessage(valueof(m_geoNwReq_withLinkLayerDestination(v_gnPacket, -, f_getIutMacAddress())));
                    
                     f_sleep(PX_TAC);
                     
garciay's avatar
garciay committed
@@ -7773,7 +7778,7 @@
garciay's avatar
garciay committed
                     // Preamble
                     f_prNeighbour();
                     f_sendGeoNetMessage(
-                        m_geoNwReq_withLinkLayerDestination(
+                        valueof(m_geoNwReq_withLinkLayerDestination(
                             m_geoNwPdu(
                                 m_geoNwUnicastPacket(
                                     f_getPosition(c_compNodeC),
garciay's avatar
garciay committed
@@ -7786,7 +7791,7 @@
garciay's avatar
garciay committed
                             -,
                             f_getIutMacAddress()
                         )
-                    );
+                    ));
                     f_selfOrClientSyncAndVerdict(c_prDone, e_success);
                     
                     // Test Body
garciay's avatar
garciay committed
@@ -7854,10 +7859,10 @@
garciay's avatar
garciay committed
                     f_selfOrClientSyncAndVerdict(c_prDone, e_success);
                     
                     // Test Body
-	                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;
                     alt {
garciay's avatar
garciay committed
@@ -8089,7 +8094,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwBroadcastPacket(
                                     v_longPosVectorNodeB,
garciay's avatar
garciay committed
@@ -8098,7 +8103,7 @@
garciay's avatar
garciay committed
                                 )
                             )
                         )
-                    );
+                    ));
                     
                     tc_ac.start;
                     alt {
garciay's avatar
garciay committed
@@ -8219,7 +8224,7 @@
garciay's avatar
garciay committed
                                       -,
                                       c_defaultHopLimit
                                   );
-                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(valueof(v_gnPacket)));
+                    f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_gnPacket)));
                     
                     tc_ac.start;
                     alt {
garciay's avatar
garciay committed
@@ -8266,7 +8271,9 @@
                     
                     // Local variables
                     var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB);
-                    var template (present) GeoNetworkingInd v_msgInd;
+//FIXME RGY variable shall not be of template type, because a message is stored into it
+//                    var template (present) GeoNetworkingInd v_msgInd;
+                    var /*template (present)*/ GeoNetworkingInd v_msgInd;
                     
                     // Preamble
                     f_prNeighbour();
garciay's avatar
garciay committed
@@ -8290,9 +8297,11 @@
garciay's avatar
garciay committed
                     // Test Body
                     // send geoBroadcast for second time (same source + same seq Nr + lower RHL)
                     v_msgInd.msgIn.basicHeader.routerHopLimit := valueof(v_msgInd.msgIn.basicHeader.routerHopLimit) - 1;
garciay's avatar
garciay committed
-                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(valueof(v_msgInd.msgIn)));
+                    f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_msgInd.msgIn)));
                     
-                    v_msgInd.msgIn.basicHeader.routerHopLimit := ?;
+//FIXME RGY variable is not used after asigning AnyValue;
+//          if a template is needed for some purpose a template variable should also be declared; see f_GEONW_PON_GBC_BO_06_nodeB
+//                    v_msgInd.msgIn.basicHeader.routerHopLimit := ?;
                     tc_noac.start;
                     alt {
                         [] a_receiveGeoBroadcast(
garciay's avatar
garciay committed
@@ -8404,7 +8413,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwBroadcastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -8413,7 +8422,7 @@
garciay's avatar
garciay committed
                                 )
                             )
                         )
-                    );
+                    ));
                     f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
                     
                     // Postamble
garciay's avatar
garciay committed
@@ -8511,7 +8520,9 @@
                     
                     // Local variables
                     var LongPosVector v_longPosVectorNodeC := f_getPosition(c_compNodeC);
-                    var template (present) GeoNetworkingInd v_msgInd;
+                    var template (present) GeoNetworkingInd vt_msgInd;
+//FIXME RGY variable is declared to store the received message
+                    var GeoNetworkingInd v_msgInd;
                     
                     // Preamble
                     f_prNeighbour();
garciay's avatar
garciay committed
@@ -8522,6 +8533,8 @@
                                 ?,
                                 f_getGeoBroadcastArea(c_area2)
                             )))) -> value v_msgInd {
+//FIXME RGY the received value stored in the template variable too
+                            vt_msgInd:= v_msgInd
                             tc_ac.stop;
                             log("*** " & testcasename() & ": PASS: Pre-conditions: GBC message correctly forwarded to area center ***");
                             f_selfOrClientSyncAndVerdict(c_prDone, e_success);
garciay's avatar
garciay committed
@@ -8533,10 +8546,11 @@
                     }
                     
                     // Test Body
-                    v_msgInd.msgIn.basicHeader.routerHopLimit := ?;
+//FIXME RGY for the AnyValue the template varibale is used
+                    vt_msgInd.msgIn.basicHeader.routerHopLimit := ?;
                     tc_noac.start;
                     alt {
-                        [] geoNetworkingPort.receive(v_msgInd) {
+                        [] geoNetworkingPort.receive(vt_msgInd) {
                             tc_noac.stop;
                             log("*** " & testcasename() & ": FAIL: GBC message re-forwarded to area center ***");
                             f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
garciay's avatar
garciay committed
@@ -8563,7 +8577,7 @@
garciay's avatar
garciay committed
                     // Preamble
                     f_prNeighbour();
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwBroadcastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -8574,7 +8588,7 @@
garciay's avatar
garciay committed
                                 c_defaultHopLimit
                             )
                         )
-                    );
+                    ));
                     f_selfOrClientSyncAndVerdict(c_prDone, e_success);
                     
                     // Test Body
garciay's avatar
garciay committed
@@ -8615,7 +8629,7 @@
garciay's avatar
garciay committed
                     // Test Body
                     // send geoBroadcast for second time (same source + same seq Nr + lower RHL)
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwBroadcastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -8626,7 +8640,7 @@
garciay's avatar
garciay committed
                                 c_defaultHopLimit - 1
                             )
                         )
-                    );
+                    ));
                     
                     tc_noac.start;
                     alt {
garciay's avatar
garciay committed
@@ -8703,7 +8717,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwBroadcastPacket(
                                     v_longPosVectorNodeB,
garciay's avatar
garciay committed
@@ -8715,7 +8729,7 @@
garciay's avatar
garciay committed
                                 c_defaultHopLimit
                             )
                         )
-                    );
+                    ));
                     
                     tc_ac.start;
                     alt {
garciay's avatar
garciay committed
@@ -8830,7 +8844,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwBroadcastPacket(
                                     v_longPosVectorNodeB,
garciay's avatar
garciay committed
@@ -8841,7 +8855,7 @@
garciay's avatar
garciay committed
                                 c_hopLimit1
                             )
                         )
-                    );
+                    ));
                     
                     tc_noac.start;
                     alt {
garciay's avatar
garciay committed
@@ -8933,7 +8947,7 @@
garciay's avatar
garciay committed
                                             f_getGeoBroadcastArea(c_area1)
                                         )
                                     );
-                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_gnPacket));
+                f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_gnPacket)));
                 
                 f_sleep(PX_TAC);
                 
garciay's avatar
garciay committed
@@ -9019,7 +9033,7 @@
garciay's avatar
garciay committed
                                             -,
                                             c_defaultHopLimit
                                         );
-                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(valueof(v_gnPacket)));
+                    f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_gnPacket)));
                     
                     // IUT should also rebroadcast the packet. Get ready
                     tc_ac.start;
garciay's avatar
garciay committed
@@ -9039,14 +9053,14 @@
garciay's avatar
garciay committed
                     
                     f_sleep(PX_TAC);
                     
-	                v_sentRawPayload := f_adaptPayloadForUtInd_m(valueof(v_gnPacket.gnPacket.packet.payload));
-	                for(i:=0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i:=i+1) {
+                    v_sentRawPayload := f_adaptPayloadForUtInd_m(valueof(v_gnPacket.gnPacket.packet.payload));
+                    for(i:=0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i:=i+1) {
                         // empty on purpose 
                     }
                     if(i < lengthof(vc_utInds)) {
                         log("*** " & testcasename() & ": PASS: GN was transmitted to upper layer ***");
-	                    //flush received upper indications 
-	                    vc_utInds := {};
+                        //flush received upper indications 
+                        vc_utInds := {};
                         f_selfOrClientSyncAndVerdict(c_prDone, e_success);
                     }
                     else {
garciay's avatar
garciay committed
@@ -9078,7 +9092,9 @@
                     
                     // Local variables
                     var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB);
-                    var template (value) GeoNetworkingInd v_msgInd;
+//FIXME RGY variable shall not be of template type, because a message is stored into it
+//                    var template (value) GeoNetworkingInd v_msgInd;
+                    var GeoNetworkingInd v_msgInd;
                     var integer i;
                     
                     // Preamble
garciay's avatar
garciay committed
@@ -9104,7 +9120,7 @@
garciay's avatar
garciay committed
                      
                     // Test Body
                     v_msgInd.msgIn.basicHeader.routerHopLimit := valueof(v_msgInd.msgIn.basicHeader.routerHopLimit) / 2;
-                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_msgInd.msgIn));
+                    f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_msgInd.msgIn)));
                     f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
                     
                     // Postamble
garciay's avatar
garciay committed
@@ -9149,7 +9165,7 @@
garciay's avatar
garciay committed
                                             f_getGeoBroadcastArea(c_area2)
                                         )
                                     );
-                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_gnPacket));
+                f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_gnPacket)));
                 
                 f_sleep(PX_TAC);
                 
garciay's avatar
garciay committed
@@ -9383,7 +9399,7 @@
garciay's avatar
garciay committed
                         p_distanceTooBig
                     );
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwBroadcastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -9392,7 +9408,7 @@
garciay's avatar
garciay committed
                                 )
                             )
                         )
-                    );
+                    ));
                     f_selfOrClientSyncAndVerdict(c_prDone, e_success);
                     
                     // Test Body
garciay's avatar
garciay committed
@@ -9569,7 +9585,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwBroadcastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -9578,7 +9594,7 @@
garciay's avatar
garciay committed
                                 )
                             )
                         )
-                    );
+                    ));
                     tc_ac.start;
                     alt {
                         [] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacketWithArea(
garciay's avatar
garciay committed
@@ -9730,7 +9746,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwBroadcastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -9739,7 +9755,7 @@
garciay's avatar
garciay committed
                                 )
                             )
                         )
-                    );
+                    ));
                     tc_ac.start;
                     alt {
                         [] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacketWithArea(
garciay's avatar
garciay committed
@@ -9937,7 +9953,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwTsbPacket(
                                     vc_localSeqNumber,
garciay's avatar
garciay committed
@@ -9947,7 +9963,7 @@
garciay's avatar
garciay committed
                                 c_defaultHopLimit
                             )
                         )
-                    );
+                    ));
                     
                     tc_ac.start;
                     alt {
garciay's avatar
garciay committed
@@ -10075,7 +10091,7 @@
garciay's avatar
garciay committed
                                       c_defaultHopLimit
                                   );
                     
-                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(valueof(v_gnPacket)));
+                    f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_gnPacket)));
                     v_gnPacket.basicHeader.routerHopLimit := ?;
                     tc_noac.start;
                     alt {
garciay's avatar
garciay committed
@@ -10134,7 +10150,9 @@
                     
                     // Local variables
                     var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB);
-                    var template (value) GeoNetworkingInd v_msgInd;
+//FIXME RGY variable shall not be of template type, because a message is stored into it
+//                    var template (value) GeoNetworkingInd v_msgInd;                    
+                    var GeoNetworkingInd v_msgInd;
                     
                     // Preamble
                     f_prNeighbour();
garciay's avatar
garciay committed
@@ -10162,7 +10180,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     v_msgInd.msgIn.basicHeader.routerHopLimit := valueof(v_msgInd.msgIn.basicHeader.routerHopLimit) -1;
-                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_msgInd.msgIn));
+                    f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_msgInd.msgIn)));
                     
                     tc_noac.start;
                     alt {
garciay's avatar
garciay committed
@@ -10208,7 +10226,7 @@
garciay's avatar
garciay committed
                     // Preamble
                     
                     // Start components
-                    v_nodeB := f_getComponent(c_compNodeB);                    
+                    v_nodeB := f_getComponent(c_compNodeB);
                     v_nodeD := f_getComponent(c_compNodeD);
                     v_nodeB.start(f_GEONW_PON_TSB_BV_04_nodeB());
                     v_nodeD.start(f_GEONW_PON_TSB_BV_04_nodeD());
garciay's avatar
garciay committed
@@ -10235,7 +10253,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwTsbPacket(
                                     vc_localSeqNumber,
garciay's avatar
garciay committed
@@ -10246,7 +10264,7 @@
garciay's avatar
garciay committed
                                 c_defaultHopLimit
                             )
                         )
-                    );
+                    ));
                     
                     tc_ac.start;
                     alt {
garciay's avatar
garciay committed
@@ -10405,7 +10423,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwTsbPacket(
                                     vc_localSeqNumber,
garciay's avatar
garciay committed
@@ -10415,7 +10433,7 @@
garciay's avatar
garciay committed
                                 1
                             )
                         )
-                    );
+                    ));
                     f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
                     
                     // Postamble
garciay's avatar
garciay committed
@@ -10499,7 +10517,7 @@
garciay's avatar
garciay committed
                                             v_longPosVectorNodeB
                                         )
                                     );
-                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_gnPacket));
+                f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_gnPacket)));
                 
                 f_sleep(PX_TAC);
                 
garciay's avatar
garciay committed
@@ -10582,7 +10600,7 @@
garciay's avatar
garciay committed
                                             -,
                                             c_defaultHopLimit
                                         );
-                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(valueof(v_gnPacket)));
+                    f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(valueof(v_gnPacket))));
                     
                     tc_ac.start;
                     alt {
garciay's avatar
garciay committed
@@ -10648,7 +10666,9 @@
                     
                     // Local variables
                     var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB);
-                    var template (value) GeoNetworkingInd v_msgInd;
+//FIXME RGY variable shall not be of template type, because a message is stored into it
+//                    var template (value) GeoNetworkingInd v_msgInd;
+                    var GeoNetworkingInd v_msgInd;
                     var integer i;
                     var template (value) GeoNetworkingPdu v_gnPacket;
                     
garciay's avatar
garciay committed
@@ -10680,7 +10700,7 @@
garciay's avatar
garciay committed
                     // Test Body
                     v_msgInd.msgIn.basicHeader.routerHopLimit := valueof(v_msgInd.msgIn.basicHeader.routerHopLimit) - 1;
                     v_gnPacket := v_msgInd.msgIn;
-                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_msgInd.msgIn));
+                    f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_msgInd.msgIn)));
                     f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
                     
                     // Postamble
garciay's avatar
garciay committed
@@ -10843,7 +10863,7 @@
garciay's avatar
garciay committed
                 
                 // Test Body
                 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);
                 
garciay's avatar
garciay committed
@@ -11151,7 +11171,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwAnycastPacket(
                                     v_longPosVectorNodeB,
garciay's avatar
garciay committed
@@ -11160,7 +11180,7 @@
garciay's avatar
garciay committed
                                 )
                             )
                         )
-                    );
+                    ));
                     
                     tc_noac.start;
                     alt {
garciay's avatar
garciay committed
@@ -11307,7 +11327,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwAnycastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -11316,7 +11336,7 @@
garciay's avatar
garciay committed
                                 )
                             )
                         )
-                    );
+                    ));
                     f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
                     
                     // Postamble
garciay's avatar
garciay committed
@@ -11408,7 +11428,9 @@
                     
                     // Local variables
                     var LongPosVector v_longPosVectorNodeC := f_getPosition(c_compNodeC);
-                    var template (present) GeoNetworkingInd v_msgInd;
+                    var template (present) GeoNetworkingInd vt_msgInd;
+//FIXME RGY variable is declared to store the received message
+                    var GeoNetworkingInd v_msgInd;
                     
                     // Preamble
                     f_prNeighbour();
garciay's avatar
garciay committed
@@ -11425,6 +11447,8 @@
                                     )
                                 )
                             ) -> value v_msgInd {
+//FIXME RGY the received value stored in the template variable too
+                            vt_msgInd:= v_msgInd
                             tc_ac.stop;
                             log("*** " & testcasename() & ": PASS: Pre-conditions: GAC message correctly forwarded to area center ***");
                             f_selfOrClientSyncAndVerdict(c_prDone, e_success);
garciay's avatar
garciay committed
@@ -11436,10 +11460,11 @@
                     }
                     
                     // Test Body
-                    v_msgInd.msgIn.basicHeader.routerHopLimit := ?;
+//FIXME RGY for the AnyValue the template varibale is used
+                    vt_msgInd.msgIn.basicHeader.routerHopLimit := ?;
                     tc_noac.start;
                     alt {
-                        [] geoNetworkingPort.receive(v_msgInd) {
+                        [] geoNetworkingPort.receive(vt_msgInd) {
                             tc_noac.stop;
                             log("*** " & testcasename() & ": FAIL: GAC message re-forwarded to area center ***");
                             f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
garciay's avatar
garciay committed
@@ -11466,7 +11491,7 @@
garciay's avatar
garciay committed
                     // Preamble
                     f_prNeighbour();
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwAnycastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -11477,7 +11502,7 @@
garciay's avatar
garciay committed
                                 c_defaultHopLimit
                             )
                         )
-                    );
+                    ));
                     f_selfOrClientSyncAndVerdict(c_prDone, e_success);
                     
                     // Test Body
garciay's avatar
garciay committed
@@ -11532,7 +11557,7 @@
garciay's avatar
garciay committed
                     // Test Body
                     // send geoAnycast for second time (same source + same seq Nr + lower RHL)
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwAnycastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -11543,7 +11568,7 @@
garciay's avatar
garciay committed
                                 c_defaultHopLimit - 1
                             )
                         )
-                    );
+                    ));
                     
                     tc_noac.start;
                     alt {
garciay's avatar
garciay committed
@@ -11656,7 +11681,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwAnycastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -11668,7 +11693,7 @@
garciay's avatar
garciay committed
                                 c_defaultHopLimit
                             )
                         )
-                    );
+                    ));
                     f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
                     
                     // Postamble
garciay's avatar
garciay committed
@@ -11763,7 +11788,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwAnycastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -11774,7 +11799,7 @@
garciay's avatar
garciay committed
                                 c_hopLimit1
                             )
                         )
-                    );
+                    ));
                     f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
                     
                     // Postamble
garciay's avatar
garciay committed
@@ -11819,7 +11844,7 @@
garciay's avatar
garciay committed
                                             f_getGeoAnycastArea(c_area1)
                                         )
                                     );
-                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_gnPacket));
+                f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_gnPacket)));
                 
                 f_sleep(PX_TAC);
                 
garciay's avatar
garciay committed
@@ -11923,7 +11948,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     v_gnPacket.basicHeader.routerHopLimit := valueof(v_gnPacket.basicHeader.routerHopLimit) / 2;
-                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_gnPacket));
+                    f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_gnPacket)));
                     
                     f_sleep(PX_TAC);
                     
garciay's avatar
garciay committed
@@ -11961,7 +11986,7 @@
garciay's avatar
garciay committed
                                             -,
                                             c_defaultHopLimit
                                         );
-                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_gnPacket));
+                    f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_gnPacket)));
                     
                     f_selfOrClientSyncAndVerdict(c_prDone, e_success);
                     
garciay's avatar
garciay committed
@@ -12010,7 +12035,7 @@
garciay's avatar
garciay committed
                                             f_getGeoAnycastArea(c_area2)
                                         )
                                     );
-                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_gnPacket));
+                f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_gnPacket)));
 
                 f_sleep(PX_TAC);
                 
garciay's avatar
garciay committed
@@ -12127,7 +12152,7 @@
garciay's avatar
garciay committed
                         p_distanceTooBig
                     );
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwAnycastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -12136,7 +12161,7 @@
garciay's avatar
garciay committed
                                 )
                             )
                         )
-                    );
+                    ));
                     f_selfOrClientSyncAndVerdict(c_prDone, e_success);
                     
                     // Test Body
garciay's avatar
garciay committed
@@ -12409,7 +12434,7 @@
garciay's avatar
garciay committed
                     // Preamble
                     f_prNeighbour();
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwBroadcastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -12418,7 +12443,7 @@
garciay's avatar
garciay committed
                                 )
                             )
                         )
-                    );
+                    ));
                     f_selfOrClientSyncAndVerdict(c_prDone, e_success);
                     
                     // Test Body
garciay's avatar
garciay committed
@@ -12458,7 +12483,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwBroadcastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -12467,7 +12492,7 @@
garciay's avatar
garciay committed
                                 )
                             )
                         )
-                    );
+                    ));
                     
                     tc_noac.start;
                     alt {
garciay's avatar
garciay committed
@@ -12599,7 +12624,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwBroadcastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -12608,7 +12633,7 @@
garciay's avatar
garciay committed
                                 )
                             )
                         )
-                    );
+                    ));
                     
                     t_toCbf.start;                    
                     tc_ac.start;
garciay's avatar
garciay committed
@@ -12785,7 +12810,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwBroadcastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -12794,7 +12819,7 @@
garciay's avatar
garciay committed
                                 )
                             )
                         )
-                    );
+                    ));
                     
                     tc_noac.start;
                     alt {
garciay's avatar
garciay committed
@@ -12971,7 +12996,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwBroadcastPacket(
                                     v_longPosVectorNodeD,
garciay's avatar
garciay committed
@@ -12980,7 +13005,7 @@
garciay's avatar
garciay committed
                                 )
                             )
                         )
-                    );
+                    ));
                     
                     tc_noac.start;
                     alt {
garciay's avatar
garciay committed
@@ -13138,7 +13163,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwBroadcastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -13147,7 +13172,7 @@
garciay's avatar
garciay committed
                                 )
                             )
                         )
-                    );
+                    ));
                     
                     t_toCbf.start;                    
                     tc_ac.start;
garciay's avatar
garciay committed
@@ -13316,7 +13341,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwBroadcastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -13325,7 +13350,7 @@
garciay's avatar
garciay committed
                                 )
                             )
                         )
-                    );
+                    ));
                     
                     tc_ac.start;
                     alt {
garciay's avatar
garciay committed
@@ -13450,7 +13475,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body 
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwBroadcastPacket(
                                     v_longPosVectorNodeA,
garciay's avatar
garciay committed
@@ -13459,7 +13484,7 @@
garciay's avatar
garciay committed
                                 )
                             )
                         )
-                    );                   
+                    ));
                     
                     tc_ac.start;
                     alt {
garciay's avatar
garciay committed
@@ -13659,7 +13684,7 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     f_sendGeoNetMessage(
-                        m_geoNwReq_linkLayerBroadcast(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
                             m_geoNwPdu(
                                 m_geoNwBroadcastPacket(
                                     v_longPosVectorNodeC,
garciay's avatar
garciay committed
@@ -13668,7 +13693,7 @@
garciay's avatar
garciay committed
                                 )
                             )
                         )
-                    );
+                    ));
                     
                     t_toCbf.start;                    
                     tc_ac.start;
garciay's avatar
garciay committed
@@ -13808,12 +13833,12 @@
garciay's avatar
garciay committed
                                             f_getGeoBroadcastArea(c_area1)
                                         )
                                     );
-                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_gnPacket));
+                    f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_gnPacket)));
                     f_selfOrClientSyncAndVerdict(c_prDone, e_success);
                     
                     // Test Body
                     for(i:=1; i < f_getAdvancedGbcForwardingMaxCounter(); i:=i+1) {
-                        f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_gnPacket));
+                        f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_gnPacket)));
                         f_sleepIgnoreDef(0.5);
                     }
                     tc_noac.start;
garciay's avatar
garciay committed
@@ -13894,7 +13919,7 @@
garciay's avatar
garciay committed
                     
                     // Preamble
                     f_prNeighbour();
-                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(
+                    f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(
                         m_geoNwPdu(m_geoNwBroadcastPacket(
                                 v_longPosVectorNodeB,
                                 0,
garciay's avatar
garciay committed
@@ -13901,7 +13926,7 @@
garciay's avatar
garciay committed
                                 f_getGeoBroadcastArea(c_area1)
                             )
                         )
-                    ));
+                    )));
                     f_selfOrClientSyncAndVerdict(c_prDone, e_success);
                     
                     // Test Body
garciay's avatar
garciay committed
@@ -13936,7 +13961,7 @@
garciay's avatar
garciay committed
                     f_selfOrClientSyncAndVerdict(c_prDone, e_success);
                     
                     // Test Body
-                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(
+                    f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(
                         m_geoNwPdu(m_geoNwBroadcastPacket(
                                 v_longPosVectorNodeB,
                                 0,
garciay's avatar
garciay committed
@@ -13943,7 +13968,7 @@
garciay's avatar
garciay committed
                                 f_getGeoBroadcastArea(c_area1)
                             )
                         )
-                    ));
+                    )));
                     tc_noac.start;
                     alt {
                         [] geoNetworkingPort.receive (mw_geoNwInd(mw_geoNwPdu(?))){
garciay's avatar
garciay committed
@@ -14022,7 +14047,7 @@
garciay's avatar
garciay committed
                     
                     // Preamble
                     f_prNeighbour();
-                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(
+                    f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(
                         m_geoNwPdu(m_geoNwBroadcastPacket(
                                 v_longPosVectorNodeB,
                                 0,
garciay's avatar
garciay committed
@@ -14029,7 +14054,7 @@
garciay's avatar
garciay committed
                                 f_getGeoBroadcastArea(c_area1)
                             )
                         )
-                    ));
+                    )));
                     f_selfOrClientSyncAndVerdict(c_prDone, e_success);
                     
                     // Test Body                 
garciay's avatar
garciay committed
@@ -14075,14 +14100,15 @@
garciay's avatar
garciay committed
                     f_selfOrClientSyncAndVerdict(c_prDone, e_success);
                     
                     // Test Body
-                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(
-                        m_geoNwPdu(m_geoNwBroadcastPacket(
+                    f_sendGeoNetMessage(
+                        valueof(m_geoNwReq_linkLayerBroadcast(
+                            m_geoNwPdu(m_geoNwBroadcastPacket(
                                 v_longPosVectorNodeB,
                                 0,
                                 f_getGeoBroadcastArea(c_area1)
                             )
                         )
-                    ));
+                    )));
                     t_toCbf.start;                    
                     tc_ac.start;
                     alt {
garciay's avatar
garciay committed
@@ -14093,7 +14119,7 @@
garciay's avatar
garciay committed
                             )))) {
                             tc_ac.stop;                           
                             
-                            if(t_toCbf.running) {                            	
+                            if(t_toCbf.running) {                                
                                 t_toCbf.stop;
                                 log("*** " & testcasename() & ": FAIL: GBC retransmitted before CBF timer expiration ***");
                                 f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
garciay's avatar
garciay committed
@@ -14182,8 +14208,8 @@
garciay's avatar
garciay committed
                     
                     // Test Body
                     tc_ac.start;