Commit 83a3de3d authored by stancakapost's avatar stancakapost
Browse files

No commit message 

No commit message
parent b068518d

06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010202_lists_of_types/NegSem_06010202_ListOfTypes_001.ttcn

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

 ** @author   STF 409

 ** @version  $Rev:  $

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

 ** @verdict  pass reject

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

module NegSem_06010202_ListOfTypes_001 {

    type bitstring BitStrings1 ('0'B, '1'B );

    type bitstring BitStrings2 ('00'B, '01'B, '10'B, '10'B);

    type bitstring BitStrings_1_2 (Bitstrings1, Bitstrings2);

    

    type component GeneralComp {}

    

    testcase TC_NegSem_06010202_ListOfTypes_001() runs on GeneralComp {

        var BitStrings_1_2 v_b := '11'B;

		setverdict(pass);

    }

    

    control{

        execute(TC_NegSem_06010202_ListOfTypes_001());

    }

}
 
 No newline at end of file

06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010202_lists_of_types/Sem_06010202_ListOfTypes_001.ttcn

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

 ** @author   STF 409

 ** @version  $Rev:  $

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

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Sem_06010202_ListOfTypes_001 {

    type bitstring BitStrings1 ('0'B, '1'B );

    type bitstring BitStrings2 ('00'B, '01'B, '10'B, '10'B);

    type bitstring BitStrings_1_2 (Bitstrings1, Bitstrings2);

    

    type component GeneralComp {}

    

    testcase TC_Sem_06010202_ListOfTypes_001() runs on GeneralComp {

        var BitStrings_1_2 v_b;

        v_b := '10'B;

        v_b := '1'B;

		setverdict(pass);

    }

    

    control{

        execute(TC_Sem_06010202_ListOfTypes_001());

    }

}
 
 No newline at end of file

06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010202_lists_of_types/TODO

0 → 100644
+1 −0
Original line number Diff line number Diff line 
- missing positive and negative semantic tests for all types except bitstring