1

// widget_input.ysl2

     2

     3

template "widget[@type='Input']", mode="widget_class"{

     4

||

     5

    class InputWidget extends Widget{

     6

         on_op_click(opstr) {

     7

             this.change_hmi_value(0, opstr);

     8

         }

     9

         edit_callback(new_val) {

    10

             this.apply_hmi_value(0, new_val);

    11

         }

    12

    13

         is_inhibited = false;

    14

         alert(msg){

    15

             this.is_inhibited = true;

    16

             this.display = msg;

    17

             setTimeout(() => this.stopalert(), 1000);

    18

             this.request_animate();

    19

         }

    20

    21

         stopalert(){

    22

             this.is_inhibited = false;

    23

             this.display = this.last_value;

    24

             this.request_animate();

    25

         }

    26

    27

         overshot(new_val, max) {

    28

             this.alert("max");

    29

         }

    30

    31

         undershot(new_val, min) {

    32

             this.alert("min");

    33

         }

    34

    35

    36

    }

    37

||

    38

}

    39

    40

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

    41

    param "hmi_element";

    42

    43

    const "value_elt" optional_labels("value");

    44

    const "have_value","string-length($value_elt)>0";

    45

    value "$value_elt";

    46

    47

    const "edit_elt" optional_labels("edit");

    48

    const "have_edit","string-length($edit_elt)>0";

    49

    value "$edit_elt";

    50

    51

    if "$have_value"

    52

    |     frequency: 5,

    53

    54

    |     dispatch: function(value) {

    55

    56

    57

    if "$have_value or $have_edit" {

    58

        choose{

    59

            when "count(arg) = 1" {

    60

    |         this.last_value = vsprintf("«arg[1]/@value»", [value]);

    61

            }

    62

            otherwise {

    63

    |         this.last_value = value;

    64

            }

    65

        }

    66

    |         if(!this.is_inhibited){

    67

    |             this.display = this.last_value;

    68

    if "$have_value" {

    69

    |             this.request_animate();

    70

    }

    71

    |         }

    72

    }

    73

    |     },

    74

    75

    if "$have_value" {

    76

    |     animate: function(){

    77

    |         this.value_elt.textContent = String(this.display);

    78

    |     },

    79

    }

    80

    81

    |     init: function() {

    82

    83

    if "$have_edit" {

    84

    |         this.edit_elt.onclick = () => edit_value("«path/@value»", "«path/@type»", this, this.last_value);

    85

        if "$have_value" {

    86

    |         this.value_elt.style.pointerEvents = "none";

    87

        }

    88

    }

    89

    90

    foreach "$hmi_element/*[regexp:test(@inkscape:label,'^[=+\-].+')]" {

    91

    |         id("«@id»").onclick = () => this.on_op_click("«func:escape_quotes(@inkscape:label)»");

    92

    }

    93

    94

    |     },

    95

}