Commit | Line | Data |
---|---|---|
114d1c9a | 1 | /****************************************************************************** |
3abe9331 | 2 | * Copyright (c) 2000-2015 Ericsson Telecom AB |
114d1c9a EL |
3 | * All rights reserved. This program and the accompanying materials |
4 | * are made available under the terms of the Eclipse Public License v1.0 | |
5 | * which accompanies this distribution, and is available at | |
6 | * http://www.eclipse.org/legal/epl-v10.html | |
7 | ******************************************************************************/ | |
8 | module usenil_not_attr_SE { //^In TTCN-3 module `usenil_not_attr_SE':// | |
9 | ||
10 | /* | |
11 | 33.2.1 The USE-NIL ... All the other components of the sequence type, if any, | |
12 | shall have a final ATTRIBUTE or ANY-ATTRIBUTES encoding instruction, or shall be the sequence-of components | |
13 | supporting a USE-ORDER or an EMBED-VALUES encoding instruction that are also final encoding instructions on the | |
14 | sequence type. | |
15 | */ | |
16 | ||
17 | type record UN { //^In type definition// | |
18 | integer i, //^error: Component 'i' of USE-NIL not ATTRIBUTE// | |
19 | boolean b, /* only the first such error is reported */ | |
20 | charstring last optional | |
21 | } | |
22 | with { | |
23 | variant "useNil"; | |
24 | } | |
25 | ||
26 | type record UN2 { //^In type definition// | |
27 | integer i, | |
28 | boolean b, //^error: Component 'b' of USE-NIL not ATTRIBUTE// | |
29 | charstring last optional | |
30 | } | |
31 | with { | |
32 | variant "useNil"; | |
33 | variant (i) "attribute" | |
34 | } | |
35 | ||
36 | type record UN3 { //^In type definition// | |
37 | record of universal charstring aa, /* A-A is as good as ATTRIBUTE */ | |
38 | boolean b, //^error: Component 'b' of USE-NIL not ATTRIBUTE// | |
39 | charstring last optional | |
40 | } | |
41 | with { | |
42 | variant "useNil"; | |
43 | variant (aa) "anyAttributes" | |
44 | } | |
45 | ||
46 | ||
47 | ||
48 | } | |
49 | with { | |
50 | encode "XML"; | |
51 | variant "controlNamespace 'urn:a' prefix 'u'" | |
52 | } |