equal
deleted
inserted
replaced
236 apply "$widget", mode="widget_defs" with "hmi_element","."; |
236 apply "$widget", mode="widget_defs" with "hmi_element","."; |
237 | }`if "position()!=last()" > ,` |
237 | }`if "position()!=last()" > ,` |
238 } |
238 } |
239 | } |
239 | } |
240 | |
240 | |
|
241 | var heartbeat_index = «$indexed_hmitree/*[@hmipath = '/HEARTBEAT']/@index»; |
|
242 | |
241 | var hmitree_types = [ |
243 | var hmitree_types = [ |
242 |
244 |
243 foreach "$indexed_hmitree/*" { |
245 foreach "$indexed_hmitree/*" { |
244 | /* «@index» «@hmipath» */ "«substring(local-name(), 5)»"`if "position()!=last()" > ,` |
246 | /* «@index» «@hmipath» */ "«substring(local-name(), 5)»"`if "position()!=last()" > ,` |
245 } |
247 } |