equal
deleted
inserted
replaced
5 extension-element-prefixes="ns" |
5 extension-element-prefixes="ns" |
6 exclude-result-prefixes="ns" { |
6 exclude-result-prefixes="ns" { |
7 |
7 |
8 template "text()"; |
8 template "text()"; |
9 |
9 |
10 template "ppx:pou[ppx:body]|ppx:transition[ppx:body]|ppx:action[ppx:body]" { |
10 template "ppx:pou[ppx:body]|ppx:transition[ppx:body]|ppx:action[ppx:body]", priority="-1.0" { |
11 apply "ppx:body/*[self::ppx:FBD or self::ppx:LD or self::ppx:SFC]/*"; |
11 apply "ppx:body/*[self::ppx:FBD or self::ppx:LD or self::ppx:SFC]/*"; |
12 } |
12 } |
13 |
13 |
14 function "add_instance" { |
14 function "add_instance" { |
15 param "type"; |
15 param "type"; |