(node)
| 3713 | }; |
| 3714 | |
| 3715 | function mapName(node) { |
| 3716 | if (node.uri) { |
| 3717 | var mappedPrefix = namespaceMap[node.uri]; |
| 3718 | var prefix; |
| 3719 | if (mappedPrefix) { |
| 3720 | prefix = mappedPrefix + ":"; |
| 3721 | } else { |
| 3722 | prefix = "{" + node.uri + "}"; |
| 3723 | } |
| 3724 | return prefix + node.local; |
| 3725 | } else { |
| 3726 | return node.local; |
| 3727 | } |
| 3728 | } |
| 3729 | |
| 3730 | parser.onclosetag = function(node) { |
| 3731 | currentElement = stack.pop(); |