Commit 6b5928cc authored by kovacsa's avatar kovacsa
Browse files

chapter 5 update

parent db2df75b

05_basic_language_elements/0502_scope_rules/Sem_050201_Scope_001.ttcn

0 → 100755
+67 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 409 

 ** @version  0.0.1

 ** @desc     Test cases for clause 5.2 Scope rules                     

 ** @purpose  1:5.2, Ensure that the IUT correctly handles scope of formal function parameters

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/

module Sem_050201_Scope_001 {



type component GeneralComp {	    	    

}



function f_formalParameterScope_in(in integer MyReferenceParameter) {

 MyReferenceParameter := 1;

    if (MyReferenceParameter == 1){

        setverdict(pass);

    }

    else {

        setverdict(fail);

    }		

}



function f_formalParameterScope_inout(inout integer MyReferenceParameter) {

 MyReferenceParameter := 1;

}





testcase TC_Sem_050201_Scope_001_a()  runs on GeneralComp  {



    var integer v_int := 0;

    f_formalParameterScope_in(v_int);

}



testcase TC_Sem_050201_Scope_001_b()  runs on GeneralComp  {



    var integer v_int := 0;

    f_formalParameterScope_in(v_int);



    if (v_int == 0) {

	setverdict(pass);

    }

    else {

        setverdict(fail);

    }		

}



testcase TC_Sem_050201_Scope_001_c()  runs on GeneralComp  {



    var integer v_int := 0;

    f_formalParameterScope_inout(v_int);



    if (v_int == 1) {

	setverdict(pass);

    }

    else {

        setverdict(fail);

    }		

}





control{

    execute(TC_Sem_050201_Scope_001_a());

    execute(TC_Sem_050201_Scope_001_b());

    execute(TC_Sem_050201_Scope_001_c());

}



}