Commit 34a97496 authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent 446522e0

07_expressions/0701_operators/070103_relational_operators/Sem_070103_RelationalOperators_001.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 equals operator on integers 

 **           is evaluated correctly.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_070103_RelationalOperator_001 {



type component GeneralComp {	    	    

}



testcase TC_Sem_070103_RelationalOperator_001() runs on GeneralComp {

	if (2 == 2) {

		setverdict(pass);

	} else {

		setverdict(false);

	}

}



control{

    execute(TC_Sem_070103_RelationalOperator_001());

}



}

07_expressions/0701_operators/070103_relational_operators/Sem_070103_RelationalOperators_002.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 equals operator on floats 

 **           is evaluated correctly.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_070103_RelationalOperator_002 {



type component GeneralComp {	    	    

}



testcase TC_Sem_070103_RelationalOperator_002() runs on GeneralComp {

	if (2.0 == 2.0) {

		setverdict(pass);

	} else {

		setverdict(false);

	}

}



control{

    execute(TC_Sem_070103_RelationalOperator_002());

}



}

07_expressions/0701_operators/070103_relational_operators/Sem_070103_RelationalOperators_003.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 equals operator on enumerations 

 **           is evaluated correctly.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_070103_RelationalOperator_003 {



type component GeneralComp {	    	    

}



type enumerated MyEnumType { 

	Monday, Tuesday, Wednesday, Thursday, Friday

};



testcase TC_Sem_070103_RelationalOperator_003() runs on GeneralComp {

	var MyEnumType v_first := Monday;

	var MyEnumType v_reference := Monday;



	if (v_first == v_reference) {

		setverdict(pass);

	} else {

		setverdict(false);

	}

}



control{

    execute(TC_Sem_070103_RelationalOperator_003());

}



}

07_expressions/0701_operators/070103_relational_operators/Sem_070103_RelationalOperators_004.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 integers 

 **           is evaluated correctly.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_070103_RelationalOperator_004 {



type component GeneralComp {	    	    

}



testcase TC_Sem_070103_RelationalOperator_004() runs on GeneralComp {

	if (2 < 3) {

		setverdict(pass);

	} else {

		setverdict(false);

	}

}



control{

    execute(TC_Sem_070103_RelationalOperator_004());

}



}

07_expressions/0701_operators/070103_relational_operators/Sem_070103_RelationalOperators_005.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_005 {



type component GeneralComp {	    	    

}



testcase TC_Sem_070103_RelationalOperator_005() runs on GeneralComp {

	if (2.3 < 2.452) {

		setverdict(pass);

	} else {

		setverdict(false);

	}

}



control{

    execute(TC_Sem_070103_RelationalOperator_005());

}



}