1

     2

template "widget[@type='ForEach']", mode="widget_defs" {

     3

    param "hmi_element";

     4

    const "widgets", "func:refered_elements($forEach_widgets)[not(@id = $forEach_widgets_ids)]";

     5

     6

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

     7

     8

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

     9

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

    10

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

    11

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

    12

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

    13

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

    14

    |     index_pool: [

    15

    foreach "$hmi_index_items" {

    16

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

    17

    }

    18

    |     ],

    19

    |     init: function() {

    20

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

    21

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

    22

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

    23

    foreach "$buttons" {

    24

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

    25

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

    26

    }

    27

    |

    28

    |         this.items = [

    29

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

    30

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

    31

    foreach "$unordered_items" {

    32

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

    33

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

    34

        const "pos","position()";

    35

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

    36

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

    37

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

    38

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

    39

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

    40

                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»".

    41

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

    42

        }

    43

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

    44

    }

    45

    |         ]

    46

    |     },

    47

    |     item_offset: 0,

    48

    |     on_click: foreach_onclick,

    49

}

    50

    51

template "widget[@type='ForEach']", mode="widget_subscribe"{

    52

    // param "hmi_element";

    53

    |     sub: foreach_subscribe,

    54

    |     unsub: foreach_unsubscribe,

    55

    |     apply_cache: foreach_apply_cache,

    56

}

    57

    59

||

    60

function foreach_unsubscribe(){

    61

    for(let item of this.items){

    62

        for(let widget of item) {

    63

            unsubscribe.call(widget);

    64

        }

    65

    }

    66

    this.offset = 0;

    67

}

    68

    69

function foreach_widgets_do(new_offset, todo){

    70

    this.offset = new_offset;

    71

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

    72

        let item = this.items[i];

    73

        let orig_item_index = this.index_pool[i];

    74

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

    75

        let item_index_offset = item_index - orig_item_index;

    76

        for(let widget of item) {

    77

            todo.call(widget, new_offset + item_index_offset);

    78

        }

    79

    }

    80

}

    81

    82

function foreach_subscribe(new_offset=0){

    83

    foreach_widgets_do.call(this, new_offset, subscribe);

    84

}

    85

    86

function foreach_apply_cache() {

    87

    foreach_widgets_do.call(this, this.offset, widget_apply_cache);

    88

}

    89

    90

function foreach_onclick(opstr, evt) {

    91

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

    92

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

    93

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

    94

            new_item_offset = 0;

    95

        else

    96

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

    97

    } else if(new_item_offset < 0) {

    98

        if(this.item_offset == 0)

    99

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

   100

        else

   101

            new_item_offset = 0;

   102

    }

   103

    this.item_offset = new_item_offset;

   104

    off = this.offset;

   105

    foreach_unsubscribe.call(this);

   106

    foreach_subscribe.call(this,off);

   107

    update_subscriptions();

   108

    need_cache_apply.push(this);

   109

    jumps_need_update = true;

   110

    requestHMIAnimation();

   111

}

   112

   113

||