Commit | Line | Data |
---|---|---|
970ed795 | 1 | /****************************************************************************** |
3abe9331 | 2 | * Copyright (c) 2000-2015 Ericsson Telecom AB |
970ed795 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 | // Generated from file(s): | |
9 | // | |
10 | // - XTDL.xsd | |
11 | ||
12 | module xtdl { | |
13 | ||
14 | type union Widgets | |
15 | { | |
16 | Window window, | |
17 | Tabbox tabbox | |
18 | } | |
19 | with { | |
20 | variant "untagged"; | |
21 | }; | |
22 | ||
23 | ||
24 | type Window Windowelem | |
25 | with { | |
26 | variant "name as uncapitalized"; | |
27 | variant "element"; | |
28 | }; | |
29 | ||
30 | ||
31 | /* not much of a */ | |
32 | type union Embeddedwidget | |
33 | { | |
34 | Tabbox tabbox | |
35 | } | |
36 | with { | |
37 | variant "untagged"; | |
38 | }; | |
39 | ||
40 | ||
41 | type record Embeddedwidgets | |
42 | { | |
43 | record of Embeddedwidget embeddedwidget_list | |
44 | } | |
45 | with { | |
46 | variant "untagged"; | |
47 | variant (embeddedwidget_list) "untagged"; | |
48 | }; | |
49 | ||
50 | ||
51 | type record Window | |
52 | { | |
53 | float height optional, | |
54 | charstring id optional, | |
55 | Orientation orientation optional, | |
56 | charstring title optional, | |
57 | float width optional, | |
58 | record of Image image_list, | |
59 | Embeddedwidgets embeddedwidgets | |
60 | } | |
61 | with { | |
62 | variant "name as uncapitalized"; | |
63 | variant (height) "attribute"; | |
64 | variant (id) "attribute"; | |
65 | variant (orientation) "defaultForEmpty as 'vertical'"; | |
66 | variant (orientation) "attribute"; | |
67 | variant (title) "attribute"; | |
68 | variant (width) "attribute"; | |
69 | variant (image_list) "untagged"; | |
70 | variant (image_list[-]) "name as 'image'"; | |
71 | }; | |
72 | ||
73 | ||
74 | type record Tabbox | |
75 | { | |
76 | boolean disabled optional, | |
77 | float flex optional, | |
78 | charstring id optional, | |
79 | Tablayout layout optional, | |
80 | Tabs tabs, | |
81 | Tabpanels tabpanels | |
82 | } | |
83 | with { | |
84 | variant "name as uncapitalized"; | |
85 | variant (disabled) "attribute"; | |
86 | variant (flex) "attribute"; | |
87 | variant (id) "attribute"; | |
88 | variant (layout) "attribute"; | |
89 | }; | |
90 | ||
91 | ||
92 | type record Tabs | |
93 | { | |
94 | record of Tab tab_list | |
95 | } | |
96 | with { | |
97 | variant "name as uncapitalized"; | |
98 | variant (tab_list) "untagged"; | |
99 | variant (tab_list[-]) "name as 'tab'"; | |
100 | }; | |
101 | ||
102 | ||
103 | type record Tab | |
104 | { | |
105 | charstring id optional, | |
106 | charstring label_ | |
107 | } | |
108 | with { | |
109 | variant "name as uncapitalized"; | |
110 | variant (id) "attribute"; | |
111 | variant (label_) "name as 'label'"; | |
112 | variant (label_) "attribute"; | |
113 | }; | |
114 | ||
115 | ||
116 | type record Tabpanels | |
117 | { | |
118 | record of Tabpanel tabpanel_list | |
119 | } | |
120 | with { | |
121 | variant "name as uncapitalized"; | |
122 | variant (tabpanel_list) "untagged"; | |
123 | variant (tabpanel_list[-]) "name as 'tabpanel'"; | |
124 | }; | |
125 | ||
126 | ||
127 | type record Tabpanel | |
128 | { | |
129 | charstring id optional, | |
130 | float maxheight optional, | |
131 | Orientation orientation optional, | |
132 | Embeddedwidgets embeddedwidgets | |
133 | } | |
134 | with { | |
135 | variant "name as uncapitalized"; | |
136 | variant (id) "attribute"; | |
137 | variant (maxheight) "attribute"; | |
138 | variant (orientation) "attribute"; | |
139 | }; | |
140 | ||
141 | ||
142 | type enumerated Tablayout | |
143 | { | |
144 | cARD, | |
145 | lISTCARD, | |
146 | sCROLL, | |
147 | wRAP | |
148 | } | |
149 | with { | |
150 | variant "text 'cARD' as capitalized"; | |
151 | variant "text 'lISTCARD' as capitalized"; | |
152 | variant "text 'sCROLL' as capitalized"; | |
153 | variant "text 'wRAP' as capitalized"; | |
154 | variant "name as uncapitalized"; | |
155 | }; | |
156 | ||
157 | ||
158 | type record Image | |
159 | { | |
160 | charstring id, | |
161 | charstring imagedata optional, | |
162 | charstring imageurl optional | |
163 | } | |
164 | with { | |
165 | variant "name as uncapitalized"; | |
166 | variant (id) "attribute"; | |
167 | variant (imagedata) "attribute"; | |
168 | variant (imageurl) "attribute"; | |
169 | }; | |
170 | ||
171 | ||
172 | type enumerated Orientation | |
173 | { | |
174 | horizontal, | |
175 | vertical | |
176 | } | |
177 | with { | |
178 | variant "name as uncapitalized"; | |
179 | }; | |
180 | ||
181 | ||
182 | } | |
183 | with { | |
184 | encode "XML"; | |
185 | variant "namespace as 'http://ttcn.ericsson.se/protocolModules/xtdp/xtdl'"; | |
186 | variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'"; | |
187 | variant "elementFormQualified"; | |
188 | } |