Commit 6684d446 authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent fd93f95c

07_expressions/0701_operators/070101_arithmetic_operators/TODO

0 → 100644
+2 −0
Original line number Diff line number Diff line 
operator precedence not yet part of the tests.

no negative tests.
 
 No newline at end of file

07_expressions/0701_operators/070102_list_operator/Sem_070102_ListOperator_001.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 12 $

 ** @purpose  1:7.1.2, Ensure that the list operator on bitstrings 

 **           is evaluated correctly.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_070102_ListOperator_001 {



type component GeneralComp {	    	    

}



testcase TC_Sem_070102_ListOperator_001() runs on GeneralComp {

	var bitstring v_result := '1111'B & '0000'B & '1111'B;	

	if (v_result == '111100001111'B) {

		setverdict(pass);

	} else {

		setverdict(false);

	}

}			



control{

    execute(TC_Sem_070102_ListOperator_001());

}



}

07_expressions/0701_operators/070102_list_operator/Sem_070102_ListOperator_002.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 12 $

 ** @purpose  1:7.1.2, Ensure that the list operator on charstrings 

 **           is evaluated correctly.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_070102_ListOperator_002 {



type component GeneralComp {	    	    

}



testcase TC_Sem_070102_ListOperator_002() runs on GeneralComp {

	var charstring v_result := "Hello"  & " " & "World!";	

	if (v_result == "Hello World!") {

		setverdict(pass);

	} else {

		setverdict(false);

	}

}			



control{

    execute(TC_Sem_070102_ListOperator_002());

}



}
 
 No newline at end of file

07_expressions/0701_operators/070102_list_operator/Sem_070102_ListOperator_003.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 12 $

 ** @purpose  1:7.1.2, Ensure that the list operator on record of 

 **           is evaluated correctly.

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Sem_070102_ListOperator_003 {



type component GeneralComp {	    	    

}



type record of integer IntegerArray;



testcase TC_Sem_070102_ListOperator_003() runs on GeneralComp {

	var IntegerArray v_i := {0, 1, 2};

	var IntegerArray v_j := {3, 4, 5};



	var IntegerArray v_result := v_i & v_j;	

	var IntegerArray v_reference := {0, 1, 2, 3, 4, 5};

	if (v_result == v_reference) {

		setverdict(pass);

	} else {

		setverdict(false);

	}

}			



control{

    execute(TC_Sem_070102_ListOperator_003());

}



}

07_expressions/0701_operators/070102_list_operator/Sem_070102_ListOperator_004.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 12 $

 ** @purpose  1:7.1.2, Ensure that the list operator on set of 

 **           is evaluated correctly.

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Sem_070102_ListOperator_004 {



type component GeneralComp {	    	    

}



type set of integer IntegerSet;



testcase TC_Sem_070102_ListOperator_004() runs on GeneralComp {

	var IntegerSet v_i := {0, 1, 6};

	var IntegerSet v_j := {2, 4, 7};



	var IntegerSet v_result := v_i & v_j;	

	var IntegerSet v_reference := {7, 2, 1, 0, 4, 6};

	if (v_result == v_reference) {

		setverdict(pass);

	} else {

		setverdict(false);

	}

}			



control{

    execute(TC_Sem_070102_ListOperator_004());

}



}