Commit a4c441f1 authored by stancakapost's avatar stancakapost
Browse files

added (present) restriction to inout parameters which are passed 

mandatory fields
parent dfc46944

ATS/05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_135.ttcn

+1 −1
Original line number Original line Diff line number Diff line
@@ -20,7 +20,7 @@ module Sem_050402_actual_parameters_135 { 
        integer field1

        integer field1

    }

    }

    

    

    function f_test(inout template integer p_val) {

    function f_test(inout template(present) integer p_val) {

        if (match(10, p_val)) { setverdict(pass); }

        if (match(10, p_val)) { setverdict(pass); }

        else { setverdict(fail); }

        else { setverdict(fail); }

    }

    }

ATS/05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_136.ttcn

+1 −1
Original line number Original line Diff line number Diff line
@@ -20,7 +20,7 @@ module Sem_050402_actual_parameters_136 { 
        integer field1

        integer field1

    }

    }

    

    

    function f_test(inout template integer p_val) {

    function f_test(inout template(present) integer p_val) {

        if (match(11, p_val)) { setverdict(pass); }

        if (match(11, p_val)) { setverdict(pass); }

        else { setverdict(fail); }

        else { setverdict(fail); }

    }

    }

ATS/05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_141.ttcn

+1 −1
Original line number Original line Diff line number Diff line
@@ -21,7 +21,7 @@ module Sem_050402_actual_parameters_141 { 
        integer field1

        integer field1

    }

    }

    

    

    altstep a_test(inout template integer p_val) runs on GeneralComp {

    altstep a_test(inout template(present) integer p_val) runs on GeneralComp {

        []t.timeout {

        []t.timeout {

            if (match(10, p_val)) { setverdict(pass); }

            if (match(10, p_val)) { setverdict(pass); }

            else { setverdict(fail); }

            else { setverdict(fail); }

ATS/05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_142.ttcn

+1 −1
Original line number Original line Diff line number Diff line
@@ -21,7 +21,7 @@ module Sem_050402_actual_parameters_142 { 
        integer field1

        integer field1

    }

    }

    

    

    altstep a_test(inout template integer p_val) runs on GeneralComp {

    altstep a_test(inout template(present) integer p_val) runs on GeneralComp {

        []t.timeout {

        []t.timeout {

           if (match(11, p_val)) { setverdict(pass); }

           if (match(11, p_val)) { setverdict(pass); }

           else { setverdict(fail); }

           else { setverdict(fail); }

ATS/05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_147.ttcn

+1 −1
Original line number Original line Diff line number Diff line
@@ -20,7 +20,7 @@ module Sem_050402_actual_parameters_147 { 
        integer field1

        integer field1

    }

    }





    testcase TC_Sem_050402_actual_parameters_147(inout template integer p_val) runs on GeneralComp {

    testcase TC_Sem_050402_actual_parameters_147(inout template(present) integer p_val) runs on GeneralComp {

        if (match(10, p_val)) { setverdict(pass); }

        if (match(10, p_val)) { setverdict(pass); }

        else { setverdict(fail); }

        else { setverdict(fail); }

	}

	}