Dear BaseX people,
what would be an efficient way of checking if a given node is a database
node?
According to the documentation, function db:name() throws an error if the
node is not a database node. However, that is not what I observe.(The same
applies to db:node-id(), db:node-pre(), db:path()). Therefore I resorted
to this way of checking:
try {db:name($node) ! db:exists(.)} catch * {false()}
That is clumsy and unreliable: if applied to a node in a file, db:name()
returns the base name of the file, which might accidentally be a database
name.
What would you recommend instead?
Kind regards,
Hans-Jürgen