|
1 <?xml version="1.0"?> |
|
2 <xsl:stylesheet xmlns:func="http://exslt.org/functions" xmlns:dyn="http://exslt.org/dynamic" xmlns:str="http://exslt.org/strings" xmlns:math="http://exslt.org/math" xmlns:exsl="http://exslt.org/common" xmlns:xhtml="http://www.w3.org/1999/xhtml" xmlns:yml="http://fdik.org/yml" xmlns:set="http://exslt.org/sets" xmlns:ppx="http://www.plcopen.org/xml/tc6_0201" xmlns:ns="pou_vars_ns" xmlns:regexp="http://exslt.org/regular-expressions" xmlns:xsl="http://www.w3.org/1999/XSL/Transform" extension-element-prefixes="ns" version="1.0" exclude-result-prefixes="ns"> |
|
3 <xsl:output method="xml"/> |
|
4 <xsl:variable name="space" select="' '"/> |
|
5 <xsl:param name="autoindent" select="4"/> |
|
6 <xsl:template match="text()"> |
|
7 <xsl:param name="_indent" select="0"/> |
|
8 </xsl:template> |
|
9 <xsl:template mode="var_class" match="text()"> |
|
10 <xsl:param name="_indent" select="0"/> |
|
11 </xsl:template> |
|
12 <xsl:template mode="var_type" match="text()"> |
|
13 <xsl:param name="_indent" select="0"/> |
|
14 </xsl:template> |
|
15 <xsl:template mode="var_edit" match="text()"> |
|
16 <xsl:param name="_indent" select="0"/> |
|
17 </xsl:template> |
|
18 <xsl:template mode="var_debug" match="text()"> |
|
19 <xsl:param name="_indent" select="0"/> |
|
20 </xsl:template> |
|
21 <xsl:variable name="project"> |
|
22 <xsl:copy-of select="document('project')/project/*"/> |
|
23 </xsl:variable> |
|
24 <xsl:variable name="stdlib"> |
|
25 <xsl:copy-of select="document('stdlib')/stdlib/*"/> |
|
26 </xsl:variable> |
|
27 <xsl:variable name="extensions"> |
|
28 <xsl:copy-of select="document('extensions')/extensions/*"/> |
|
29 </xsl:variable> |
|
30 <xsl:template name="add_root"> |
|
31 <xsl:param name="_indent" select="0"/> |
|
32 <xsl:param name="class"/> |
|
33 <xsl:param name="type"/> |
|
34 <xsl:param name="edit"> |
|
35 <xsl:text>true</xsl:text> |
|
36 </xsl:param> |
|
37 <xsl:param name="debug"> |
|
38 <xsl:text>true</xsl:text> |
|
39 </xsl:param> |
|
40 <xsl:value-of select="ns:SetRoot($class, $type, $edit, $debug)"/> |
|
41 </xsl:template> |
|
42 <xsl:template match="ppx:pou"> |
|
43 <xsl:param name="_indent" select="0"/> |
|
44 <xsl:call-template name="add_root"> |
|
45 <xsl:with-param name="class"> |
|
46 <xsl:value-of select="@pouType"/> |
|
47 </xsl:with-param> |
|
48 <xsl:with-param name="type"> |
|
49 <xsl:value-of select="@name"/> |
|
50 </xsl:with-param> |
|
51 </xsl:call-template> |
|
52 <xsl:apply-templates select="ppx:interface"> |
|
53 <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/> |
|
54 </xsl:apply-templates> |
|
55 <xsl:apply-templates mode="variable_list" select="ppx:actions/ppx:action | ppx:transitions/ppx:transition"> |
|
56 <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/> |
|
57 </xsl:apply-templates> |
|
58 </xsl:template> |
|
59 <xsl:template match="ppx:action"> |
|
60 <xsl:param name="_indent" select="0"/> |
|
61 <xsl:call-template name="add_root"> |
|
62 <xsl:with-param name="class"> |
|
63 <xsl:text>action</xsl:text> |
|
64 </xsl:with-param> |
|
65 </xsl:call-template> |
|
66 <xsl:apply-templates select="ancestor::ppx:pou/child::ppx:interface"> |
|
67 <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/> |
|
68 </xsl:apply-templates> |
|
69 </xsl:template> |
|
70 <xsl:template match="ppx:transition"> |
|
71 <xsl:param name="_indent" select="0"/> |
|
72 <xsl:call-template name="add_root"> |
|
73 <xsl:with-param name="class"> |
|
74 <xsl:text>transition</xsl:text> |
|
75 </xsl:with-param> |
|
76 </xsl:call-template> |
|
77 <xsl:apply-templates select="ancestor::ppx:pou/child::ppx:interface"> |
|
78 <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/> |
|
79 </xsl:apply-templates> |
|
80 </xsl:template> |
|
81 <xsl:template match="ppx:configuration"> |
|
82 <xsl:param name="_indent" select="0"/> |
|
83 <xsl:call-template name="add_root"> |
|
84 <xsl:with-param name="class"> |
|
85 <xsl:text>configuration</xsl:text> |
|
86 </xsl:with-param> |
|
87 <xsl:with-param name="debug"> |
|
88 <xsl:text>false</xsl:text> |
|
89 </xsl:with-param> |
|
90 </xsl:call-template> |
|
91 <xsl:apply-templates mode="variable_list" select="ppx:resource"> |
|
92 <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/> |
|
93 </xsl:apply-templates> |
|
94 <xsl:apply-templates select="ppx:globalVars"> |
|
95 <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/> |
|
96 </xsl:apply-templates> |
|
97 </xsl:template> |
|
98 <xsl:template match="ppx:resource"> |
|
99 <xsl:param name="_indent" select="0"/> |
|
100 <xsl:call-template name="add_root"> |
|
101 <xsl:with-param name="class"> |
|
102 <xsl:text>resource</xsl:text> |
|
103 </xsl:with-param> |
|
104 <xsl:with-param name="debug"> |
|
105 <xsl:text>false</xsl:text> |
|
106 </xsl:with-param> |
|
107 </xsl:call-template> |
|
108 <xsl:apply-templates mode="variable_list" select="ppx:pouInstance | ppx:task/ppx:pouInstance"> |
|
109 <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/> |
|
110 </xsl:apply-templates> |
|
111 <xsl:apply-templates select="ppx:globalVars"> |
|
112 <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/> |
|
113 </xsl:apply-templates> |
|
114 </xsl:template> |
|
115 <xsl:template name="variables_infos"> |
|
116 <xsl:param name="_indent" select="0"/> |
|
117 <xsl:param name="var_class"/> |
|
118 <xsl:for-each select="ppx:variable"> |
|
119 <xsl:variable name="class"> |
|
120 <xsl:apply-templates mode="var_class" select="ppx:type"> |
|
121 <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/> |
|
122 <xsl:with-param name="default_class"> |
|
123 <xsl:value-of select="$var_class"/> |
|
124 </xsl:with-param> |
|
125 </xsl:apply-templates> |
|
126 </xsl:variable> |
|
127 <xsl:variable name="type"> |
|
128 <xsl:apply-templates mode="var_type" select="ppx:type"> |
|
129 <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/> |
|
130 </xsl:apply-templates> |
|
131 </xsl:variable> |
|
132 <xsl:variable name="edit"> |
|
133 <xsl:apply-templates mode="var_edit" select="ppx:type"> |
|
134 <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/> |
|
135 </xsl:apply-templates> |
|
136 </xsl:variable> |
|
137 <xsl:variable name="debug"> |
|
138 <xsl:apply-templates mode="var_debug" select="ppx:type"> |
|
139 <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/> |
|
140 </xsl:apply-templates> |
|
141 </xsl:variable> |
|
142 <xsl:value-of select="ns:AddVariable(@name, $class, $type, $edit, $debug)"/> |
|
143 </xsl:for-each> |
|
144 </xsl:template> |
|
145 <xsl:template match="ppx:localVars"> |
|
146 <xsl:param name="_indent" select="0"/> |
|
147 <xsl:call-template name="variables_infos"> |
|
148 <xsl:with-param name="var_class"> |
|
149 <xsl:text>Local</xsl:text> |
|
150 </xsl:with-param> |
|
151 </xsl:call-template> |
|
152 </xsl:template> |
|
153 <xsl:template match="ppx:globalVars"> |
|
154 <xsl:param name="_indent" select="0"/> |
|
155 <xsl:call-template name="variables_infos"> |
|
156 <xsl:with-param name="var_class"> |
|
157 <xsl:text>Global</xsl:text> |
|
158 </xsl:with-param> |
|
159 </xsl:call-template> |
|
160 </xsl:template> |
|
161 <xsl:template match="ppx:externalVars"> |
|
162 <xsl:param name="_indent" select="0"/> |
|
163 <xsl:call-template name="variables_infos"> |
|
164 <xsl:with-param name="var_class"> |
|
165 <xsl:text>External</xsl:text> |
|
166 </xsl:with-param> |
|
167 </xsl:call-template> |
|
168 </xsl:template> |
|
169 <xsl:template match="ppx:tempVars"> |
|
170 <xsl:param name="_indent" select="0"/> |
|
171 <xsl:call-template name="variables_infos"> |
|
172 <xsl:with-param name="var_class"> |
|
173 <xsl:text>Temp</xsl:text> |
|
174 </xsl:with-param> |
|
175 </xsl:call-template> |
|
176 </xsl:template> |
|
177 <xsl:template match="ppx:inputVars"> |
|
178 <xsl:param name="_indent" select="0"/> |
|
179 <xsl:call-template name="variables_infos"> |
|
180 <xsl:with-param name="var_class"> |
|
181 <xsl:text>Input</xsl:text> |
|
182 </xsl:with-param> |
|
183 </xsl:call-template> |
|
184 </xsl:template> |
|
185 <xsl:template match="ppx:outputVars"> |
|
186 <xsl:param name="_indent" select="0"/> |
|
187 <xsl:call-template name="variables_infos"> |
|
188 <xsl:with-param name="var_class"> |
|
189 <xsl:text>Output</xsl:text> |
|
190 </xsl:with-param> |
|
191 </xsl:call-template> |
|
192 </xsl:template> |
|
193 <xsl:template match="ppx:inOutVars"> |
|
194 <xsl:param name="_indent" select="0"/> |
|
195 <xsl:call-template name="variables_infos"> |
|
196 <xsl:with-param name="var_class"> |
|
197 <xsl:text>InOut</xsl:text> |
|
198 </xsl:with-param> |
|
199 </xsl:call-template> |
|
200 </xsl:template> |
|
201 <xsl:template name="add_variable"> |
|
202 <xsl:param name="_indent" select="0"/> |
|
203 <xsl:param name="name"/> |
|
204 <xsl:param name="class"/> |
|
205 <xsl:param name="type"/> |
|
206 <xsl:param name="edit"> |
|
207 <xsl:text>true</xsl:text> |
|
208 </xsl:param> |
|
209 <xsl:param name="debug"> |
|
210 <xsl:text>true</xsl:text> |
|
211 </xsl:param> |
|
212 <xsl:value-of select="ns:AddVariable($name, $class, $type, $edit, $debug)"/> |
|
213 </xsl:template> |
|
214 <xsl:template mode="variable_list" match="ppx:action"> |
|
215 <xsl:param name="_indent" select="0"/> |
|
216 <xsl:call-template name="add_variable"> |
|
217 <xsl:with-param name="name"> |
|
218 <xsl:value-of select="@name"/> |
|
219 </xsl:with-param> |
|
220 <xsl:with-param name="class"> |
|
221 <xsl:text>action</xsl:text> |
|
222 </xsl:with-param> |
|
223 </xsl:call-template> |
|
224 </xsl:template> |
|
225 <xsl:template mode="variable_list" match="ppx:transition"> |
|
226 <xsl:param name="_indent" select="0"/> |
|
227 <xsl:call-template name="add_variable"> |
|
228 <xsl:with-param name="name"> |
|
229 <xsl:value-of select="@name"/> |
|
230 </xsl:with-param> |
|
231 <xsl:with-param name="class"> |
|
232 <xsl:text>transition</xsl:text> |
|
233 </xsl:with-param> |
|
234 </xsl:call-template> |
|
235 </xsl:template> |
|
236 <xsl:template mode="variable_list" match="ppx:resource"> |
|
237 <xsl:param name="_indent" select="0"/> |
|
238 <xsl:call-template name="add_variable"> |
|
239 <xsl:with-param name="name"> |
|
240 <xsl:value-of select="@name"/> |
|
241 </xsl:with-param> |
|
242 <xsl:with-param name="class"> |
|
243 <xsl:text>resource</xsl:text> |
|
244 </xsl:with-param> |
|
245 <xsl:with-param name="debug"> |
|
246 <xsl:text>false</xsl:text> |
|
247 </xsl:with-param> |
|
248 </xsl:call-template> |
|
249 </xsl:template> |
|
250 <xsl:template mode="variable_list" match="ppx:pouInstance"> |
|
251 <xsl:param name="_indent" select="0"/> |
|
252 <xsl:call-template name="add_variable"> |
|
253 <xsl:with-param name="name"> |
|
254 <xsl:value-of select="@name"/> |
|
255 </xsl:with-param> |
|
256 <xsl:with-param name="class"> |
|
257 <xsl:text>program</xsl:text> |
|
258 </xsl:with-param> |
|
259 <xsl:with-param name="type"> |
|
260 <xsl:value-of select="@typeName"/> |
|
261 </xsl:with-param> |
|
262 </xsl:call-template> |
|
263 </xsl:template> |
|
264 <xsl:template mode="var_class" match="*[self::ppx:type or self::ppx:baseType]/ppx:derived"> |
|
265 <xsl:param name="_indent" select="0"/> |
|
266 <xsl:param name="default_class"/> |
|
267 <xsl:variable name="type_name" select="@name"/> |
|
268 <xsl:variable name="pou_infos"> |
|
269 <xsl:copy-of select="exsl:node-set($project)/ppx:project/ppx:types/ppx:pous/ppx:pou[@name=$type_name] | exsl:node-set($stdlib)/ppx:project/ppx:types/ppx:pous/ppx:pou[@name=$type_name] | exsl:node-set($extensions)/ppx:project/ppx:types/ppx:pous/ppx:pou[@name=$type_name]"/> |
|
270 </xsl:variable> |
|
271 <xsl:choose> |
|
272 <xsl:when test="$pou_infos != ''"> |
|
273 <xsl:apply-templates mode="var_class" select="exsl:node-set($pou_infos)"> |
|
274 <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/> |
|
275 </xsl:apply-templates> |
|
276 </xsl:when> |
|
277 <xsl:otherwise> |
|
278 <xsl:value-of select="$default_class"/> |
|
279 </xsl:otherwise> |
|
280 </xsl:choose> |
|
281 </xsl:template> |
|
282 <xsl:template mode="var_class" match="ppx:pou"> |
|
283 <xsl:param name="_indent" select="0"/> |
|
284 <xsl:value-of select="@pouType"/> |
|
285 </xsl:template> |
|
286 <xsl:template mode="var_class" match="*[self::ppx:type or self::ppx:baseType]/*"> |
|
287 <xsl:param name="_indent" select="0"/> |
|
288 <xsl:param name="default_class"/> |
|
289 <xsl:value-of select="$default_class"/> |
|
290 </xsl:template> |
|
291 <xsl:template mode="var_type" match="*[self::ppx:type or self::ppx:baseType]/ppx:derived"> |
|
292 <xsl:param name="_indent" select="0"/> |
|
293 <xsl:value-of select="@name"/> |
|
294 </xsl:template> |
|
295 <xsl:template mode="var_type" match="*[self::ppx:type or self::ppx:baseType]/ppx:array"> |
|
296 <xsl:param name="_indent" select="0"/> |
|
297 <xsl:text>ARRAY [</xsl:text> |
|
298 <xsl:for-each select="ppx:dimension"> |
|
299 <xsl:value-of select="@lower"/> |
|
300 <xsl:text>..</xsl:text> |
|
301 <xsl:value-of select="@upper"/> |
|
302 </xsl:for-each> |
|
303 <xsl:text>] OF </xsl:text> |
|
304 <xsl:apply-templates mode="var_type" select="ppx:baseType"> |
|
305 <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/> |
|
306 </xsl:apply-templates> |
|
307 </xsl:template> |
|
308 <xsl:template mode="var_type" match="*[self::ppx:type or self::ppx:baseType]/ppx:string"> |
|
309 <xsl:param name="_indent" select="0"/> |
|
310 <xsl:text>STRING</xsl:text> |
|
311 </xsl:template> |
|
312 <xsl:template mode="var_type" match="*[self::ppx:type or self::ppx:baseType]/ppx:wstring"> |
|
313 <xsl:param name="_indent" select="0"/> |
|
314 <xsl:text>WSTRING</xsl:text> |
|
315 </xsl:template> |
|
316 <xsl:template mode="var_type" match="*[self::ppx:type or self::ppx:baseType]/*"> |
|
317 <xsl:param name="_indent" select="0"/> |
|
318 <xsl:value-of select="local-name()"/> |
|
319 </xsl:template> |
|
320 <xsl:template mode="var_edit" match="*[self::ppx:type or self::ppx:baseType]/ppx:derived"> |
|
321 <xsl:param name="_indent" select="0"/> |
|
322 <xsl:variable name="type_name" select="@name"/> |
|
323 <xsl:variable name="pou_infos"> |
|
324 <xsl:copy-of select="exsl:node-set($project)/ppx:project/ppx:types/ppx:pous/ppx:pou[@name=$type_name]"/> |
|
325 </xsl:variable> |
|
326 <xsl:choose> |
|
327 <xsl:when test="$pou_infos != ''"> |
|
328 <xsl:text>true</xsl:text> |
|
329 </xsl:when> |
|
330 <xsl:otherwise> |
|
331 <xsl:text>false</xsl:text> |
|
332 </xsl:otherwise> |
|
333 </xsl:choose> |
|
334 </xsl:template> |
|
335 <xsl:template mode="var_edit" match="*[self::ppx:type or self::ppx:baseType]/ppx:array"> |
|
336 <xsl:param name="_indent" select="0"/> |
|
337 <xsl:apply-templates mode="var_edit" select="ppx:baseType"> |
|
338 <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/> |
|
339 </xsl:apply-templates> |
|
340 </xsl:template> |
|
341 <xsl:template mode="var_edit" match="*[self::ppx:type or self::ppx:baseType]/*"> |
|
342 <xsl:param name="_indent" select="0"/> |
|
343 <xsl:text>false</xsl:text> |
|
344 </xsl:template> |
|
345 <xsl:template mode="var_debug" match="*[self::ppx:type or self::ppx:baseType]/ppx:derived"> |
|
346 <xsl:param name="_indent" select="0"/> |
|
347 <xsl:variable name="type_name" select="@name"/> |
|
348 <xsl:variable name="datatype_infos"> |
|
349 <xsl:copy-of select="exsl:node-set($project)/ppx:project/ppx:types/ppx:pous/ppx:pou[@name=$type_name] | exsl:node-set($project)/ppx:project/ppx:types/ppx:dataTypes/ppx:dataType[@name=$type_name] | exsl:node-set($stdlib)/ppx:project/ppx:types/ppx:dataTypes/ppx:dataType[@name=$type_name] | exsl:node-set($extensions)/ppx:project/ppx:types/ppx:dataTypes/ppx:dataType[@name=$type_name]"/> |
|
350 </xsl:variable> |
|
351 <xsl:choose> |
|
352 <xsl:when test="$datatype_infos != ''"> |
|
353 <xsl:apply-templates mode="var_debug" select="exsl:node-set($datatype_infos)"> |
|
354 <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/> |
|
355 </xsl:apply-templates> |
|
356 </xsl:when> |
|
357 <xsl:otherwise> |
|
358 <xsl:text>false</xsl:text> |
|
359 </xsl:otherwise> |
|
360 </xsl:choose> |
|
361 </xsl:template> |
|
362 <xsl:template mode="var_debug" match="ppx:pou"> |
|
363 <xsl:param name="_indent" select="0"/> |
|
364 <xsl:text>true</xsl:text> |
|
365 </xsl:template> |
|
366 <xsl:template mode="var_debug" match="*[self::ppx:type or self::ppx:baseType]/ppx:array"> |
|
367 <xsl:param name="_indent" select="0"/> |
|
368 <xsl:text>false</xsl:text> |
|
369 </xsl:template> |
|
370 <xsl:template mode="var_debug" match="*[self::ppx:type or self::ppx:baseType]/ppx:struct"> |
|
371 <xsl:param name="_indent" select="0"/> |
|
372 <xsl:text>false</xsl:text> |
|
373 </xsl:template> |
|
374 <xsl:template mode="var_debug" match="*[self::ppx:type or self::ppx:baseType]/*"> |
|
375 <xsl:param name="_indent" select="0"/> |
|
376 <xsl:text>true</xsl:text> |
|
377 </xsl:template> |
|
378 </xsl:stylesheet> |