1

// widget_jump.ysl2

     2

     4

||

     5

        activable = false;

     6

        active = false;

     7

        disabled = false;

     8

        frequency = 2;

     9

    10

        update_activity() {

    11

            if(this.active) {

    12

                 /* show active */ 

    13

                 this.active_elt.setAttribute("style", this.active_elt_style);

    14

                 /* hide inactive */ 

    15

                 this.inactive_elt.setAttribute("style", "display:none");

    16

            } else {

    17

                 /* show inactive */ 

    18

                 this.inactive_elt.setAttribute("style", this.inactive_elt_style);

    19

                 /* hide active */ 

    20

                 this.active_elt.setAttribute("style", "display:none");

    21

            }

    22

        }

    23

    24

        make_on_click() {

    25

            let that = this;

    26

            const name = this.args[0];

    27

            return function(evt){

    28

                /* TODO: suport path pointing to local variable whom value 

    29

                   would be an HMI_TREE index to jump to a relative page */

    30

                const index = that.indexes.length > 0 ? that.indexes[0] + that.offset : undefined;

    31

                switch_page(name, index);

    32

            }

    33

        }

    34

    35

        notify_page_change(page_name, index) {

    36

            if(this.activable) {

    37

                const ref_index = this.indexes.length > 0 ? this.indexes[0] + this.offset : undefined;

    38

                const ref_name = this.args[0];

    39

                this.active = ((ref_name == undefined || ref_name == page_name) && index == ref_index);

    40

                this.update_activity();

    41

            }

    42

        }

    43

    44

        dispatch(value) {

    45

            this.disabled = !Number(value);

    46

            if(this.disabled) {

    47

              /* show disabled */ 

    48

              this.disabled_elt.setAttribute("style", this.disabled_elt_style);

    49

              /* hide inactive */ 

    50

              this.inactive_elt.setAttribute("style", "display:none");

    51

              /* hide active */ 

    52

              this.active_elt.setAttribute("style", "display:none");

    53

            } else {

    54

              /* hide disabled */ 

    55

              this.disabled_elt.setAttribute("style", "display:none");

    56

              this.update_activity();

    57

            }

    58

        }

    59

||

    60

}

    61

    63

    param "hmi_element";

    64

    const "activity" optional_labels("active inactive");

    65

    const "have_activity","string-length($activity)>0";

    66

    value "$activity";

    67

    68

    const "disability" optional_labels("disabled");

    69

    const "have_disability","$have_activity and string-length($disability)>0";

    70

    value "$disability";

    71

    72

    |     init: function() {

    73

    |         this.element.onclick = this.make_on_click();

    74

    if "$have_activity" {

    75

    |         this.active_elt_style = this.active_elt.getAttribute("style");

    76

    |         this.inactive_elt_style = this.inactive_elt.getAttribute("style");

    77

    |         this.activable = true;

    78

    }

    79

    choose {

    80

        when "$have_disability" {

    81

    |         this.disabled_elt_style = this.disabled_elt.getAttribute("style");

    82

        }

    83

        otherwise {

    84

    |         this.unsubscribable = true;

    85

        }

    86

    }

    87

    |     },

    88

}

    89

    91

    param "page_desc";

    92

    /* check that given path is compatible with page's reference path */

    93

    if "path" {

    94

        /* TODO: suport local variable containing an HMI_TREE index to jump to a relative page */

    95

        /* when no page name provided, check for same page */

    96

        const "target_page_name" choose {

    97

            when "arg" value "arg[1]/@value";

    98

            otherwise value "$page_desc/arg[1]/@value";

    99

        }

   100

        const "target_page_path" choose {

   101

            when "arg" value "$hmi_pages_descs[arg[1]/@value = $target_page_name]/path[1]/@value";

   102

            otherwise value "$page_desc/path[1]/@value";

   103

        }

   104

   105

        if "not(func:same_class_paths($target_page_path, path[1]/@value))"

   106

            error > Jump id="«@id»" to page "«$target_page_name»" with incompatible path "«path[1]/@value» (must be same class as "«$target_page_path»")

   107

    }

   108

}

   109

   110

emit "declarations:jump"

   111

||

   112

var jumps_need_update = false;

   113

var jump_history = [[default_page, undefined]];

   114

   115

function update_jumps() {

   116

    page_desc[current_visible_page].jumps.map(w=>w.notify_page_change(current_visible_page,current_page_index));

   117

    jumps_need_update = false;

   118

};

   119

   120

||

   121