Commit fd59602a authored by stancakapost's avatar stancakapost
Browse files

using match instead of ==

parent 1240b813

ATS/05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/NegSem_050401_top_level_002.ttcn

+4 −4
Original line number Original line Diff line number Diff line
@@ -29,14 +29,14 @@ module NegSem_050401_top_level_002 { 
        p_rec.option2 := 2; 

        p_rec.option2 := 2; 

	}

	}

	

	

	testcase TC_Sem_050401_top_level_002() runs on GeneralComp {

	testcase TC_NegSem_050401_top_level_002() runs on GeneralComp {

        var R1 v_rec;

        var R1 v_rec;

		f(v_rec);

		f(v_rec);

        if (v_rec.field1 == 1 and v_rec.field2 == 2) { setverdict(pass); } // reading from p_int

        if ( match(v_rec, {1, 2})) { setverdict(pass); } 

        else { setverdict(fail); }

        else { setverdict(fail, "p_rec value not matching ", v_rec, {1, 2}); }

	}

	}





	control{

	control{

		execute(TC_Sem_050401_top_level_002());

		execute(TC_NegSem_050401_top_level_002());

	}

	}

}
 
}

ATS/05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/NegSem_050401_top_level_003.ttcn

+2 −2
Original line number Original line Diff line number Diff line
@@ -25,8 +25,8 @@ module NegSem_050401_top_level_003 { 
    }

    }

	

	

	function f(inout R2 p_rec) {

	function f(inout R2 p_rec) {

        if (p_rec.option1 == 1 and p_rec.option2 == 2) { setverdict(pass); }

        if (match(p_rec, {1, 2})) { setverdict(pass); }

        else { setverdict(fail); }

        else { setverdict(fail, "p_rec value not matching ", p_rec, {1, 2}); }

	}

	}

	

	

	testcase TC_NegSem_050401_top_level_003() runs on GeneralComp {

	testcase TC_NegSem_050401_top_level_003() runs on GeneralComp {

ATS/05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/Sem_050401_top_level_016.ttcn

+2 −2
Original line number Original line Diff line number Diff line
@@ -25,8 +25,8 @@ module Sem_050401_top_level_016 { 
    }

    }

	

	

	function f(R2 p_rec) {

	function f(R2 p_rec) {

        if (p_rec.option1 == 1 and p_rec.option2 == 2) { setverdict(pass); }

        if (match(p_rec, {1, 2})) { setverdict(pass); }

        else { setverdict(fail); }

        else { setverdict(fail, "p_rec value not matching ", p_rec, {1, 2}); }

	}

	}

	

	

	testcase TC_Sem_050401_top_level_016() runs on GeneralComp {

	testcase TC_Sem_050401_top_level_016() runs on GeneralComp {

ATS/05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/Sem_050401_top_level_017.ttcn

+2 −2
Original line number Original line Diff line number Diff line
@@ -32,8 +32,8 @@ module Sem_050401_top_level_017 { 
	testcase TC_Sem_050401_top_level_017() runs on GeneralComp {

	testcase TC_Sem_050401_top_level_017() runs on GeneralComp {

        var R1 v_rec;

        var R1 v_rec;

		f(v_rec);

		f(v_rec);

        if (v_rec.field1 == 1 and v_rec.field2 == 2) { setverdict(pass); }

        if (match(v_rec, {1, 2})) { setverdict(pass); }

        else { setverdict(fail); }

        else { setverdict(fail, "v_rec value not matching ", v_rec, {1, 2}); }

	}

	}





	control{

	control{

ATS/05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/Sem_050401_top_level_018.ttcn

+2 −2
Original line number Original line Diff line number Diff line
@@ -20,8 +20,8 @@ module Sem_050401_top_level_018 { 
    }

    }

    

    

	function f(inout R1 p_rec) {

	function f(inout R1 p_rec) {

        if (p_rec.field1 == 1 and p_rec.field2 == 2) { setverdict(pass); }

        if (match(p_rec, {1, 2})) { setverdict(pass); }

        else { setverdict(fail); }

        else { setverdict(fail, "p_rec value not matching ", p_rec, {1, 2}); }

	}

	}

	

	

	testcase TC_Sem_050401_top_level_018() runs on GeneralComp {

	testcase TC_Sem_050401_top_level_018() runs on GeneralComp {