svghmi/parse_labels.ysl2
changeset 3455 2716cd8e498d
parent 3412 04c4835ca376
child 3469 97622e9560b5
equal deleted inserted replaced
3454:0b5ab53007a9 3455:2716cd8e498d
    42         otherwise value "$typefreq";
    42         otherwise value "$typefreq";
    43     }
    43     }
    44     if "$type" widget {
    44     if "$type" widget {
    45         attrib "id" > «$id»
    45         attrib "id" > «$id»
    46         attrib "type" > «$type»
    46         attrib "type" > «$type»
    47         if "$freq" attrib "freq" > «$freq»
    47         if "$freq" {
       
    48             if "not(regexp:test($freq,'^[0-9]*(\.[0-9]+)?[smh]'))" {
       
    49                 error > Widget id:«$id» label:«$label» has wrong syntax of frequency forcing «$freq»
       
    50             }
       
    51             attrib "freq" > «$freq»
       
    52         }
    48         foreach "str:split(substring-after($args, ':'), ':')" {
    53         foreach "str:split(substring-after($args, ':'), ':')" {
    49             arg {
    54             arg {
    50                 attrib "value" > «.»
    55                 attrib "value" > «.»
    51             }
    56             }
    52         }
    57         }