1

// widget_jump.ysl2

     2

     3

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

     4

||

     5

    class JumpWidget extends Widget{

     6

     7

        activable = false;

     8

        active = false;

     9

        disabled = false;

    10

        frequency = 2;

    11

    12

        update_activity() {

    13

            if(this.active) {

    14

                 /* show active */ 

    15

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

    16

                 /* hide inactive */ 

    17

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

    18

            } else {

    19

                 /* show inactive */ 

    20

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

    21

                 /* hide active */ 

    22

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

    23

            }

    24

        }

    25

    26

        make_on_click() {

    27

            let that = this;

    28

            const name = this.args[0];

    29

            return function(evt){

    30

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

    31

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

    32

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

    33

                switch_page(name, index);

    34

            }

    35

        }

    36

    37

        notify_page_change(page_name, index) {

    38

            if(this.activable) {

    39

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

    40

                const ref_name = this.args[0];

    41

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

    42

                this.update_activity();

    43

            }

    44

        }

    45

    46

        dispatch(value) {

    47

            this.disabled = !Number(value);

    48

            if(this.disabled) {

    49

              /* show disabled */ 

    50

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

    51

              /* hide inactive */ 

    52

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

    53

              /* hide active */ 

    54

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

    55

            } else {

    56

              /* hide disabled */ 

    57

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

    58

              this.update_activity();

    59

            }

    60

        }

    61

    }

    62

||

    63

}

    64

    65

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

    66

    param "hmi_element";

    67

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

    68

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

    69

    value "$activity";

    70

    71

    const "disability" optional_labels("disabled");

    72

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

    73

    value "$disability";

    74

    75

    |     init: function() {

    76

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

    77

    if "$have_activity" {

    78

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

    79

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

    80

    |         this.activable = true;

    81

    }

    82

    choose {

    83

        when "$have_disability" {

    84

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

    85

        }

    86

        otherwise {

    87

    |         this.unsubscribable = true;

    88

        }

    89

    }

    90

    |     },

    91

}

    92

    93

template "widget[@type='Jump']", mode="per_page_widget_template"{

    94

    param "page_desc";

    95

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

    96

    if "path" {

    97

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

    98

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

    99

        const "target_page_name" choose {

   100

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

   101

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

   102

        }

   103

        const "target_page_path" choose {

   104

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

   105

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

   106

        }

   107

   108

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

   109

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

   110

    }

   111

}

   112

   113

emit "declarations:jump"

   114

||

   115

var jumps_need_update = false;

   116

var jump_history = [[default_page, undefined]];

   117

   118

function update_jumps() {

   119

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

   120

    jumps_need_update = false;

   121

};

   122

   123

||

   124