1

     2

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

     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

    52

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

    53

||

    54

class ForEachWidget extends Widget{

    55

    56

    unsub_items(){

    57

        for(let item of this.items){

    58

            for(let widget of item) {

    59

                widget.unsub();

    60

            }

    61

        }

    62

    }

    63

    64

    unsub(){

    65

        this.unsub_items();

    66

        this.offset = 0;

    67

        this.relativeness = undefined;

    68

    }

    69

    70

    sub_items(){

    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

            if(this.relativeness[0])

    77

                item_index_offset += this.offset;

    78

            for(let widget of item) {

    79

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

    80

                   Really.

    81

    82

                   TODO: allow absolute variables in ForEach widgets

    83

                */

    84

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

    85

            }

    86

        }

    87

    }

    88

    89

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

    90

        this.offset = new_offset;

    91

        this.relativeness = relativeness;

    92

        this.sub_items();

    93

    }

    94

    95

    apply_cache() {

    96

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

    97

    }

    98

    99

    on_click(opstr, evt) {

   100

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

   101

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

   102

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

   103

                new_item_offset = 0;

   104

            else

   105

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

   106

        } else if(new_item_offset < 0) {

   107

            if(this.item_offset == 0)

   108

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

   109

            else

   110

                new_item_offset = 0;

   111

        }

   112

        this.item_offset = new_item_offset;

   113

        this.unsub_items();

   114

        this.sub_items();

   115

        update_subscriptions();

   116

        need_cache_apply.push(this);

   117

        jumps_need_update = true;

   118

        requestHMIAnimation();

   119

    }

   120

}

   121

||

   122