1

     2

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

     3

    param "hmi_element";

     4

     5

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

     6

     7

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

     8

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

     9

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

    10

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

    11

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

    12

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

    13

    |     index_pool: [

    14

    foreach "$hmi_index_items" {

    15

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

    16

    }

    17

    |     ],

    18

    |     init: function() {

    19

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

    20

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

    21

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

    22

    foreach "$buttons" {

    23

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

    24

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

    25

    }

    26

    |

    27

    |         this.items = [

    28

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

    29

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

    30

    foreach "$unordered_items" {

    31

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

    32

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

    33

        const "pos","position()";

    34

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

    35

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

    36

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

    37

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

    38

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

    39

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

    40

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

    41

        }

    42

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

    43

    }

    44

    |         ]

    45

    |     },

    46

    |     item_offset: 0,

    47

}

    48

    49

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

    50

||

    51

class ForEachWidget extends Widget{

    52

    unsub(){

    53

        for(let item of this.items){

    54

            for(let widget of item) {

    55

                widget.unsub();

    56

            }

    57

        }

    58

        this.offset = 0;

    59

    }

    60

    61

    foreach_widgets_do(new_offset, todo){

    62

        this.offset = new_offset;

    63

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

    64

            let item = this.items[i];

    65

            let orig_item_index = this.index_pool[i];

    66

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

    67

            let item_index_offset = item_index - orig_item_index;

    68

            for(let widget of item) {

    69

                todo(widget).call(widget, new_offset + item_index_offset);

    70

            }

    71

        }

    72

    }

    73

    74

    sub(new_offset=0){

    75

        this.foreach_widgets_do(new_offset, w=>w.sub);

    76

    }

    77

    78

    apply_cache() {

    79

        this.foreach_widgets_do(this.offset, w=>w.apply_cache);

    80

    }

    81

    82

    on_click(opstr, evt) {

    83

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

    84

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

    85

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

    86

                new_item_offset = 0;

    87

            else

    88

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

    89

        } else if(new_item_offset < 0) {

    90

            if(this.item_offset == 0)

    91

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

    92

            else

    93

                new_item_offset = 0;

    94

        }

    95

        this.item_offset = new_item_offset;

    96

        this.unsub();

    97

        this.sub(this.offset);

    98

        update_subscriptions();

    99

        need_cache_apply.push(this);

   100

        jumps_need_update = true;

   101

        requestHMIAnimation();

   102

    }

   103

}

   104

||

   105