equal
deleted
inserted
replaced
82 // Templates to generate label back from parsed tree |
82 // Templates to generate label back from parsed tree |
83 template "arg", mode="genlabel" > :«@value» |
83 template "arg", mode="genlabel" > :«@value» |
84 |
84 |
85 template "path", mode="genlabel" { |
85 template "path", mode="genlabel" { |
86 > @«@value» |
86 > @«@value» |
87 if "string-length(@min)>0 or string-length(@max)>0" > :«@min»:«@max» |
87 if "string-length(@min)>0 or string-length(@max)>0" > ,«@min»,«@max» |
88 } |
88 } |
89 |
89 |
90 template "widget", mode="genlabel" { |
90 template "widget", mode="genlabel" { |
91 > HMI:«@type» |
91 > HMI:«@type» |
92 apply "arg", mode="genlabel"; |
92 apply "arg", mode="genlabel"; |