3abe9331 |
1 | /******************************************************************************* |
2 | * Copyright (c) 2000-2015 Ericsson Telecom AB |
3 | * |
4 | * XSD to TTCN-3 Translator version: CRL 113 200/4 R3A |
5 | * |
6 | * All rights reserved. This program and the accompanying materials |
7 | * are made available under the terms of the Eclipse Public License v1.0 |
8 | * which accompanies this distribution, and is available at |
9 | * http://www.eclipse.org/legal/epl-v10.html |
10 | *******************************************************************************/ |
11 | // |
12 | // File: http_www_example_org_wildcards_e.ttcn |
13 | // Description: |
14 | // References: |
15 | // Rev: |
16 | // Prodnr: |
17 | // Updated: Mon Jun 1 11:35:23 2015 |
18 | // Contact: http://ttcn.ericsson.se |
19 | // |
20 | //////////////////////////////////////////////////////////////////////////////// |
21 | // Generated from file(s): |
22 | // - anyattribute_optional.xsd |
23 | // /* xml version = "1.0" encoding = "UTF-8" */ |
24 | // /* targetnamespace = "http://www.example.org/wildcards/e" */ |
25 | //////////////////////////////////////////////////////////////////////////////// |
26 | // Modification header(s): |
27 | //----------------------------------------------------------------------------- |
28 | // Modified by: |
29 | // Modification date: |
30 | // Description: |
31 | // Modification contact: |
32 | //------------------------------------------------------------------------------ |
33 | //////////////////////////////////////////////////////////////////////////////// |
34 | |
35 | |
36 | module http_www_example_org_wildcards { |
37 | |
38 | |
39 | import from XSD all; |
40 | |
41 | |
42 | type E45 AnyAttrAnyNamespace |
43 | with { |
3f84031e |
44 | variant "name as uncapitalized"; |
45 | variant "element"; |
3abe9331 |
46 | }; |
47 | |
48 | |
49 | type E45b AnyAttrThisNamespace |
50 | with { |
3f84031e |
51 | variant "name as uncapitalized"; |
52 | variant "element"; |
3abe9331 |
53 | }; |
54 | |
55 | |
56 | type record E45 |
57 | { |
58 | XSD.Date aa optional, |
59 | XSD.String attr optional, |
60 | XSD.Date bb optional, |
61 | record of XSD.String attr_1 optional |
62 | } |
63 | with { |
3f84031e |
64 | variant "name as uncapitalized"; |
65 | variant (aa) "attribute"; |
66 | variant (attr) "attribute"; |
67 | variant (bb) "attribute"; |
68 | variant (attr_1) "anyAttributes"; |
69 | variant (attr_1) "name as 'attr'"; |
3abe9331 |
70 | }; |
71 | |
72 | |
73 | type record E45a |
74 | { |
75 | record of XSD.String attr optional |
76 | } |
77 | with { |
3f84031e |
78 | variant "name as uncapitalized"; |
79 | variant (attr) "anyAttributes except unqualified, 'http://www.example.org/wildcards'"; |
3abe9331 |
80 | }; |
81 | |
82 | |
83 | type record E45b |
84 | { |
85 | record of XSD.String attr optional |
86 | } |
87 | with { |
3f84031e |
88 | variant "name as uncapitalized"; |
89 | variant (attr) "anyAttributes from 'http://www.example.org/wildcards'"; |
3abe9331 |
90 | }; |
91 | |
92 | |
93 | type record E45c |
94 | { |
95 | record of XSD.String attr optional |
96 | } |
97 | with { |
3f84031e |
98 | variant "name as uncapitalized"; |
99 | variant (attr) "anyAttributes from unqualified, 'http://www.example.org/attribute'"; |
3abe9331 |
100 | }; |
101 | |
102 | |
103 | type record E45d |
104 | { |
105 | record of XSD.String attr optional |
106 | } |
107 | with { |
3f84031e |
108 | variant "name as uncapitalized"; |
109 | variant (attr) "anyAttributes from 'http://www.example.org/wildcards', unqualified, 'http://www.example.org/attribute'"; |
3abe9331 |
110 | }; |
111 | |
112 | |
113 | } |
114 | with { |
3f84031e |
115 | encode "XML"; |
116 | variant "namespace as 'http://www.example.org/wildcards' prefix 'this'"; |
117 | variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'"; |
3abe9331 |
118 | } |