| /****************************************************************************** |
| * Copyright (c) 2004, 2014 Ericsson AB |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v1.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v10.html |
| * |
| * Contributors: |
| * Zoltan Jasz - initial implementation and initial documentation |
| * Abhishek Gupta |
| * Attila Balasko |
| * Endre Kulcsar |
| * Gabor Bettesch |
| * Gabor Szalai |
| * Janos Kovesdi |
| * Sandor Palugyai |
| * Tibor Csondes |
| ******************************************************************************/ |
| // |
| // File: UsefulTtcn3Types.ttcn |
| // Rev: R9A |
| // Prodnr: CNL 113 368 |
| // |
| //////////////////////////////////////////////////////////////////////////////// |
| module UsefulTtcn3Types { |
| |
| |
| type integer byte (-128 .. 127) with { variant "/* 8 bit */" }; |
| |
| type integer unsignedbyte (0 .. 255) with { variant "/*unsigned 8 bit*/" }; |
| |
| type integer short (-32768 .. 32767) with { variant "/*16 bit*/" }; |
| |
| type integer unsignedshort (0 .. 65535) with { variant "/*unsigned 16 bit*/" }; |
| |
| type integer long (-2147483648 .. 2147483647) with { variant "/*32 bit*/" }; |
| |
| type integer unsignedlong (0 .. 4294967295) with { variant "/*unsigned 32 bit*/" }; |
| |
| type integer longlong /* ( -9223372036854775808 .. 9223372036854775807 ) */ with { variant "/*64 bit*/" }; |
| |
| type integer unsignedlonglong /* ( 0 .. 18446744073709551615 ) */ with { variant "/*unsigned 64 bit*/" }; |
| |
| type float IEEE754float with { variant "/*IEEE754 float*/" }; |
| |
| type float IEEE754double with { variant "/*IEEE754 double*/" }; |
| |
| type float IEEE754extfloat with { variant "/*IEEE754 extended float*/" }; |
| |
| type float IEEE754extdouble with { variant "/*IEEE754 extended double*/" }; |
| |
| type universal charstring utf8string with { variant "/*UTF-8*/" }; |
| |
| type universal charstring bmpstring ( char ( 0,0,0,0 ) .. char ( 0,0,255,255) ) with { variant "/*UCS-2*/" }; |
| |
| type universal charstring utf16string ( char ( 0,0,0,0 ) .. char ( 0,16,255,255) ) with { variant "/*UTF-16*/" }; |
| |
| type universal charstring iso8859string ( char ( 0,0,0,0 ) .. char ( 0,0,0,255) ) with { variant "/*8 bit*/" }; |
| |
| type record IDLfixed |
| { |
| unsignedshort digits, |
| short scale, |
| charstring value_ |
| } |
| with { |
| variant "/*IDL:fixed FORMAL/01-12-01 v.2.6*/"; |
| }; |
| |
| /* |
| type charstring char length (1); |
| |
| NOTE 1: The name of this useful type is the same as the TTCN-3 keyword used to denote universal |
| charstring values in the quadraple form. In general it is disallowed to use TTCN-3 keywords as |
| identifiers. The "char" useful type is a solitary exception and allowed only for backward compatibility |
| with previous versions of the TTCN-3 standard. (except Titan doesn't) |
| |
| NOTE 2: The special string "8 bit" defined in clause 28.2.3 may be used with this type to specify a given encoding |
| for its values. Also, other properties of the base type can be changed by using attribute mechanisms. |
| */ |
| |
| type universal charstring uchar length (1); |
| |
| /* |
| NOTE: Special strings defined in clause 28.2.3 except "8 bit" may be used with this type to specify a given |
| encoding for its values. Also, other properties of the base type can be changed by using attribute |
| mechanisms. |
| */ |
| |
| type bitstring bit length (1); |
| |
| type hexstring hex length (1); |
| |
| type octetstring octet length (1); |
| |
| } |
| with { |
| encode "XML"; |
| } |