1

// widget_jump.ysl2

     2

    26

widget_class("Jump") {

    27

||

    28

        activable = false;

    29

        active = false;

    30

        disabled = false;

    31

        frequency = 2;

    32

    33

        update_activity() {

    34

            if(this.active) {

    35

                 /* show active */ 

    36

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

    37

                 /* hide inactive */ 

    38

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

    39

            } else {

    40

                 /* show inactive */ 

    41

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

    42

                 /* hide active */ 

    43

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

    44

            }

    45

        }

    46

    47

        make_on_click() {

    48

            let that = this;

    49

            const name = this.args[0];

    50

            return function(evt){

    51

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

    52

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

    53

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

    54

                switch_page(name, index);

    55

            }

    56

        }

    57

    58

        notify_page_change(page_name, index) {

    59

            if(this.activable) {

    60

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

    61

                const ref_name = this.args[0];

    62

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

    63

                this.update_activity();

    64

            }

    65

        }

    66

    67

        dispatch(value) {

    68

            this.disabled = !Number(value);

    69

            if(this.disabled) {

    70

              /* show disabled */ 

    71

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

    72

              /* hide inactive */ 

    73

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

    74

              /* hide active */ 

    75

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

    76

            } else {

    77

              /* hide disabled */ 

    78

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

    79

              this.update_activity();

    80

            }

    81

        }

    82

||

    83

}

    84

    85

widget_defs("Jump") {

    87

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

    88

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

    89

    value "$activity";

    90

    91

    const "disability" optional_labels("disabled");

    92

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

    93

    value "$disability";

    94

    95

    |     init: function() {

    96

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

    97

    if "$have_activity" {

    98

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

    99

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

   100

    |         this.activable = true;

   101

    }

   102

    choose {

   103

        when "$have_disability" {

   104

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

   105

        }

   106

        otherwise {

   107

    |         this.unsubscribable = true;

   108

        }

   109

    }

   110

    |     },

   111

}

   112

   113

widget_page("Jump"){

   114

    param "page_desc";

   115

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

   116

    if "path" {

   117

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

   118

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

   119

        const "target_page_name" choose {

   120

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

   121

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

   122

        }

   123

        const "target_page_path" choose {

   124

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

   125

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

   126

        }

   127

   128

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

   129

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

   130

    }

   131

}

   132

   133

emit "declarations:jump"

   134

||

   135

var jumps_need_update = false;

   136

var jump_history = [[default_page, undefined]];

   137

   138

function update_jumps() {

   139

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

   140

    jumps_need_update = false;

   141

};

   142

   143

||

   144