1

// widget_jump.ysl2

     2

     3

function "jump_widget_activity" {

     4

    param "hmi_element";

     5

        optional_labels("active inactive");

     6

}

     7

     8

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

     9

    param "hmi_element";

    10

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

    11

    const "have_opt","string-length($opts)>0";

    12

    value "$opts";

    13

    |     on_click: function(evt) {

    14

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

    15

    |         const name = this.args[0];

    16

    |         switch_page(name, index);

    17

    |     },

    18

    if "$have_opt" {

    19

    |     notify_page_change: function(page_name, index){

    20

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

    21

    |         const ref_name = this.args[0];

    22

    |         if((ref_name == undefined || ref_name == page_name) && index == ref_index) {

    23

    |              console.log("active", ref_name, ref_index, page_name, index);

    24

    |              /* show active */ 

    25

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

    26

    |              /* hide inactive */ 

    27

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

    28

    |         } else {

    29

    |              console.log("inactive",ref_name, ref_index,  page_name, index);

    30

    |              /* show inactive */ 

    31

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

    32

    |              /* hide active */ 

    33

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

    34

    |         }

    35

    |     },

    36

    }

    37

    |     init: function() {

    38

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

    39

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

    40

    event must be registered by adding attribute to element instead

    41

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

    42

    */

    43

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

    44

    if "$have_opt" {

    45

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

    46

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

    47

    }

    48

    |     },

    49

}

    50

    51

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

    52

    param "page_desc";

    53

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

    54

    if "path" {

    55

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

    56

        const "target_page_name" choose {

    57

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

    58

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

    59

        }

    60

        const "target_page_path" choose {

    61

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

    62

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

    63

        }

    64

    65

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

    66

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

    67

    }

    68

}