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 */ 

    16

                 /* hide inactive */ 

    18

            } else {

    19

                 /* show inactive */ 

    21

                 /* hide active */ 

    38

            }

    39

        }

    40

    41

        make_on_click() {

    42

            let that = this;

    43

            const name = this.args[0];

    44

            return function(evt){

    53

            }

    54

        }

    55

    56

        notify_page_change(page_name, index) {

    57

            if(this.activable) {

    58

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

    59

                const ref_name = this.args[0];

    60

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

    62

            }

    63

        }

    64

    65

        dispatch(value) {

    66

            this.disabled = !Number(value);

    68

        }

    69

    }

    70

||

    71

}

    72

    73

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

    74

    param "hmi_element";

    75

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

    76

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

    77

    value "$activity";

    78

    79

    const "disability" optional_labels("disabled");

    80

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

    81

    value "$disability";

    82

    83

    |     init: function() {

    84

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

    85

    if "$have_activity" {

    86

    |         this.activable = true;

    87

    }

    92

    choose {

    93

        when "$have_disability" {

    95

        }

    98

        }

   100

    }

   102

    |     },

   104

}

   105

   106

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

   107

    param "page_desc";

   108

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

   109

    if "path" {

   110

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

   111

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

   112

        const "target_page_name" choose {

   113

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

   114

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

   115

        }

   116

        const "target_page_path" choose {

   117

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

   118

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

   119

        }

   120

   121

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

   122

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

   123

    }

   124

}

   125

   126

emit "declarations:jump"

   127

||

   128

var jumps_need_update = false;

   129

var jump_history = [[default_page, undefined]];

   130

   131

function update_jumps() {

   132

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

   133

    jumps_need_update = false;

   134

};

   135

   136

||

   137