equal
deleted
inserted
replaced
552 otherwise { |
552 otherwise { |
553 | «$hmitree_match/@index»`if "position()!=last()" > ,` |
553 | «$hmitree_match/@index»`if "position()!=last()" > ,` |
554 } |
554 } |
555 } |
555 } |
556 } |
556 } |
557 | ], |
557 | ], |
558 | element: id("«@id»"), |
558 | element: id("«@id»"), |
559 apply "$widget", mode="widget_defs" with "hmi_element","."; |
559 apply "$widget", mode="widget_defs" with "hmi_element","."; |
560 | }`if "position()!=last()" > ,` |
560 | }`if "position()!=last()" > ,` |
561 } |
561 } |
562 | } |
562 | } |
563 | |
563 | |
564 | var heartbeat_index = «$indexed_hmitree/*[@hmipath = '/HEARTBEAT']/@index»; |
564 | var heartbeat_index = «$indexed_hmitree/*[@hmipath = '/HEARTBEAT']/@index»; |
565 | |
565 | |
582 | var page_desc = { |
582 | var page_desc = { |
583 |
583 |
584 foreach "$hmi_pages" { |
584 foreach "$hmi_pages" { |
585 const "desc", "func:parselabel(@inkscape:label)/widget"; |
585 const "desc", "func:parselabel(@inkscape:label)/widget"; |
586 const "page", "."; |
586 const "page", "."; |
587 const "p", "$geometry[@Id = $page/@id]"; |
587 const "p", "$geometry[@Id = $page/@id]"; |
588 |
588 |
589 const "page_all_elements", "func:all_related_elements($page)"; |
589 const "page_all_elements", "func:all_related_elements($page)"; |
590 |
590 |
591 const "all_page_ids","$page_all_elements[@id = $hmi_elements/@id and @id != $page/@id]/@id"; |
591 const "all_page_ids","$page_all_elements[@id = $hmi_elements/@id and @id != $page/@id]/@id"; |
592 |
592 |
652 | ID: «@Id» x: «@x» y: «@y» w: «@w» h: «@h» |
652 | ID: «@Id» x: «@x» y: «@y» w: «@w» h: «@h» |
653 } |
653 } |
654 |
654 |
655 template "*", mode="testtree"{ |
655 template "*", mode="testtree"{ |
656 param "indent", "''"; |
656 param "indent", "''"; |
657 > «$indent» «local-name()» |
657 > «$indent» «local-name()» |
658 foreach "@*" > «local-name()»=«.» |
658 foreach "@*" > «local-name()»=«.» |
659 > \n |
659 > \n |
660 apply "*", mode="testtree" { |
660 apply "*", mode="testtree" { |
661 with "indent" value "concat($indent,'>')" |
661 with "indent" value "concat($indent,'>')" |
662 }; |
662 }; |
663 } |
663 } |