Commit 8c19a303 authored by stancakapost's avatar stancakapost
Browse files

infinity

parent 1607ed56

06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010203_ranges/NegSem_06010203_Ranges_002.ttcn

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

 ** @author   STF 409

 ** @version  $Rev:  $

 ** @purpose  1:6.1.2.2, Assign invalid values to restricted integer.

 ** @verdict  pass reject

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

module NegSem_06010203_Ranges_002 {

	type integer MyIntegerRange (-infinity .. 0);

    

    type component GeneralComp {}

    

    testcase TC_NegSem_06010203_Ranges_002() runs on GeneralComp {

        var MyIntegerRange v_i := 1;

		setverdict(pass);

    }

    

    control{

        execute(TC_NegSem_06010203_Ranges_002());

    }

}
 
 No newline at end of file

06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010203_ranges/Sem_06010203_Ranges_002.ttcn

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

 ** @author   STF 409

 ** @version  $Rev:  $

 ** @purpose  1:6.1.2.3, Assign values to infinity range restricted integer.

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Sem_06010203_Ranges_002 {

    type integer MyIntegerRange1 (-infinity .. 0);

    type integer MyIntegerRange2 (0 .. infinity);

    

    type component GeneralComp {}

    

    testcase TC_Sem_06010203_Ranges_002() runs on GeneralComp {

        var MyIntegerRange1 v_i1;

        v_i1 := 0;

        v_i1 := -100;

        v_i1 := -200000;

        var MyIntegerRange2 v_i2;

        v_i2 := 0;

        v_i2 := 100;

        v_i2 := 200000;

		setverdict(pass);

    }

    

    control{

        execute(TC_Sem_06010203_Ranges_002());

    }

}
 
 No newline at end of file