equal
deleted
inserted
replaced
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 warning > 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 > undefined`if "position()!=last()" > ,` |
34 > undefined |
35 } |
35 } |
36 when "@type = 'PAGE_LOCAL'" |
36 when "@type = 'PAGE_LOCAL'" |
37 > "«@value»"`if "position()!=last()" > ,` |
37 > "«@value»" |
38 when "@type = 'HMI_LOCAL'" |
38 when "@type = 'HMI_LOCAL'" |
39 > hmi_local_index("«@value»")`if "position()!=last()" > ,` |
39 > hmi_local_index("«@value»") |
|
40 otherwise |
|
41 error > Internal error while processing widget's non indexed HMI tree path : unknown type |
40 } |
42 } |
41 } |
43 } |
42 otherwise { |
44 otherwise { |
43 > «@index»`if "position()!=last()" > ,` |
45 > «@index» |
44 } |
46 } |
45 } |
47 } |
|
48 if "position()!=last()" > , |
46 } |
49 } |
47 |
50 |
48 const "minmaxes" foreach "$widget/path" { |
51 const "minmaxes" foreach "$widget/path" { |
49 choose { |
52 choose { |
50 when "@min and @max" |
53 when "@min and @max" |