1 | module XSDAUX language "TTCN-3:2005"{//MRO
|
---|
2 | /* 0.anySimpleType */
|
---|
3 | type anytype anySimpleType;
|
---|
4 |
|
---|
5 | /* 1.string */
|
---|
6 | type charstring string;
|
---|
7 |
|
---|
8 | /* 2.boolean */
|
---|
9 | type integer bitXSD (1, 0) ;
|
---|
10 |
|
---|
11 | type union booleanXSD {
|
---|
12 | bitXSD bit, boolean bool
|
---|
13 | }
|
---|
14 |
|
---|
15 | /* 3.decimal */
|
---|
16 | type float decimal;
|
---|
17 |
|
---|
18 | /* 4.float */
|
---|
19 | type float floatXSD;
|
---|
20 |
|
---|
21 | /* 5.double */
|
---|
22 | type float double;
|
---|
23 |
|
---|
24 | /* 6.duration */
|
---|
25 | type charstring duration;
|
---|
26 |
|
---|
27 | /* 7.dateTime */
|
---|
28 | type charstring dateTime;
|
---|
29 |
|
---|
30 | /* 8.time */
|
---|
31 | type charstring time;
|
---|
32 |
|
---|
33 | /* 9.date */
|
---|
34 | type charstring date;
|
---|
35 |
|
---|
36 | /* 10.gYearMonth */
|
---|
37 | type charstring gYearMonth;
|
---|
38 |
|
---|
39 | /* 11.gYear */
|
---|
40 | type charstring gYear;
|
---|
41 |
|
---|
42 | /* 12.gMonthDay */
|
---|
43 | type charstring gMonthDay;
|
---|
44 |
|
---|
45 | /* 13.gDay */
|
---|
46 | type charstring gDay;
|
---|
47 |
|
---|
48 | /* 14.gMonth */
|
---|
49 | type charstring gMonth;
|
---|
50 |
|
---|
51 | /* 15.hexBinary */
|
---|
52 | type hexstring hexBinary;
|
---|
53 |
|
---|
54 | /* 16.base64Binary */
|
---|
55 | type charstring base64Binary;
|
---|
56 |
|
---|
57 | /* 17.anyURI */
|
---|
58 | type charstring anyURI;
|
---|
59 |
|
---|
60 | /* 18.QName */
|
---|
61 | type charstring QName;
|
---|
62 |
|
---|
63 | /* 19.NOTATION */
|
---|
64 | type charstring NOTATION;
|
---|
65 |
|
---|
66 | /* 20.normalizedString */
|
---|
67 | type charstring normalizedString;
|
---|
68 |
|
---|
69 | /* 21.token */
|
---|
70 | type charstring token;
|
---|
71 |
|
---|
72 | /* 22.language */
|
---|
73 | type charstring languageXSD;
|
---|
74 |
|
---|
75 | /* 23.NMTOKEN */
|
---|
76 | type charstring NMTOKEN;
|
---|
77 |
|
---|
78 | /* 24.NMTOKENS */
|
---|
79 | type set of charstring NMTOKENS;
|
---|
80 |
|
---|
81 | /* 25.Name */
|
---|
82 | type charstring Name;
|
---|
83 |
|
---|
84 | /* 27.NCName */
|
---|
85 | type charstring NCName;
|
---|
86 |
|
---|
87 | /* 28.ID */
|
---|
88 | type charstring ID;
|
---|
89 |
|
---|
90 | /* 29.IDREFS */
|
---|
91 | type set of charstring IDREFS;
|
---|
92 |
|
---|
93 | /* 30.ENTITY */
|
---|
94 | type charstring ENTITY;
|
---|
95 |
|
---|
96 | /* 31.ENTITIES */
|
---|
97 | type set of charstring ENTITIES;
|
---|
98 |
|
---|
99 | /* 32.nonPositiveInteger */
|
---|
100 | type integer nonPositiveInteger (- infinity .. 0) ;
|
---|
101 |
|
---|
102 | /* 33.negativeInteger */
|
---|
103 | type integer negativeInteger (- infinity .. - 1) ;
|
---|
104 |
|
---|
105 | /* 34.long */
|
---|
106 | // type integer long (- 9223372036854775808 .. 9223372036854775807) ;//MRO
|
---|
107 |
|
---|
108 | /* 35.int */
|
---|
109 | type integer int (- 2147483648 .. 2147483647) ;
|
---|
110 |
|
---|
111 | /* 36.short */
|
---|
112 | type integer short (- 32768 .. 32767) ;
|
---|
113 |
|
---|
114 | /* 37.byte */
|
---|
115 | type integer byte (- 128 .. 127) ;
|
---|
116 |
|
---|
117 | /* 38.nonNegativeInteger */
|
---|
118 | type integer nonNegativeInteger (0 .. infinity) ;
|
---|
119 |
|
---|
120 | /* 39.unsignedLong */
|
---|
121 | // type integer unsignedLong (0 .. 18446744073709551615) ;//MRO
|
---|
122 |
|
---|
123 | /* 40.unsignedInt */
|
---|
124 | type integer unsignedInt (0 .. 4294967295) ;
|
---|
125 |
|
---|
126 | /* 41.unsignedShort */
|
---|
127 | type integer unsignedShort (0 .. 65535) ;
|
---|
128 |
|
---|
129 | /* 42.unsignedByte */
|
---|
130 | type integer unsignedByte (0 .. 255) ;
|
---|
131 |
|
---|
132 | /* 43.positiveInteger */
|
---|
133 | type integer positiveInteger (1 .. infinity) ;
|
---|
134 |
|
---|
135 | /* 44.integer */
|
---|
136 | type integer integerXSD;
|
---|
137 |
|
---|
138 | /* 45.anyAttributes */
|
---|
139 | type record of record {
|
---|
140 | charstring name,
|
---|
141 | charstring val
|
---|
142 | } anyAttributes;
|
---|
143 |
|
---|
144 | /* 46. anyType */
|
---|
145 | /**
|
---|
146 | * This is to represent elements without a given type
|
---|
147 | */
|
---|
148 | type record anyType {
|
---|
149 | }
|
---|
150 | } |
---|