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

    if "$have_disability" {

    85

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

    86

    }

    87

    |     },

    88

}

    89

    90

// default : normal subscribing

    91

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

    92

    param "hmi_element";

    93

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

    94

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

    95

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

    96

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

    97

    choose {

    98

        when "$have_disability" {

    99

    |     sub: subscribe,

   100

    |     unsub: unsubscribe,

   101

    |     apply_cache: widget_apply_cache,

   102

        }

   103

        otherwise {

   104

    |     sub: function(){},

   105

    |     unsub: function(){},

   106

    |     apply_cache: function(){},

   107

        }

   108

    }

   109

}

   110

   111

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

   112

    param "page_desc";

   113

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

   114

    if "path" {

   115

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

   116

        const "target_page_name" choose {

   117

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

   118

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

   119

        }

   120

        const "target_page_path" choose {

   121

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

   122

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

   123

        }

   124

   125

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

   126

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

   127

    }

   128

}