1

// widget_jump.ysl2

     2

     3

function "jump_widget_activity" {

     4

    param "hmi_element";

     5

        optional_labels("active inactive");

     6

}

     7

     8

function "jump_widget_disability" {

     9

    param "hmi_element";

    10

        optional_labels("disabled");

    11

}

    12

    13

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

    14

    param "hmi_element";

    15

    const "activity" call "jump_widget_activity" with "hmi_element", "$hmi_element";

    16

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

    17

    value "$activity";

    18

    const "disability" call "jump_widget_disability" with "hmi_element", "$hmi_element";

    19

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

    20

    value "$disability";

    21

    if "$have_activity" {

    22

    |     active: false,

    23

    if "$have_disability" {

    24

    |     disabled: false,

    25

    |     frequency: 2,

    26

    |     dispatch: function(value) {

    27

    |         this.disabled = !Number(value);

    28

    |         this.update();

    29

    |     },

    30

    }

    31

    |     update: function(){

    32

    if "$have_disability" {

    33

    |       if(this.disabled) {

    34

    |         /* show disabled */ 

    35

    |         this.disabled_elt.setAttribute("style", this.active_elt_style);

    36

    |         /* hide inactive */ 

    37

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

    38

    |         /* hide active */ 

    39

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

    40

    |       } else {

    41

    |         /* hide disabled */ 

    42

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

    43

    }

    44

    |         if(this.active) {

    45

    |              /* show active */ 

    46

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

    47

    |              /* hide inactive */ 

    48

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

    49

    |         } else {

    50

    |              /* show inactive */ 

    51

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

    52

    |              /* hide active */ 

    53

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

    54

    |         }

    55

    if "$have_disability" {

    56

    |       }

    57

    }

    58

    |     },

    59

    }

    60

    |     on_click: function(evt) {

    61

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

    62

    |         const name = this.args[0];

    63

    |         switch_page(name, index);

    64

    |     },

    65

    if "$have_activity" {

    66

    |     notify_page_change: function(page_name, index){

    67

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

    68

    |         const ref_name = this.args[0];

    69

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

    70

    |         this.update();

    71

    |     },

    72

    }

    73

    |     init: function() {

    74

    /* registering event this way does not "click" through svg:use 

    75

    |     this.element.onclick = evt => switch_page(this.args[0]);

    76

    event must be registered by adding attribute to element instead

    77

    TODO : generalize mouse event handling by global event capture + getElementsAtPoint()

    78

    */

    79

    |         this.element.setAttribute("onclick", "hmi_widgets['«$hmi_element/@id»'].on_click(evt)");

    80

    if "$have_activity" {

    81

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

    82

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

    83

    }

    84

    choose {

    85

        when "$have_disability" {

    86

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

    87

        }

    88

        otherwise {

    90

        }

    91

    }

    92

    |     },

    93

}

    94

    95

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

    96

    param "page_desc";

    97

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

    98

    if "path" {

    99

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

   100

        const "target_page_name" choose {

   101

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

   102

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

   103

        }

   104

        const "target_page_path" choose {

   105

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

   106

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

   107

        }

   108

   109

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

   110

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

   111

    }

   112

}

   113

   114

emit "declarations:jump"

   115

||

   116

var jumps_need_update = false;

   117

var jump_history = [[default_page, undefined]];

   118

   119

function update_jumps() {

   120

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

   121

    jumps_need_update = false;

   122

};

   123

   124

||

   125