Loading ttcn/AtsDSlite/AtsDSLite_Functions.ttcn3 +3 −8 Original line number Diff line number Diff line Loading @@ -70,7 +70,7 @@ module AtsDSLite_Functions { f_connect4SelfOrClientSync(); // Default activation activate(a_default()); activate(a_default_MTC()); } // End of function f_cf01Up_B4 } // End of group initialiseFunctions Loading Loading @@ -191,7 +191,7 @@ module AtsDSLite_Functions { /** * @desc */ altstep a_default() runs on DSLiteComponent { altstep a_default_MTC() runs on DSLiteComponent { var Ipv6Packet v_ipv6Pkt; var Ipv4Packet v_ipv4Pkt; var DHCPv6Msg v_dhcpMsg; Loading Loading @@ -286,12 +286,7 @@ module AtsDSLite_Functions { log("*** " & __SCOPE__ & "ERROR: Timeout while awaiting the reception of a message ***"); f_selfOrClientSyncAndVerdict("error", e_timeout); } [] a_shutdown() { // FIXME Should something be done here? log("*** " & __SCOPE__ & "TEST COMPONENT NOW STOPPING ITSELF! ***"); stop; } } // End of altstep a_default } // End of altstep a_default_MTC altstep a_dhcpDefault() runs on DHCPv6Component { [] dhcpv6Port.receive(DHCPv6Msg:?) { // Ignore these DHCPv6 messages Loading Loading
ttcn/AtsDSlite/AtsDSLite_Functions.ttcn3 +3 −8 Original line number Diff line number Diff line Loading @@ -70,7 +70,7 @@ module AtsDSLite_Functions { f_connect4SelfOrClientSync(); // Default activation activate(a_default()); activate(a_default_MTC()); } // End of function f_cf01Up_B4 } // End of group initialiseFunctions Loading Loading @@ -191,7 +191,7 @@ module AtsDSLite_Functions { /** * @desc */ altstep a_default() runs on DSLiteComponent { altstep a_default_MTC() runs on DSLiteComponent { var Ipv6Packet v_ipv6Pkt; var Ipv4Packet v_ipv4Pkt; var DHCPv6Msg v_dhcpMsg; Loading Loading @@ -286,12 +286,7 @@ module AtsDSLite_Functions { log("*** " & __SCOPE__ & "ERROR: Timeout while awaiting the reception of a message ***"); f_selfOrClientSyncAndVerdict("error", e_timeout); } [] a_shutdown() { // FIXME Should something be done here? log("*** " & __SCOPE__ & "TEST COMPONENT NOW STOPPING ITSELF! ***"); stop; } } // End of altstep a_default } // End of altstep a_default_MTC altstep a_dhcpDefault() runs on DHCPv6Component { [] dhcpv6Port.receive(DHCPv6Msg:?) { // Ignore these DHCPv6 messages Loading