Commit 431f49c9 authored by kovacsa's avatar kovacsa
Browse files

naming update

parent 16b561e9

05_basic_language_elements/0502_scope_rules/0502_toplevel/Sem_0502_Scope_005.ttcn→05_basic_language_elements/0502_scope_rules/0502_toplevel/NegSem_0502_Scope_001.ttcn

+3 −3
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@ 
 ** @purpose  1:5.2, Ensure that the IUT correctly handles definitions of local scope

 ** @verdict  pass reject

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

module Sem_0502_Scope_005 {

module NegSem_0502_Scope_001 {



type component GeneralComp {	    	    

    var integer vc_component := 0;
@@ -15,7 +15,7 @@ function f_funcScope() runs on GeneralComp { 
    var integer v_function := 0;

}		



testcase TC_Sem_0502_Scope_005() runs on GeneralComp {

testcase TC_NegSem_0502_Scope_001() runs on GeneralComp {

    f_funcScope();

    if (v_function == 0){

    }
@@ -23,7 +23,7 @@ testcase TC_Sem_0502_Scope_005() runs on GeneralComp { 


control{

    var integer v_control := 0;

    execute(TC_Sem_0502_Scope_005());

    execute(TC_NegSem_0502_Scope_001());

}



}

05_basic_language_elements/0502_scope_rules/0502_toplevel/Sem_0502_Scope_006.ttcn→05_basic_language_elements/0502_scope_rules/0502_toplevel/NegSem_0502_Scope_002.ttcn

+3 −3
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@ 
 ** @purpose  1:5.2, Ensure that the IUT correctly handles definitions of local scope

 ** @verdict  pass reject

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

module Sem_0502_Scope_006 {

module NegSem_0502_Scope_002 {



type component GeneralComp {	    	    

    var integer vc_component := 0;
@@ -15,14 +15,14 @@ function f_funcScope() runs on GeneralComp { 
    var integer v_function := 1;

}		



testcase TC_Sem_0502_Scope_006() runs on GeneralComp  {

testcase TC_NegSem_0502_Scope_002() runs on GeneralComp  {

    if (v_control == 0){

    }

}



control{

    var integer v_control := 0;

    execute(TC_Sem_0502_Scope_006());

    execute(TC_NegSem_0502_Scope_002());

}



}

05_basic_language_elements/0502_scope_rules/0502_toplevel/Sem_0502_Scope_007.ttcn→05_basic_language_elements/0502_scope_rules/0502_toplevel/NegSem_0502_Scope_003.ttcn

+3 −3
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@ 
 ** @purpose  1:5.2, Ensure that the IUT correctly handles definitions of local scope

 ** @verdict  pass reject

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

module Sem_0502_Scope_007 {

module NegSem_0502_Scope_003 {



type component GeneralComp {	    	    

    var integer vc_component := 0;
@@ -15,7 +15,7 @@ function f_funcScope() runs on GeneralComp { 
    var integer v_function := 0;

}		



testcase TC_Sem_0502_Scope_007() runs on GeneralComp  {

testcase TC_NegSem_0502_Scope_003() runs on GeneralComp  {

    if(true) {

     var integer v_statement := 0;

    }
@@ -25,7 +25,7 @@ testcase TC_Sem_0502_Scope_007() runs on GeneralComp { 


control{

    var integer v_control := 0;

    execute(TC_Sem_0502_Scope_007());

    execute(TC_NegSem_0502_Scope_003());

}



}

05_basic_language_elements/0503_ordering_of_declarations/Sem_0503_Ordering_002.ttcn→05_basic_language_elements/0503_ordering_of_declarations/NegSem_0503_Ordering_001.ttcn

+3 −3
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@ 
 ** @purpose  1:5.3, Ensure that declarations are in the allowed ordering

 ** @verdict  pass reject

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

module Sem_0503_Ordering_002 {

module NegSem_0503_Ordering_001 {



type component GeneralComp {	    	    

    var integer vc_component := 0;
@@ -15,7 +15,7 @@ function f_function() runs on GeneralComp { 
    var integer v_function := 0;

}		



testcase TC_Sem_0503_Ordering_002() runs on GeneralComp  {

testcase TC_NegSem_0503_Ordering_001() runs on GeneralComp  {

    if(true) {

     var integer v_statement := 0;

      if (v_nested_statement == 0) {		//attempt to access an undefined variable
@@ -27,7 +27,7 @@ testcase TC_Sem_0503_Ordering_002() runs on GeneralComp { 


control {

    var integer v_control := 0;

    execute(TC_Sem_0503_Ordering_002());

    execute(TC_NegSem_0503_Ordering_001());

}



}

05_basic_language_elements/0503_ordering_of_declarations/Sem_0503_Ordering_003.ttcn→05_basic_language_elements/0503_ordering_of_declarations/NegSem_0503_Ordering_002.ttcn

+3 −3
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@ 
 ** @purpose  1:5.3, Ensure that declarations are in the allowed ordering

 ** @verdict  pass reject

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

module Sem_0503_Ordering_003 {

module NegSem_0503_Ordering_002 {



type component GeneralComp {	    	    

    var integer vc_component := 0;
@@ -15,7 +15,7 @@ function f_function() runs on GeneralComp { 
    var integer v_function := 0;

}		



testcase TC_Sem_0503_Ordering_003() runs on GeneralComp  {

testcase TC_NegSem_0503_Ordering_002() runs on GeneralComp  {

    if(true) {

     var integer v_statement := 0;

     if (v_statement == 0) {
@@ -29,7 +29,7 @@ testcase TC_Sem_0503_Ordering_003() runs on GeneralComp { 


control {

    var integer v_control := 0;

    execute(TC_Sem_0503_Ordering_003());

    execute(TC_NegSem_0503_Ordering_002());

}



}