Commit a5e07149 authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent 34a97496

07_expressions/0701_operators/070103_relational_operators/Sem_070103_RelationalOperators_013.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 12 $

 ** @purpose  1:7.1.3, Ensure that the greater than operator on integers 

 **           is evaluated correctly.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_070103_RelationalOperator_013 {



type component GeneralComp {	    	    

}



testcase TC_Sem_070103_RelationalOperator_013() runs on GeneralComp {

	if (3 > 2) {

		setverdict(pass);

	} else {

		setverdict(false);

	}

}



control{

    execute(TC_Sem_070103_RelationalOperator_013());

}



}

07_expressions/0701_operators/070103_relational_operators/Sem_070103_RelationalOperators_014.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 12 $

 ** @purpose  1:7.1.3, Ensure that the less than operator on floats 

 **           is evaluated correctly.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_070103_RelationalOperator_014 {



type component GeneralComp {	    	    

}



testcase TC_Sem_070103_RelationalOperator_014() runs on GeneralComp {

	if (2.452 > 2.3) {

		setverdict(pass);

	} else {

		setverdict(false);

	}

}



control{

    execute(TC_Sem_070103_RelationalOperator_014());

}



}

07_expressions/0701_operators/070103_relational_operators/Sem_070103_RelationalOperators_015.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 12 $

 ** @purpose  1:7.1.3, Ensure that the less than operator on enumerations 

 **           is evaluated correctly.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_070103_RelationalOperator_015 {



type component GeneralComp {	    	    

}



type enumerated MyEnumType { 

	Monday, Tuesday, Wednesday, Thursday, Friday

};



testcase TC_Sem_070103_RelationalOperator_015() runs on GeneralComp {

	var MyEnumType v_first := Monday;

	var MyEnumType v_second := Tuesday;



	if (v_second > v_first) {

		setverdict(pass);

	} else {

		setverdict(false);

	}

}



control{

    execute(TC_Sem_070103_RelationalOperator_015());

}



}

07_expressions/0701_operators/070103_relational_operators/Sem_070103_RelationalOperators_016.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 12 $

 ** @purpose  1:7.1.3, Ensure that the greater than or equal to 

 **           operator on integers is evaluated correctly with

 **           differing values.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_070103_RelationalOperator_016 {



type component GeneralComp {	    	    

}



testcase TC_Sem_070103_RelationalOperator_016() runs on GeneralComp {

	if (3 >= 2) {

		setverdict(pass);

	} else {

		setverdict(false);

	}

}



control{

    execute(TC_Sem_070103_RelationalOperator_016());

}



}

07_expressions/0701_operators/070103_relational_operators/Sem_070103_RelationalOperators_017.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 12 $

 ** @purpose  1:7.1.3, Ensure that the greater than or equal to 

 **           operator on integers is evaluated correctly with

 **           equal values.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_070103_RelationalOperator_017 {



type component GeneralComp {	    	    

}



testcase TC_Sem_070103_RelationalOperator_017() runs on GeneralComp {

	if (2 >= 2) {

		setverdict(pass);

	} else {

		setverdict(false);

	}

}



control{

    execute(TC_Sem_070103_RelationalOperator_017());

}



}