// widget_jump.ysl2 function "jump_widget_activity" { param "hmi_element"; optional_labels("active inactive"); } template "widget[@type='Jump']", mode="widget_defs" { param "hmi_element"; const "opts" call "jump_widget_activity" with "hmi_element", "$hmi_element"; const "have_opt","string-length($opts)>0"; value "$opts"; | on_click: function(evt) { | const index = this.indexes.length > 0 ? this.indexes[0] + this.offset : undefined; | const name = this.args[0]; | switch_page(name, index); | }, if "$have_opt" { | notify_page_change: function(page_name, index){ | const ref_index = this.indexes.length > 0 ? this.indexes[0] + this.offset : undefined; | const ref_name = this.args[0]; | if((ref_name == undefined || ref_name == page_name) && index == ref_index) { | console.log("active", ref_name, ref_index, page_name, index); | /* show active */ | this.active_elt.setAttribute("style", this.active_elt_style); | /* hide inactive */ | this.inactive_elt.setAttribute("style", "display:none"); | } else { | console.log("inactive",ref_name, ref_index, page_name, index); | /* show inactive */ | this.inactive_elt.setAttribute("style", this.inactive_elt_style); | /* hide active */ | this.active_elt.setAttribute("style", "display:none"); | } | }, } | init: function() { /* registering event this way does not "click" through svg:use | this.element.onclick = evt => switch_page(this.args[0]); event must be registered by adding attribute to element instead TODO : generalize mouse event handling by global event capture + getElementsAtPoint() */ | this.element.setAttribute("onclick", "hmi_widgets['«$hmi_element/@id»'].on_click(evt)"); if "$have_opt" { | this.active_elt_style = this.active_elt.getAttribute("style"); | this.inactive_elt_style = this.inactive_elt.getAttribute("style"); } | }, } template "widget[@type='Jump']", mode="per_page_widget_template"{ param "page_desc"; /* check that given path is compatible with page's reference path */ if "path" { /* when no page name provided, check for same page */ const "target_page_name" choose { when "arg" value "arg[1]/@value"; otherwise value "$page_desc/arg[1]/@value"; } const "target_page_path" choose { when "arg" value "$hmi_pages_descs[arg[1]/@value = $target_page_name]/path[1]/@value"; otherwise value "$page_desc/path[1]/@value"; } if "not(func:same_class_paths($target_page_path, path[1]/@value))" error > Jump id="«@id»" to page "«$target_page_name»" with incompatible path "«path[1]/@value» (must be same class as "«$target_page_path»") } }