Commit fd93f95c authored by stancakapost's avatar stancakapost
Browse files

removed backup files

parent 14c36120
Loading
Loading
Loading
Loading
+0 −24
Original line number Diff line number Diff line
/***************************************************
 ** @author   STF 409
 ** @version  $Rev: 20 $
 ** @purpose  1:5.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
 ** @verdict  pass reject
 ***************************************************/
module Sem_050202_Scope_002 {

type component GeneralComp {	    	    
    const integer c_int := 0;
}	

function f_funcScope() {
    const integer c_int := 0; 	    
}

testcase TC_Sem_0502_Scope_001() runs on GeneralComp {
    f_funcScope();
}	

control{  
    execute(TC_Sem_050202_Scope_002());
}
}
+0 −24
Original line number Diff line number Diff line
/***************************************************
 ** @author   STF 409
 ** @version  $Rev: 20 $
 ** @purpose  1:5.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
 ** @verdict  pass reject
 ***************************************************/
module Sem_050202_Scope_003 {

type component GeneralComp {	    	    
}	

function f_funcScope() {
    const integer c_int := 0; 	    
}

testcase TC_Sem_0502_Scope_001() runs on GeneralComp {
    const integer c_int := 0;
    f_funcScope();
}	

control{  
    execute(TC_Sem_050202_Scope_003());
}
}
+0 −37
Original line number Diff line number Diff line
/***************************************************
 ** @author   STF 409 
 ** @version  $Rev: 20 $
 ** @purpose  1:5.2, Ensure that the IUT handles scope hierarchy via functions.
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
module Sem_0502_Scope_004 {

type component GeneralComp {	    	    
    var integer vc_int := 0;
}	

function f_funcScope() runs on GeneralComp {	    
    vc_int := 1;                          
    if (vc_int == 1){
        setverdict(pass);
    }
    else {
        setverdict(fail);
    }		
}		

testcase TC_Sem_0502_Scope_004() runs on GeneralComp {
    f_funcScope();
    if (vc_int == 1){
        setverdict(pass);
    }
    else {
        setverdict(fail);
    }		
}

control{
    execute(TC_Sem_0502_Scope_004());
}

}
+0 −29
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 definitions of local scope
 ** @verdict  pass reject
 ***************************************************/
module Sem_0502_Scope_006 {

type component GeneralComp {	    	    
    var integer v_component := 0;
}	

function f_funcScope() runs on GeneralComp {	    
    var integer v_function := 1;
}		

testcase TC_Sem_0502_Scope_006() {
    f_funcScope();
    if (v_function == 0){
    }
}

control{
    var integer v_control := 0;
    execute(TC_Sem_0502_Scope_006());
}

}
+0 −28
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 definitions of local scope
 ** @verdict  pass reject
 ***************************************************/
module Sem_0502_Scope_007 {

type component GeneralComp {	    	    
    var integer v_component := 0;
}	

function f_funcScope() runs on GeneralComp {	    
    var integer v_function := 1;
}		

testcase TC_Sem_0502_Scope_007() {
    if (v_control == 0){
    }
}

control{
    var integer v_control := 0;
    execute(TC_Sem_0502_Scope_007());
}

}
Loading