1

     3

    param "hmi_element";

     4

     5

    if "count(path) != 1" error > ForEach widget «$hmi_element/@id» must have one HMI path given.

     6

    if "count(arg) != 1" error > ForEach widget «$hmi_element/@id» must have one argument given : a class name.

     7

     8

    const "class","arg[1]/@value";

     9

    10

    const "base_path","path/@value";

    11

    const "hmi_index_base", "$indexed_hmitree/*[@hmipath = $base_path]";

    12

    const "hmi_tree_base", "$hmitree/descendant-or-self::*[@path = $hmi_index_base/@path]";

    13

    const "hmi_tree_items", "$hmi_tree_base/*[@class = $class]";

    14

    const "hmi_index_items", "$indexed_hmitree/*[@path = $hmi_tree_items/@path]"; 

    15

    const "items_paths", "$hmi_index_items/@hmipath"; 

    16

    |     index_pool: [

    17

    foreach "$hmi_index_items" {

    18

    |       «@index»`if "position()!=last()" > ,`

    19

    }

    20

    |     ],

    21

    |     init: function() {

    22

    const "prefix","concat($class,':')";

    23

    const "buttons_regex","concat('^',$prefix,'[+\-][0-9]+')";

    24

    const "buttons", "$hmi_element/*[regexp:test(@inkscape:label, $buttons_regex)]"; 

    25

    foreach "$buttons" {

    26

        const "op","substring-after(@inkscape:label, $prefix)";

    27

    |         id("«@id»").setAttribute("onclick", "hmi_widgets['«$hmi_element/@id»'].on_click('«$op»', evt)");

    28

    }

    29

    |

    30

    |         this.items = [

    31

    const "items_regex","concat('^',$prefix,'[0-9]+')";

    32

    const "unordered_items","$hmi_element//*[regexp:test(@inkscape:label, $items_regex)]";

    33

    foreach "$unordered_items" {

    34

        const "elt_label","concat($prefix, string(position()))"; 

    35

        const "elt","$unordered_items[@inkscape:label = $elt_label]";

    36

        const "pos","position()";

    37

        const "item_path", "$items_paths[$pos]";

    38

    |           [ /* item="«$elt_label»" path="«$item_path»" */

    39

        if "count($elt)=0" error > Missing item labeled «$elt_label» in ForEach widget «$hmi_element/@id»

    40

        foreach "func:refered_elements($elt)[@id = $hmi_elements/@id][not(@id = $elt/@id)]" {

    41

            if "not(func:is_descendant_path(func:widget(@id)/path/@value, $item_path))"

    42

                error > Widget id="«@id»" label="«@inkscape:label»" is having wrong path. Accroding to ForEach widget ancestor id="«$hmi_element/@id»", path should be descendant of "«$item_path»".

    43

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

    44

        }

    45

    |           ]`if "position()!=last()" > ,`

    46

    }

    47

    |         ]

    48

    |     },

    49

    |     item_offset: 0,

    50

}

    51

    53

||

    54

    55

    unsub_items(){

    56

        for(let item of this.items){

    57

            for(let widget of item) {

    58

                widget.unsub();

    59

            }

    60

        }

    61

    }

    62

    63

    unsub(){

    64

        this.unsub_items();

    65

        this.offset = 0;

    66

        this.relativeness = undefined;

    67

    }

    68

    69

    sub_items(){

    70

        for(let i = 0; i < this.items.length; i++) {

    71

            let item = this.items[i];

    72

            let orig_item_index = this.index_pool[i];

    73

            let item_index = this.index_pool[i+this.item_offset];

    74

            let item_index_offset = item_index - orig_item_index;

    75

            if(this.relativeness[0])

    76

                item_index_offset += this.offset;

    77

            for(let widget of item) {

    78

                /* all variables of all widgets in a ForEach are all relative. 

    79

                   Really.

    80

    81

                   TODO: allow absolute variables in ForEach widgets

    82

                */

    83

                widget.sub(item_index_offset, widget.indexes.map(_=>true));

    84

            }

    85

        }

    86

    }

    87

    88

    sub(new_offset=0, relativeness=[]){

    89

        this.offset = new_offset;

    90

        this.relativeness = relativeness;

    91

        this.sub_items();

    92

    }

    93

    94

    apply_cache() {

    95

        this.items.forEach(item=>item.forEach(widget=>widget.apply_cache()));

    96

    }

    97

    98

    on_click(opstr, evt) {

    99

        let new_item_offset = eval(String(this.item_offset)+opstr);

   100

        if(new_item_offset + this.items.length > this.index_pool.length) {

   101

            if(this.item_offset + this.items.length == this.index_pool.length)

   102

                new_item_offset = 0;

   103

            else

   104

                new_item_offset = this.index_pool.length - this.items.length;

   105

        } else if(new_item_offset < 0) {

   106

            if(this.item_offset == 0)

   107

                new_item_offset = this.index_pool.length - this.items.length;

   108

            else

   109

                new_item_offset = 0;

   110

        }

   111

        this.item_offset = new_item_offset;

   112

        this.unsub_items();

   113

        this.sub_items();

   114

        update_subscriptions();

   115

        need_cache_apply.push(this);

   116

        jumps_need_update = true;

   117

        requestHMIAnimation();

   118

    }

   119

||

   120