Commit e2b8d7fc authored by kovacsa's avatar kovacsa
Browse files

chapter 5 update

parent 1da77f8c
Loading
Loading
Loading
Loading
+20 −0
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_001 {

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

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

control{  
    execute(TC_Sem_050202_Scope_001());
}
}
+24 −0
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_002() runs on GeneralComp {
    f_funcScope();
}	

control{  
    execute(TC_Sem_050202_Scope_002());
}
}
+24 −0
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());
}
}
+24 −0
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_003() runs on GeneralComp {
    const integer c_int := 0;
    f_funcScope();
}	

control{  
    execute(TC_Sem_050202_Scope_003());
}
}
+24 −0
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());
}
}
Loading