Commit 56370e62 authored by stancakapost's avatar stancakapost
Browse files

No commit message 

No commit message
parent d781c624

06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010201_lists_of_values/NegSem_06010201_ListOfValues_001.ttcn

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

 ** @author   STF 409

 ** @version  $Rev:  $

 ** @purpose  1:6.1.2.1, Assign values to restricted bitstring.

 ** @verdict  pass reject

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

module NegSem_06010201_ListOfValues_001 {

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



    type component GeneralComp {}

    

    testcase TC_NegSem_06010201_ListOfValues_001() runs on GeneralComp {

        var MyListOfBitStrings v_b := '00'B;

		setverdict(pass);

    }

    

    control{

        execute(TC_NegSem_06010201_ListOfValues_001());

    }

}
 
 No newline at end of file

06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010201_lists_of_values/NegSem_06010201_ListOfValues_002.ttcn

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

 ** @author   STF 409

 ** @version  $Rev:  $

 ** @purpose  1:6.1.2.1, Assign values to restricted hexstring.

 ** @verdict  pass reject

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

module NegSem_06010201_ListOfValues_002 {

    type hexstring MyListOfHexStrings ('01'H, '10'H);



    type component GeneralComp {}

    

    testcase TC_NegSem_06010201_ListOfValues_002() runs on GeneralComp {

        var MyListOfHexStrings v_h := '00'H;

		setverdict(pass);

    }

    

    control{

        execute(TC_NegSem_06010201_ListOfValues_002());

    }

}
 
 No newline at end of file

06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010201_lists_of_values/NegSem_06010201_ListOfValues_003.ttcn

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

 ** @author   STF 409

 ** @version  $Rev:  $

 ** @purpose  1:6.1.2.1, Assign values to restricted octetstring.

 ** @verdict  pass reject

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

module NegSem_06010201_ListOfValues_003 {

    type octetstring MyListOfOctetStrings ('01'O, '10'O);



    type component GeneralComp {}

    

    testcase TC_NegSem_06010201_ListOfValues_003() runs on GeneralComp {

        var MyListOfOctetStrings v_h := '00'O;

        setverdict(pass);

    }

    

    control{

        execute(TC_NegSem_06010201_ListOfValues_003());

    }

}
 
 No newline at end of file

06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010201_lists_of_values/NegSem_06010201_ListOfValues_004.ttcn

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

 ** @author   STF 409

 ** @version  $Rev:  $

 ** @purpose  1:6.1.2.1, Assign values to restricted bitstring.

 ** @verdict  pass reject

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

module NegSem_06010201_ListOfValues_004 {

    type charstring MyCharstr ("a", "abc");



    type component GeneralComp {}

    

    testcase TC_NegSem_06010201_ListOfValues_004() runs on GeneralComp {

        var MyCharstr v_b := "d";

		setverdict(pass);

    }

    

    control{

        execute(TC_NegSem_06010201_ListOfValues_004());

    }

}
 
 No newline at end of file

06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010201_lists_of_values/NegSem_06010201_ListOfValues_005.ttcn

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

 ** @author   STF 409

 ** @version  $Rev:  $

 ** @purpose  1:6.1.2.1, Assign values to restricted bitstring.

 ** @verdict  pass reject

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

module NegSem_06010201_ListOfValues_005 {

    type integer MyInt (1, 5);



    type component GeneralComp {}

    

    testcase TC_NegSem_06010201_ListOfValues_005() runs on GeneralComp {

        var MyInt v_i := 2;

        setverdict(pass);

    }

    

    control{

        execute(TC_NegSem_06010201_ListOfValues_005());

    }

}
 
 No newline at end of file