equal
deleted
inserted
replaced
28 const "indexes" foreach "$widget/path" { |
28 const "indexes" foreach "$widget/path" { |
29 choose { |
29 choose { |
30 when "not(@index)" { |
30 when "not(@index)" { |
31 choose { |
31 choose { |
32 when "not(@type)" |
32 when "not(@type)" |
33 error > Widget «$widget/@type» id="«$eltid»" : No match for path "«@value»" in HMI tree |
33 warning > Widget «$widget/@type» id="«$eltid»" : No match for path "«@value»" in HMI tree |
34 when "@type = 'PAGE_LOCAL'" |
34 when "@type = 'PAGE_LOCAL'" |
35 > "«@value»"`if "position()!=last()" > ,` |
35 > "«@value»"`if "position()!=last()" > ,` |
36 when "@type = 'HMI_LOCAL'" |
36 when "@type = 'HMI_LOCAL'" |
37 > hmi_local_index("«@value»")`if "position()!=last()" > ,` |
37 > hmi_local_index("«@value»")`if "position()!=last()" > ,` |
38 } |
38 } |