Commit 6e6198c0 authored by kovacsa's avatar kovacsa
Browse files

Chapter 6.3 update

parent e12eb688

06_types_and_values/0603_type_compatibility/060301_non-structured_types/NegSem_060301_non_structured_types_001.ttcn

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

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:6.3, Ensure that the IUT correctly handles assignments from incompatible type ranges 

 ** @verdict  pass reject

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



module NegSem_060301_non_structured_types_001 { 

    type integer ConstrainedInt(1..10);



type component GeneralComp {	    	    

}	



testcase TC_NegSem_060301_non_structured_types_001() runs on GeneralComp {



    var integer v_int:=15;

    var ConstrainedInt v_constrainedInt;

    

    

    v_constrainedInt:=v_int;



}



control{

    execute(TC_NegSem_060301_non_structured_types_001());

}



}

06_types_and_values/0603_type_compatibility/060301_non-structured_types/NegSem_060301_non_structured_types_002.ttcn

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

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:6.3, Ensure that the IUT correctly handles assignments from incompatible type ranges 

 ** @verdict  pass reject

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



module NegSem_060301_non_structured_types_002 { 

    type float ConstrainedFloat(1.0 .. 1E1);



type component GeneralComp {	    	    

}	



testcase TC_NegSem_060301_non_structured_types_002() runs on GeneralComp {



    var integer v_float:=15.0;

    var ConstrainedFloat v_constrainedFloat;

    

    

    v_constrainedFloat:=v_float;



}



control{

    execute(TC_NegSem_060301_non_structured_types_002());

}



}

06_types_and_values/0603_type_compatibility/060301_non-structured_types/NegSem_060301_non_structured_types_003.ttcn

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

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:6.3, Ensure that the IUT correctly handles assignments from incompatible type ranges 

 ** @verdict  pass reject

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



module NegSem_060301_non_structured_types_003 { 

    type charstring ConstrainedChar ("a" .. "z");



type component GeneralComp {	    	    

}	



testcase TC_NegSem_060301_non_structured_types_003() runs on GeneralComp {



    var charstring v_char := "j5l"; 

    var ConstrainedChar v_constrainedChar;

    

    v_constrainedChar:=v_char;



}



control{

    execute(TC_NegSem_060301_non_structured_types_003());

}



}

06_types_and_values/0603_type_compatibility/060301_non-structured_types/NegSem_060301_non_structured_types_004.ttcn

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

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:6.3, Ensure that the IUT correctly handles assignments from incompatible type ranges 

 ** @verdict  pass reject

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



module NegSem_060301_non_structured_types_004 { 

    type universal charstring ConstrainedUChar (char(0, 0, 1, 111) .. char(0, 0, 1, 113));



type component GeneralComp {	    	    

}	



testcase TC_NegSem_060301_non_structured_types_004() runs on GeneralComp {



    var universal charstring v_uChar := char(0, 0, 1, 122);

    var ConstrainedUChar v_constrainedUChar;

    

    

    v_constrainedUChar:=v_uChar;



}



control{

    execute(TC_NegSem_060301_non_structured_types_004());

}



}

06_types_and_values/0603_type_compatibility/060301_non-structured_types/NegSem_060301_non_structured_types_005.ttcn

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

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:6.3, Ensure that the IUT correctly handles assignments from incompatible type ranges 

 ** @verdict  pass reject

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



module NegSem_060301_non_structured_types_005 { 

    type bitstring ConstrainedBitString ('01'B, '10'B, '11'B);



type component GeneralComp {	    	    

}	



testcase TC_NegSem_060301_non_structured_types_005() runs on GeneralComp {



    var bitstring v_bitstr := '00'B; 

    var ConstrainedBitString v_constrainedBitstr;

    

    

    v_constrainedBitstr:=v_bitstr;



}



control{

    execute(TC_NegSem_060301_non_structured_types_005());

}



}