Commit cfc92b1d authored by berge's avatar berge
Browse files

Removed unnecessary receive statements (covered by default)

parent 91f0c018

ttcn/SmartAppliances_Testcases.ttcn

+3 −128
Original line number Diff line number Diff line
@@ -69,11 +69,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

    				}

        			

    				[] mcaPort.receive(mw_request(?)) {

    					tc_ac.stop;

    					setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

    				}

        			

    				[] tc_ac.timeout {

    					setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

    				}
@@ -727,7 +722,7 @@ module SmartAppliances_Testcases { 
						setverdict(pass, testcasename() & ": INFO: Correct OntologyRef received");

    				}

        			

    				[] mcaPort.receive(mw_request(?)) {

    				[] mcaPort.receive(mw_request(mw_createSemanticDescriptor(?, ?, ?))) {

    					tc_ac.stop;

    					setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

    				}
@@ -1190,11 +1185,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

    				}

        			

    				[] mcaPort.receive(mw_request(?)) {

    					tc_ac.stop;

    					setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

    				}

        			

    				[] tc_ac.timeout {

    					setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

    				}
@@ -1719,11 +1709,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

    				}

        			

    				[] mcaPort.receive(mw_request(?)) {

    					tc_ac.stop;

    					setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

    				}

        			

    				[] tc_ac.timeout {

    					setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

    				}
@@ -1948,11 +1933,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

    				}

        			

    				[] mcaPort.receive(mw_request(?)) {

    					tc_ac.stop;

    					setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

    				}

        			

    				[] tc_ac.timeout {

    					setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

    				}
@@ -2025,11 +2005,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);   					

					}

        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -2237,11 +2212,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}

        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -2335,11 +2305,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}

        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -2543,11 +2508,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}

        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -2751,11 +2711,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}

        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -2957,11 +2912,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}

        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -3382,11 +3332,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}

        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -3807,11 +3752,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}

        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -4234,11 +4174,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}

        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -4301,11 +4236,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}

        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -4368,11 +4298,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}

        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -4435,11 +4360,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}

        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -4502,11 +4422,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}

        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -4568,11 +4483,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}

        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -4637,11 +4547,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}

        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -4703,11 +4608,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}

        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -4769,11 +4669,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}

        			        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -4835,11 +4730,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}



					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -4901,11 +4791,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}

        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -4967,11 +4852,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

					}

        			

					[] mcaPort.receive(mw_request(?)) {

						tc_ac.stop;

						setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

					}

        			

					[] tc_ac.timeout {

						setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

					}
@@ -5031,11 +4911,6 @@ module SmartAppliances_Testcases { 
						setverdict(v_verdict, testcasename() & ": " & v_verdictMsg);

    				}

        			

    				[] mcaPort.receive(mw_request(?)) {

    					tc_ac.stop;

    					setverdict(fail, testcasename() & ": ERROR: Incorrect request received");

    				}

        			

    				[] tc_ac.timeout {

    					setverdict(inconc, testcasename() & ": TIMEOUT: No CREATE request received");

    				}