svghmi/widget_display.ysl2
branchsvghmi
changeset 2998 e8f707d99dc3
parent 2883 8e3d130399b0
child 3008 dabad70db1bf
equal deleted inserted replaced
2997:2f298089e32e 2998:e8f707d99dc3
     1 // widget_display.ysl2
     1 // widget_display.ysl2
     2 
     2 
     3 
     3 
       
     4 template "widget[@type='Display']", mode="widget_class"
       
     5     ||
       
     6     class DisplayWidget extends Widget{
       
     7         frequency = 5;
       
     8         dispatch(value) {
       
     9             this.element.textContent = String(value);
       
    10         }
       
    11     }
       
    12     ||
       
    13 
     4 template "widget[@type='Display']", mode="widget_defs" {
    14 template "widget[@type='Display']", mode="widget_defs" {
     5     param "hmi_element";
    15     param "hmi_element";
     6     |     frequency: 5,
    16     if "$hmi_element[not(self::svg:text)]"
     7     |     dispatch: function(value) {
    17         error > Display Widget id="«$hmi_element/@id»" is not a svg::text element
     8     choose {
       
     9         when "$hmi_element[self::svg:text]"{
       
    10         // TODO : care about <tspan> ?
       
    11     |       this.element.textContent = String(value);
       
    12         }
       
    13         otherwise {
       
    14             warning > Display widget as a group not implemented
       
    15         }
       
    16     }
       
    17     |     },
       
    18 
       
    19 }
    18 }