Commit dc16867d authored by garciay's avatar garciay
Browse files

TTCN-3 typing for Draft ETSI TS 103 097 V1.1.6 Clause 4 and 5

parent e08b99d7

ttcn/LibCommon_BasicTypesAndValues.ttcn

+2 −0
Original line number Original line Diff line number Diff line
@@ -53,6 +53,7 @@ 
    const integer c_uInt36Max := 68719476735;

    const integer c_uInt36Max := 68719476735;

    const integer c_uInt48Max := 281474976710655;

    const integer c_uInt48Max := 281474976710655;

    const integer c_uInt52Max := 4503599627370495;

    const integer c_uInt52Max := 4503599627370495;

    const integer c_uInt64Max := 18446744073709551615;





    type integer  UInt  (0 .. infinity);

    type integer  UInt  (0 .. infinity);

    type integer  UInt1 (0 .. c_uInt1Max) with {variant "unsigned 1 bit"};

    type integer  UInt1 (0 .. c_uInt1Max) with {variant "unsigned 1 bit"};
@@ -90,6 +91,7 @@ 
    type integer  UInt36 (0 .. c_uInt36Max) with {variant "unsigned 36 bit"};

    type integer  UInt36 (0 .. c_uInt36Max) with {variant "unsigned 36 bit"};

    type integer  UInt48 (0 .. c_uInt48Max) with {variant "unsigned 48 bit"};

    type integer  UInt48 (0 .. c_uInt48Max) with {variant "unsigned 48 bit"};

    type integer  UInt52 (0 .. c_uInt52Max) with {variant "unsigned 52 bit"};

    type integer  UInt52 (0 .. c_uInt52Max) with {variant "unsigned 52 bit"};

    type integer  UInt64 (0 .. c_uInt64Max) with {variant "unsigned 64 bit"};

    

    

  } // end group unsignedIntegerDefintions

  } // end group unsignedIntegerDefintions