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

    if "$have_activity" {

    61

    |     notify_page_change: function(page_name, index){

    62

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

    63

    |         const ref_name = this.args[0];

    64

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

    65

    |         this.update();

    66

    |     },

    67

    }

    76

    |     init: function() {

    77

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

    78

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

    79

    event must be registered by adding attribute to element instead

    80

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

    81

    */

    83

    if "$have_activity" {

    84

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

    85

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

    86

    }

    87

    choose {

    88

        when "$have_disability" {

    89

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

    90

        }

    91

        otherwise {

    92

    |         this.unsubscribable = true;

    93

        }

    94

    }

    95

    |     },

    96

}

    97

    98

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

    99

    param "page_desc";

   100

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

   101

    if "path" {

   102

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

   103

        const "target_page_name" choose {

   104

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

   105

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

   106

        }

   107

        const "target_page_path" choose {

   108

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

   109

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

   110

        }

   111

   112

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

   113

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

   114

    }

   115

}

   116

   117

emit "declarations:jump"

   118

||

   119

var jumps_need_update = false;

   120

var jump_history = [[default_page, undefined]];

   121

   122

function update_jumps() {

   123

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

   124

    jumps_need_update = false;

   125

};

   126

   127

||

   128