64 

    65     function "scripts"

    66     {

    67         |

    68         | id = idstr => document.getElementById(idstr);

    69         |

    70         | var hmi_hash = [«$hmitree/@hash»]; 

    71 

    72         | var hmi_widgets = {

    73         apply "$hmi_elements", mode="hmi_elements";

    74         | }

    75         |

    76         | var heartbeat_index = «$indexed_hmitree/*[@hmipath = '/HEARTBEAT']/@index»;

    77         |

    78         | var hmitree_types = [

    79 

    80         foreach "$indexed_hmitree/*" {

    81         |     /* «@index»  «@hmipath» */ "«substring(local-name(), 5)»"`if "position()!=last()" > ,`

    82         }

    83 

    84         | ]

    85         |

    86 

    87         | var detachable_elements = {

    88         foreach "$detachable_elements"{

    89         |     "«@id»":[id("«@id»"), id("«../@id»")]`if "position()!=last()" > ,`

    90         }

    91         | }

    92 

    93         |

    94         | var page_desc = {

    95         apply "$hmi_pages", mode="page_desc";

    96         | }

    97 

    98         | var keypads = {

    99         foreach "$keypads_descs"{

   100             const "keypad_id","@id";

   101             foreach "arg"{

   102                 const "g", "$geometry[@Id = $keypad_id]"; 

   103         |     "«@value»":["«$keypad_id»", «$g/@x», «$g/@y»],

   104             }

   105         }

   106         | }

   107 

   108 

   109         |

   110         | var default_page = "«$default_page»";

   111         | var svg_root = id("«/svg:svg/@id»");

   112         include text svghmi.js

   113     }