1

function "scripts"

     2

{

     3

    |

     4

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

     5

    |

     6

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

     8

    | var hmi_widgets = {

     9

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

    10

    | }

    11

    |

    12

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

    13

    |

    14

    | var hmitree_types = [

    16

    foreach "$indexed_hmitree/*" {

    17

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

    18

    }

    20

    | ]

    21

    |

    22

    23

    | var detachable_elements = {

    24

    foreach "$detachable_elements"{

    25

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

    26

    }

    27

    | }

    28

    29

    |

    30

    | var page_desc = {

    31

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

    32

    | }

    33

    34

    | var keypads = {

    35

    foreach "$keypads_descs"{

    36

        const "keypad_id","@id";

    37

        foreach "arg"{

    38

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

    39

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

    40

        }

    41

    }

    42

    | }

    45

    |

    46

    | var default_page = "«$default_page»";

    47

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

    48

    include text svghmi.js

    49

}