equal
deleted
inserted
replaced
50 with "index", "$index + count(exsl:node-set($content)/*)"; |
50 with "index", "$index + count(exsl:node-set($content)/*)"; |
51 with "parentpath" > «$parentpath» |
51 with "parentpath" > «$parentpath» |
52 } |
52 } |
53 } |
53 } |
54 |
54 |
|
55 // Parses: |
|
56 // "HMI:WidgetType:param1:param2@path1@path2" |
|
57 // |
|
58 // Into: |
|
59 // widget type="WidgetType" { |
|
60 // arg value="param1"; |
|
61 // arg value="param2"; |
|
62 // path value="path1"; |
|
63 // path value="path2"; |
|
64 // } |
|
65 // |
55 def "func:parselabel" { |
66 def "func:parselabel" { |
56 param "label"; |
67 param "label"; |
57 const "description", "substring-after($label,'HMI:')"; |
68 const "description", "substring-after($label,'HMI:')"; |
58 |
69 |
59 const "_args", "substring-before($description,'@')"; |
70 const "_args", "substring-before($description,'@')"; |