equal
deleted
inserted
replaced
136 if "$desc/path/@value" { |
136 if "$desc/path/@value" { |
137 if "count($desc/path/@index)=0" |
137 if "count($desc/path/@index)=0" |
138 warning > Page id="«$page/@id»" : No match for path "«$desc/path/@value»" in HMI tree |
138 warning > Page id="«$page/@id»" : No match for path "«$desc/path/@value»" in HMI tree |
139 | page_index: «$desc/path/@index», |
139 | page_index: «$desc/path/@index», |
140 } |
140 } |
141 | relative_widgets: [ |
141 | widgets: [ |
142 foreach "$page_relative_widgets" { |
142 foreach "$page_managed_widgets" { |
143 | hmi_widgets["«@id»"]`if "position()!=last()" > ,` |
143 const "widget_paths_relativeness" |
144 } |
144 foreach "func:widget(@id)/path" { |
145 | ], |
145 value "func:is_descendant_path(@value, $desc/path/@value)"; |
146 | absolute_widgets: [ |
146 if "position()!=last()" > , |
147 foreach "$page_managed_widgets[not(@id = $page_relative_widgets/@id)]" { |
147 } |
148 | hmi_widgets["«@id»"]`if "position()!=last()" > ,` |
148 | [hmi_widgets["«@id»"], [«$widget_paths_relativeness»]]`if "position()!=last()" > ,` |
149 } |
149 } |
150 | ], |
150 | ], |
151 | jumps: [ |
151 | jumps: [ |
152 foreach "$parsed_widgets/widget[@id = $all_page_widgets/@id and @type='Jump']" { |
152 foreach "$parsed_widgets/widget[@id = $all_page_widgets/@id and @type='Jump']" { |
153 const "_id","@id"; |
153 const "_id","@id"; |