equal
deleted
inserted
replaced
141 const "target_page_name" choose { |
141 const "target_page_name" choose { |
142 when "arg" value "arg[1]/@value"; |
142 when "arg" value "arg[1]/@value"; |
143 otherwise value "$page_desc/arg[1]/@value"; |
143 otherwise value "$page_desc/arg[1]/@value"; |
144 } |
144 } |
145 const "target_page_path" choose { |
145 const "target_page_path" choose { |
146 when "arg" value "$hmi_pages_descs[arg[1]/@value = $target_page_name]/path[1]/@value"; |
146 when "arg" value "$hmi_pages_descs[arg[1]/@value = $target_page_name]/path[not(@assign)]/@value"; |
147 otherwise value "$page_desc/path[1]/@value"; |
147 otherwise value "$page_desc/path[not(@assign)]/@value"; |
148 } |
148 } |
149 |
149 |
150 if "not(func:same_class_paths($target_page_path, path[1]/@value))" |
150 if "not(func:same_class_paths($target_page_path, path[1]/@value))" |
151 error > Jump id="«@id»" to page "«$target_page_name»" with incompatible path "«path[1]/@value» (must be same class as "«$target_page_path»") |
151 error > Jump id="«@id»" to page "«$target_page_name»" with incompatible path "«path[1]/@value» (must be same class as "«$target_page_path»") |
152 |
152 |