# HG changeset patch # User Edouard Tisserant # Date 1596449305 -7200 # Node ID e8f707d99dc3be232d7d5f8fa50d0fc9d379c484 # Parent 2f298089e32e8168a05a9db5cb61b6a6b7694d0a SVGHMI: Update Widget Display templates to generate Class based declaration. diff -r 2f298089e32e -r e8f707d99dc3 svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Wed Jul 22 13:56:43 2020 +0200 +++ b/svghmi/gen_index_xhtml.xslt Mon Aug 03 12:08:25 2020 +0200 @@ -1331,25 +1331,29 @@ }, + + class DisplayWidget extends Widget{ + + frequency = 5; + + dispatch(value) { + + this.element.textContent = String(value); + + } + + } + + - frequency: 5, - - dispatch: function(value) { - - - - this.element.textContent = String(value); - - - - - Display widget as a group not implemented - - - - }, - + + + Display Widget id=" + + " is not a svg::text element + + diff -r 2f298089e32e -r e8f707d99dc3 svghmi/widget_display.ysl2 --- a/svghmi/widget_display.ysl2 Wed Jul 22 13:56:43 2020 +0200 +++ b/svghmi/widget_display.ysl2 Mon Aug 03 12:08:25 2020 +0200 @@ -1,19 +1,18 @@ // widget_display.ysl2 +template "widget[@type='Display']", mode="widget_class" + || + class DisplayWidget extends Widget{ + frequency = 5; + dispatch(value) { + this.element.textContent = String(value); + } + } + || + template "widget[@type='Display']", mode="widget_defs" { param "hmi_element"; - | frequency: 5, - | dispatch: function(value) { - choose { - when "$hmi_element[self::svg:text]"{ - // TODO : care about ? - | this.element.textContent = String(value); - } - otherwise { - warning > Display widget as a group not implemented - } - } - | }, - + if "$hmi_element[not(self::svg:text)]" + error > Display Widget id="«$hmi_element/@id»" is not a svg::text element }