/***************************************************
 ** @author   STF 409 
 ** @version  0.0.1
 ** @desc     Test cases for clause 5.2 Scope rules                     
 ** @purpose  1:5.2.1, Ensure that the IUT correctly handles scope of formal function parameters
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
module Sem_050201_Scope_of_parameters_001 {

type component GeneralComp {	    	    
}

function f_formalParameterScope_in(in integer p_myParameter) {
 p_myParameter := 1;
    if (p_myParameter == 1){
        setverdict(pass);
    }
    else {
        setverdict(fail);
    }		
}

function f_formalParameterScope_inout(inout integer p_myParameter) {
 p_myParameter := 1;
}


testcase TC_Sem_050201_Scope_of_parameters_001_a()  runs on GeneralComp  {

    var integer v_int := 0;
    f_formalParameterScope_in(v_int);
}

testcase TC_Sem_050201_Scope_of_parameters_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_of_parameters_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_of_parameters_001_a());
    execute(TC_Sem_050201_Scope_of_parameters_001_b());
    execute(TC_Sem_050201_Scope_of_parameters_001_c());
}

}