Ticket #1147: new features in nodeset-address-space-utils
Closes #1147 (closed) and contributes #536
Add various features to nodeset-address-space-utils.py
:
- namespace translation
- generate the NamespaceURIs in NamespaceArray and ServerArray
- deterministic merge result
- remove a node and its subtree
- remove unused type definitions
Edited by Vincent Monfort