Commit | Line | Data |
---|---|---|
114d1c9a | 1 | /****************************************************************************** |
d44e3c4f | 2 | * Copyright (c) 2000-2016 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 | |
d44e3c4f | 7 | * |
8 | * Contributors: | |
9 | * Balasko, Jeno | |
10 | * Raduly, Csaba | |
11 | * | |
114d1c9a EL |
12 | ******************************************************************************/ |
13 | module ae_clash_SE { //^In TTCN-3 module `ae_clash_SE':// | |
14 | /* | |
15 | 19.2.11 A type with this (ANY-ELEMENT) final encoding instruction shall not also have any of the final encoding instructions | |
16 | ATTRIBUTE, BASE64, DEFAULT-FOR-EMPTY, PI-OR-COMMENT, UNTAGGED or WHITESPACE. | |
17 | */ | |
18 | ||
19 | /* Note: do not use more than one regex that can match the same line. | |
20 | E.g. /error:.+ATTRIBUTE/ and /error:.+BASE64/ instead of the long regex | |
21 | */ | |
22 | ||
23 | type universal charstring AE_a //^In type definition// \ | |
24 | //^error: A type with ANY-ELEMENT may not have any of the following encoding instructions: ATTRIBUTE, BASE64, DEFAULT-FOR-EMPTY, PI-OR-COMMENT, UNTAGGED or WHITESPACE// \ | |
25 | //^error: A type with ATTRIBUTE shall not also have any of the final encoding instructions ANY-ELEMENT// | |
26 | with { | |
27 | variant "anyElement" | |
28 | variant "attribute" | |
29 | } | |
30 | ||
31 | type universal charstring AE_b //^In type definition// \ | |
32 | //^error: A type with ANY-ELEMENT may not have any of the following encoding instructions: ATTRIBUTE, BASE64, DEFAULT-FOR-EMPTY, PI-OR-COMMENT, UNTAGGED or WHITESPACE// \ | |
33 | //^error: A type with BASE64 shall not have any of the final encoding instructions ANY-ELEMENT or WHITESPACE// | |
34 | with { | |
35 | variant "anyElement" | |
36 | variant "XSD:base64Binary" | |
37 | } | |
38 | ||
39 | type universal charstring AE_d //^In type definition// \ | |
40 | //^error: A type with ANY-ELEMENT may not have any of the following encoding instructions: ATTRIBUTE, BASE64, DEFAULT-FOR-EMPTY, PI-OR-COMMENT, UNTAGGED or WHITESPACE// \ | |
41 | //^error: A type with DEFAULT-FOR-EMPTY shall not have any of the final encoding instructions ANY-ELEMENT, ATTRIBUTE, UNTAGGED// | |
42 | with { | |
43 | variant "anyElement" | |
44 | variant "defaultForEmpty as 'x'" | |
45 | } | |
46 | ||
47 | type universal charstring AE_u //^In type definition// \ | |
48 | //^error: A type with ANY-ELEMENT may not have any of the following encoding instructions: ATTRIBUTE, BASE64, DEFAULT-FOR-EMPTY, PI-OR-COMMENT, UNTAGGED or WHITESPACE// \ | |
49 | //^error: A type with final encoding attribute UNTAGGED shall not have any of the final encoding instructions ANY-ATTRIBUTES, ANY-ELEMENT, ATTRIBUTE, DEFAULT-FOR-EMPTY, EMBED-VALUES, PI-OR-COMMENT, USE-NIL or USE-TYPE// | |
50 | with { | |
51 | variant "anyElement" | |
52 | variant "untagged" | |
53 | } | |
54 | ||
55 | type universal charstring AE_w //^In type definition// \ | |
56 | //^error: A type with ANY-ELEMENT may not have any of the following encoding instructions: ATTRIBUTE, BASE64, DEFAULT-FOR-EMPTY, PI-OR-COMMENT, UNTAGGED or WHITESPACE// | |
57 | with { | |
58 | variant "anyElement" | |
59 | variant "whiteSpace collapse" | |
60 | } | |
61 | ||
62 | ||
63 | } | |
64 | with { | |
65 | encode "XML"; | |
66 | } |