Commit 620d2972 authored by Axel Rennoch's avatar Axel Rennoch
Browse files

Aktualisieren... 

Aktualisieren ATS/core_language/19_basic_program_statements/1901_assignments/190102_shorthand_assignments/Sem_190102_shorthand_increment.ttcn, ATS/core_language/19_basic_program_statements/1901_assignments/190102_shorthand_assignments/Sem_190102_shorthand_decrement.ttcn, ATS/core_language/19_basic_program_statements/1901_assignments/190102_shorthand_assignments/NegSem_190102_shorthand_increment.ttcn, ATS/core_language/19_basic_program_statements/1904_for_statement/190402_range_based_loop/Sem_190402_range_based_loop_001.ttcn
parent 8c3ac5b2

ATS/core_language/19_basic_program_statements/1901_assignments/190102_shorthand_assignments/NegSem_190102_shorthand_increment.ttcn

0 → 100644
+25 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 423

 ** @version  0.0.1

 ** @purpose  1:19.1.2, Ensure that the IUT properly evaluates shorthand assignment statements

 ** @verdict  pass  reject

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

module NegSem_190102_shorthand_increment {



type component GeneralComp {

}



testcase TC_NegSem_190102_shorthand_increment () runs on GeneralComp system GeneralComp {

 var float v_f;



 v_f++;	//ahorthand assignment of non-integer variable



}



control{



    execute(TC_NegSem_190102_shorthand_increment());



}



}

ATS/core_language/19_basic_program_statements/1901_assignments/190102_shorthand_assignments/Sem_190102_shorthand_decrement.ttcn

0 → 100644
+31 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 423

 ** @version  0.0.1

 ** @purpose  1:19.1.2, Ensure that the IUT properly evaluates shorthand decrement assignment statements

 ** @verdict  pass  accept, ttcn3verdict:pass

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

module Sem_190102_shorthand_decrement {



type component GeneralComp {

}



testcase TC_Sem_190102_shorthand_decrement () runs on GeneralComp system GeneralComp {

 var integer v_i := 1;

 v_i--;	//use of shorthand decrement



 if ( v_i==0 ) {

  setverdict(pass);

 }

 else {

  setverdict(fail);

 }

}





control{



    execute(TC_Sem_190102_shorthand_decrement());



}



}

ATS/core_language/19_basic_program_statements/1901_assignments/190102_shorthand_assignments/Sem_190102_shorthand_increment.ttcn

0 → 100644
+31 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 423

 ** @version  0.0.1

 ** @purpose  1:19.1.2, Ensure that the IUT properly evaluates shorthand increment assignment statements

 ** @verdict  pass  accept, ttcn3verdict:pass

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

module Sem_190102_shorthand_increment {



type component GeneralComp {

}



testcase TC_Sem_190102_shorthand_increment () runs on GeneralComp system GeneralComp {

 var integer v_i := 1;

 v_i++;	//use of shorthand increment



 if ( v_i==2 ) {

  setverdict(pass);

 }

 else {

  setverdict(fail);

 }

}





control{



    execute(TC_Sem_190102_shorthand_increment());



}



}

ATS/core_language/19_basic_program_statements/1904_for_statement/190402_range_based_loop/Sem_190402_range_based_loop_001.ttcn

0 → 100644
+34 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 423

 ** @version  0.0.1

 ** @purpose  1:19.4.2, Ensure that the IUT properly evaluates range-based loop

 ** @verdict  pass  accept, ttcn3verdict:pass

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

module Sem_190402_range_based_loop_001 {



type component GeneralComp {

}



testcase TC_Sem_190402_range_based_loop_001 () runs on GeneralComp system GeneralComp {

 var integer v_i, v_e := 0;



 for (v_i in {1, 2, 3}) {

 	v_e := v_e + v_i;

 }



 if ( v_i==6 ) {

  setverdict(pass);

 }

 else {

  setverdict(fail);

 }

}





control{



    execute(TC_Sem_190402_range_based_loop_001());



}



}