net.sf.saxon.pattern.NamespaceTest Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of Saxon-HE Show documentation
Show all versions of Saxon-HE Show documentation
The XSLT and XQuery Processor
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// Copyright (c) 2018-2023 Saxonica Limited
// This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
// If a copy of the MPL was not distributed with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
// This Source Code Form is "Incompatible With Secondary Licenses", as defined by the Mozilla Public License, v. 2.0.
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
package net.sf.saxon.pattern;
import net.sf.saxon.om.*;
import net.sf.saxon.trace.ExpressionPresenter;
import net.sf.saxon.tree.tiny.NodeVectorTree;
import net.sf.saxon.type.*;
import net.sf.saxon.z.IntPredicateLambda;
import net.sf.saxon.z.IntPredicateProxy;
import net.sf.saxon.z.IntSet;
import java.util.Optional;
/**
* NodeTest is an interface that enables a test of whether a node has a particular
* name and type. A NamespaceTest matches the node type and the namespace URI.
*/
public final class NamespaceTest extends NodeTest implements QNameTest {
private final NamePool namePool;
private final int nodeKind;
private final UType uType;
private final NamespaceUri uri;
public NamespaceTest(NamePool pool, int nodeKind, NamespaceUri uri) {
namePool = pool;
this.nodeKind = nodeKind;
this.uri = uri;
this.uType = UType.fromTypeCode(nodeKind);
}
/**
* Get the node kind matched by this test
*
* @return the matching node kind
*/
public int getNodeKind() {
return nodeKind;
}
/**
* Get the corresponding {@link net.sf.saxon.type.UType}. A UType is a union of primitive item
* types.
*
* @return the smallest UType that subsumes this item type
*/
@Override
public UType getUType() {
return uType;
}
/**
* Get the set of node names allowed by this NodeTest. Return no result, because the
* set of names cannot be represented.
*
* @return the set of integer fingerprints of the node names that this node test can match; or absent
* if the set of names cannot be represented (for example, with the name tests *:xxx or xxx:*)
*/
@Override
public Optional getRequiredNodeNames() {
// See bug 3713
return Optional.empty();
}
@Override
public String getFullAlphaCode() {
return getBasicAlphaCode() + " nQ{" + uri + "}*";
}
/**
* Test whether this node test is satisfied by a given node. This method is only
* fully supported for a subset of NodeTests, because it doesn't provide all the information
* needed to evaluate all node tests. In particular (a) it can't be used to evaluate a node
* test of the form element(N,T) or schema-element(E) where it is necessary to know whether the
* node is nilled, and (b) it can't be used to evaluate a node test of the form
* document-node(element(X)). This in practice means that it is used (a) to evaluate the
* simple node tests found in the XPath 1.0 subset used in XML Schema, and (b) to evaluate
* node tests where the node kind is known to be an attribute.
*
* @param nodeKind The kind of node to be matched
* @param name identifies the expanded name of the node to be matched.
* The value should be null for a node with no name.
* @param annotation The actual content type of the node
*/
@Override
public boolean matches(int nodeKind, /*@Nullable*/ NodeName name, SchemaType annotation) {
return name != null && name.hasURI(uri);
}
@Override
public IntPredicateProxy getMatcher(final NodeVectorTree tree) {
final byte[] nodeKindArray = tree.getNodeKindArray();
final int[] nameCodeArray = tree.getNameCodeArray();
return IntPredicateLambda.of(nodeNr -> {
int fp = nameCodeArray[nodeNr] & 0xfffff;
return fp != -1 &&
(nodeKindArray[nodeNr]&0x0f) == nodeKind &&
uri.equals(namePool.getURI(fp));
});
}
/**
* Test whether this node test is satisfied by a given node. This alternative
* method is used in the case of nodes where calculating the fingerprint is expensive,
* for example DOM or JDOM nodes.
*
* @param node the node to be matched
*/
@Override
public boolean test(NodeInfo node) {
return node.getNodeKind() == nodeKind && node.getNamespaceUri().equals(uri);
}
/**
* Test whether this NamespaceTest matches a given QName
*
* @param qname the QName to be matched
* @return true if the name matches, false if not
*/
@Override
public boolean matches(StructuredQName qname) {
return qname.hasURI(uri);
}
/**
* Determine the default priority of this node test when used on its own as a Pattern
*/
@Override
public final double getDefaultPriority() {
return -0.25;
}
/**
* Determine the types of nodes to which this pattern applies. Used for optimisation.
* For patterns that match nodes of several types, return Type.NODE
*
* @return the type of node matched by this pattern. e.g. Type.ELEMENT or Type.TEXT
*/
@Override
public int getPrimitiveType() {
return nodeKind;
}
/**
* Get the namespace URI matched by this NamespaceTest
*
* @return the namespace URI matched by this NamespaceTest
*/
public NamespaceUri getNamespaceURI() {
return uri;
}
public String toString() {
switch (nodeKind) {
case Type.ELEMENT:
return "Q{" + uri + "}*";
case Type.ATTRIBUTE:
return "@Q{" + uri + "}*";
default:
// should not happen
return "(*" + nodeKind + "*)Q{" + uri + "}*";
}
}
/**
* Returns a hash code value for the object.
*/
public int hashCode() {
return uri.hashCode() << 5 + nodeKind;
}
/**
* Indicates whether some other object is "equal to" this one.
*/
public boolean equals(Object other) {
return other instanceof NamespaceTest &&
((NamespaceTest) other).namePool == namePool &&
((NamespaceTest) other).nodeKind == nodeKind &&
((NamespaceTest) other).uri.equals(uri);
}
/**
* Export the QNameTest as a string for use in a SEF file (typically in a catch clause).
*
* @return a string representation of the QNameTest, suitable for use in export files. The format is
* a sequence of alternatives separated by vertical bars, where each alternative is one of '*',
* '*:localname', 'Q{uri}*', or 'Q{uri}local'.
*/
@Override
public String exportQNameTest() {
return "Q{" + uri + "}*";
}
/**
* Generate Javascript code to test if a name matches the test.
*
* @return JS code as a string. The generated code will be used
* as the body of a JS function in which the argument name "q" is an
* XdmQName object holding the name. The XdmQName object has properties
* uri and local.
* @param targetVersion the version of SaxonJS being targeted
*/
@Override
public String generateJavaScriptNameTest(int targetVersion) {
return "q.uri==='" + ExpressionPresenter.jsEscape(uri.toString()) + "'";
}
/**
* Get extra diagnostic information about why a supplied item does not conform to this
* item type, if available. If extra information is returned, it should be in the form of a complete
* sentence, minus the closing full stop. No information should be returned for obvious cases.
*
* @param item the item that doesn't match this type
* @param th the type hierarchy cache
* @return optionally, a message explaining why the item does not match the type
*/
@Override
public Optional explainMismatch(Item item, TypeHierarchy th) {
Optional explanation = super.explainMismatch(item, th);
if (explanation.isPresent()) {
return explanation;
}
return Optional.of("The node is in the wrong namespace");
}
}