Commit e8569384 authored by stancakapost's avatar stancakapost
Browse files

No commit message 

No commit message
parent 5bada7ff

06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020601_mixing_patterns_lists_and_ranges/NegSem_0601020601_MixingSubtype_001.ttcn

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

 ** @author   STF 409

 ** @version  $Rev:  $

 ** @purpose  1:6.1.2.6.1, Assign invalid values to mixed restricted floats.

 ** @verdict  pass reject

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

module NegSem_0601020601_MixingSubtype_001 {

    type float lessThanPiAndNaN (-infinity .. 3142E-3, not_a_number);

    

    type component GeneralComp {}

    

    testcase TC_NegSem_0601020601_MixingSubtype_001() runs on GeneralComp {

        var lessThanPiAndNaN v_f := 4.0; // value out of range

		setverdict(pass);

    }

    

    control{

        execute(TC_NegSem_0601020601_MixingSubtype_001());

    }

}
 
 No newline at end of file

06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020601_mixing_patterns_lists_and_ranges/NegSem_0601020601_MixingSubtype_002.ttcn

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

 ** @author   STF 409

 ** @version  $Rev:  $

 ** @purpose  1:6.1.2.6.1, Assign invalid values to mixed restricted floats.

 ** @verdict  pass reject

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

module NegSem_0601020601_MixingSubtype_002 {

    type integer MyInt (1, 5, 10, 100 .. infinity);

    

    type component GeneralComp {}

    

    testcase TC_NegSem_0601020601_MixingSubtype_002() runs on GeneralComp {

        var MyInt v_i := 6; // value out of range

		setverdict(pass);

    }

    

    control{

        execute(TC_NegSem_0601020601_MixingSubtype_002());

    }

}
 
 No newline at end of file

06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020601_mixing_patterns_lists_and_ranges/Sem_0601020601_MixingSubtype_001.ttcn

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

 ** @author   STF 409

 ** @version  $Rev:  $

 ** @purpose  1:6.1.2.6.1, Assign values to mixed restricted floats.

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Sem_0601020601_MixingSubtype_001 {

    type float lessThanPiAndNaN (-infinity .. 3142E-3, not_a_number);



    type component GeneralComp {}

    

    testcase TC_Sem_0601020601_MixingSubtype_001() runs on GeneralComp {

        var lessThanPiAndNaN v_f;

        v_f := 3.14E0;

        v_f := 0;

        v_f := -4E40;

        v_f := not_a_number

		setverdict(pass);

    }

    

    control{

        execute(TC_Sem_0601020601_MixingSubtype_001());

    }

}
 
 No newline at end of file

06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020601_mixing_patterns_lists_and_ranges/Sem_0601020601_MixingSubtype_002.ttcn

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

 ** @author   STF 409

 ** @version  $Rev:  $

 ** @purpose  1:6.1.2.6.1, Assign values to mixed restricted floats.

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Sem_0601020601_MixingSubtype_002 {

    type integer MyInt (1, 5, 10, 100 .. infinity);



    type component GeneralComp {}

    

    testcase TC_Sem_0601020601_MixingSubtype_002() runs on GeneralComp {

        var MyInt v_i;

        v_i := 1;

        v_i := 5;

        v_i := 10;

        v_i := 100;

        v_i := 1000;

		setverdict(pass);

    }

    

    control{

        execute(TC_Sem_0601020601_MixingSubtype_002());

    }

}
 
 No newline at end of file