Commit c44136d5 authored by Matthias Simon's avatar Matthias Simon
Browse files

Merge branch 'v15-unvalidated-fokus' into 'v15-unvalidated' 

V15 unvalidated Fokus

See merge request !3
parents 912489ad 62cfd02b

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/1902_if_else_statement/Sem_1902_if_else_statement_003.ttcn

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

 ** @author   TTF T023

 ** @version  0.0.1

 ** @purpose  1:19.2, Ensure that the IUT properly evaluates init statement within conditions of if-else statements

 ** @verdict  pass  accept, ttcn3verdict:pass

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

module Sem_1902_if_else_statement_002 {



type component GeneralComp {

}



testcase TC_Sem_1902_if_else_statement_003 () runs on GeneralComp{



 if (var integer v_i:=1; match(v_i, 2) ) { // use of init statement

   setverdict(fail);

 }

 else if(match(v_i, 1)) { setverdict(pass) };  //else if shorthand notation

}





control{



    execute(TC_Sem_1902_if_else_statement_003());



}



}

ATS/core_language/19_basic_program_statements/1903_select_statements/190301_select_case_statement/Sem_190301_select_union_statement_008.ttcn

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

 ** @author   TTF T023

 ** @version  0.0.1

 ** @purpose  1:19.3, Ensure that the IUT properly evaluates init statement within select-case statements

 ** @verdict  pass  accept, ttcn3verdict:pass

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

module Sem_190301_select_case_statement_008 {



type component GeneralComp {

}



testcase TC_Sem_190301_select_case_statement_008 () runs on GeneralComp{

 



 select (var integer v_i:=2; v_i) {

  case(1) {

   setverdict(fail);

  }

  case(2) {

   setverdict(pass);

  }

  case(3) {

   setverdict(fail);

  }

  case else {

   setverdict(fail);

  }

 }

}





control{



    execute(TC_Sem_190301_select_case_statement_008());



}



}