100 lines
3.5 KiB
Plaintext
100 lines
3.5 KiB
Plaintext
/******************************************************************************
|
|
* 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";
|
|
}
|