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

         overshot(new_val, max) {

    14

             this.last_display = "max: "+max;

    15

             this.request_animate();

    16

         }

    17

    18

         undershot(new_val, min) {

    19

             this.last_display = "min: "+min;

    20

             this.request_animate();

    21

         }

    22

    23

    24

    }

    25

||

    26

}

    27

    28

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

    29

    param "hmi_element";

    30

    31

    const "key_pos_elt" optional_labels("key_pos");

    32

    value "$key_pos_elt";

    33

    34

    const "value_elt" optional_labels("value");

    35

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

    36

    value "$value_elt";

    37

    38

    const "edit_elt" optional_labels("edit");

    39

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

    40

    value "$edit_elt";

    41

    42

    if "$have_value"

    43

    |     frequency: 5,

    44

    45

    |     dispatch: function(value) {

    46

    47

    if "$have_edit"

    48

    |         this.last_val = value;

    49

    50

    if "$have_value" {

    51

    |         this.last_display = value;

    52

    |         this.request_animate();

    53

    }

    54

    |     },

    55

    56

    if "$have_value" {

    57

    |     animate: function(){

    58

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

    59

    |     },

    60

    }

    61

    62

    |     init: function() {

    63

    64

    if "$have_edit" {

    65

    |         this.edit_elt.onclick = () => edit_value(

    66

    |             "«path/@value»", "«path/@type»",

    67

    |             this, this.last_val, 

    68

        choose {

    69

            when "string-length($key_pos_elt)>0"

    70

    |             this.key_pos_elt.getBBox()

    71

            otherwise

    72

    |             undefined

    73

        }

    74

    |         );

    75

    }

    76

    77

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

    78

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

    79

    }

    80

    81

    |     },

    82

}