net.sf.saxon.expr.StaticProperty Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of saxon Show documentation
Show all versions of saxon Show documentation
Saxon a complete and conformant implementation of the XSLT 2.0, XQuery 1.0, and XPath 2.0 Recommendations published on 23 January 2007 by W3C
The newest version!
package net.sf.saxon.expr;
/**
* This class contains constants identifying dependencies that an XPath expression
* might have on its context.
*/
public abstract class StaticProperty {
/**
* Bit setting: Expression depends on current() item
*/
public static final int DEPENDS_ON_CURRENT_ITEM = 1;
/**
* Bit setting: Expression depends on context item
*/
public static final int DEPENDS_ON_CONTEXT_ITEM = 1<<1;
/**
* Bit setting: Expression depends on position()
*/
public static final int DEPENDS_ON_POSITION = 1<<2;
/**
* Bit setting: Expression depends on last()
*/
public static final int DEPENDS_ON_LAST = 1<<3;
/**
* Bit setting: Expression depends on the document containing the context node
*/
public static final int DEPENDS_ON_CONTEXT_DOCUMENT = 1<<4;
/**
* Bit setting: Expression depends on current-group() and/or current-grouping-key()
*/
public static final int DEPENDS_ON_CURRENT_GROUP = 1<<5;
/**
* Bit setting: Expression depends on regex-group()
*/
public static final int DEPENDS_ON_REGEX_GROUP = 1<<6;
/**
* Bit setting: Expression depends on local variables
*/
public static final int DEPENDS_ON_LOCAL_VARIABLES = 1<<7;
/**
* Bit setting: Expression depends on user-defined functions
*/
public static final int DEPENDS_ON_USER_FUNCTIONS = 1<<8;
/**
* Bit setting: Expression depends on assignable global variables
*/
public static final int DEPENDS_ON_ASSIGNABLE_GLOBALS = 1<<9;
/**
* Bit setting: Expression can't be evaluated at compile time for reasons other than the above
*/
public static final int DEPENDS_ON_RUNTIME_ENVIRONMENT = 1<<10;
/**
* Combination of bits representing dependencies on the XSLT context
*/
public static final int DEPENDS_ON_XSLT_CONTEXT =
DEPENDS_ON_CURRENT_ITEM |
DEPENDS_ON_CURRENT_GROUP |
DEPENDS_ON_REGEX_GROUP |
DEPENDS_ON_ASSIGNABLE_GLOBALS;
/**
* Combination of bits representing dependencies on the focus
*/
public static final int DEPENDS_ON_FOCUS =
DEPENDS_ON_CONTEXT_ITEM |
DEPENDS_ON_POSITION |
DEPENDS_ON_LAST |
DEPENDS_ON_CONTEXT_DOCUMENT;
/**
* Combination of bits representing dependencies on the focus, but excluding dependencies
* on the current document
*/
public static final int DEPENDS_ON_NON_DOCUMENT_FOCUS =
DEPENDS_ON_CONTEXT_ITEM |
DEPENDS_ON_POSITION |
DEPENDS_ON_LAST;
/*
* Bit set if an empty sequence is allowed
*/
public static final int ALLOWS_ZERO = 1<<13;
/**
* Bit set if a single value is allowed
*/
public static final int ALLOWS_ONE = 1<<14;
/**
* Bit set if multiple values are allowed
*/
public static final int ALLOWS_MANY = 1<<15;
/**
* Mask for all cardinality bits
*/
public static final int CARDINALITY_MASK =
ALLOWS_ZERO | ALLOWS_ONE | ALLOWS_MANY;
/**
* Occurence indicator for "one or more" (+)
*/
public static final int ALLOWS_ONE_OR_MORE =
ALLOWS_ONE | ALLOWS_MANY;
/**
* Occurence indicator for "zero or more" (*)
*/
public static final int ALLOWS_ZERO_OR_MORE =
ALLOWS_ZERO | ALLOWS_ONE | ALLOWS_MANY;
/**
* Occurence indicator for "zero or one" (?)
*/
public static final int ALLOWS_ZERO_OR_ONE =
ALLOWS_ZERO | ALLOWS_ONE;
/**
* Occurence indicator for "exactly one" (default occurrence indicator)
*/
public static final int EXACTLY_ONE = ALLOWS_ONE;
/**
* Occurence indicator when an empty sequence is required
*/
public static final int EMPTY = ALLOWS_ZERO;
/**
* Reduce the cardinality value to an integer in the range 0-7
* @param cardinality the result of calling getCardinality() on an expression
* @return the cardinality code
*/
public static int getCardinalityCode(int cardinality) {
return (cardinality & CARDINALITY_MASK) >> 13;
}
/**
* Display the cardinality value as a string (used for diagnostics)
* @param cardinality the cardinality as returned by getCardinality() applied to an expression
* @return a string describing the cardinality
*/
public static String getCardinalityDescription(int cardinality) {
int code = getCardinalityCode(cardinality);
String[] names = {
"not allowed",
"exactly zero",
"exactly one",
"zero or one",
"many",
"zero or many",
"one or more",
"zero or more"
};
return names[code];
}
/**
* Expression property: this bit is set by getProperties() in the case of
* an expression whose item type is node, when the nodes in the result are
* guaranteed all to be in the same document as the context node. For
* expressions that return values other than nodes, the setting is undefined.
*/
public static final int CONTEXT_DOCUMENT_NODESET = 1<<16;
/**
* Expression property: this bit is set by getProperties() in the case of
* an expression whose item type is node, when the nodes in the result are
* in document order.
*/
public static final int ORDERED_NODESET = 1<<17;
/**
* Expression property: this bit is set by getProperties() in the case of
* an expression that delivers items in the reverse of the correct order, when unordered
* retrieval is requested.
*/
public static final int REVERSE_DOCUMENT_ORDER = 1<<18;
/**
* Expression property: this bit is set by getProperties() in the case of
* an expression that delivers a set of nodes with the guarantee that no node in the
* set will be an ancestor of any other. This property is useful in deciding whether the
* results of a path expression are pre-sorted. The property is only used in the case where
* the NATURALLY_SORTED property is true, so there is no point in setting it in other cases.
*/
public static final int PEER_NODESET = 1<<19;
/**
* Expression property: this bit is set by getProperties() in the case of
* an expression that delivers a set of nodes with the guarantee that every node in the
* result will be a descendant or self, or attribute or namespace, of the context node
*/
public static final int SUBTREE_NODESET = 1<<20;
/**
* Expression property: this bit is set by getProperties() in the case of
* an expression that delivers a set of nodes with the guarantee that every node in the
* result will be an attribute or namespace of the context node
*/
public static final int ATTRIBUTE_NS_NODESET = 1<<21;
/**
* Expression property: this bit is set in the case of an expression that will
* never return newly created nodes, nor a value that depends on the identity
* of newly created nodes (for example generate-id(new-node())). Expressions
* that do create new nodes cannot be moved out of loops as this could cause
* too few nodes to be created: for example if f() creates a new node, then
* count(for $i in 1 to 5 return f()) must be 5.
*/
public static final int NON_CREATIVE = 1<<22;
/**
* Expression property: this bit is set in the case of an expression that delivers
* a set of nodes that are all in the same document (not necessarily the same
* document as the context node).
*/
public static final int SINGLE_DOCUMENT_NODESET = 1<<23;
/**
* Expression property: this bit indicates that an expression has (or might have)
* side-effects. This property is applied to calls on extension functions and to
* certain instructions such as xsl:result-document and xsl:message.
*/
public static final int HAS_SIDE_EFFECTS = 1<<24;
/**
* Expression property: this bit indicates that although the static type of the expression
* permits untyped values, it is known that the value will not be untyped.
*/
public static final int NOT_UNTYPED = 1<<25;
/**
* Mask to select all the dependency bits
*/
public static final int DEPENDENCY_MASK =
DEPENDS_ON_CONTEXT_DOCUMENT |
DEPENDS_ON_CONTEXT_ITEM |
DEPENDS_ON_CURRENT_GROUP |
DEPENDS_ON_REGEX_GROUP |
DEPENDS_ON_CURRENT_ITEM |
DEPENDS_ON_FOCUS |
DEPENDS_ON_LOCAL_VARIABLES |
DEPENDS_ON_USER_FUNCTIONS |
DEPENDS_ON_ASSIGNABLE_GLOBALS |
DEPENDS_ON_RUNTIME_ENVIRONMENT |
HAS_SIDE_EFFECTS;
/**
* Mask for "special properties": that is, all properties other than cardinality
* and dependencies
*/
public static final int SPECIAL_PROPERTY_MASK =
CONTEXT_DOCUMENT_NODESET |
ORDERED_NODESET |
REVERSE_DOCUMENT_ORDER |
PEER_NODESET |
SUBTREE_NODESET |
ATTRIBUTE_NS_NODESET |
SINGLE_DOCUMENT_NODESET |
NON_CREATIVE |
HAS_SIDE_EFFECTS |
NOT_UNTYPED;
// This class is not instantiated
private StaticProperty() {}
}
//
// The contents of this file are subject to the Mozilla Public License Version 1.0 (the "License");
// you may not use this file except in compliance with the License. You may obtain a copy of the
// License at http://www.mozilla.org/MPL/
//
// Software distributed under the License is distributed on an "AS IS" basis,
// WITHOUT WARRANTY OF ANY KIND, either express or implied.
// See the License for the specific language governing rights and limitations under the License.
//
// The Original Code is: all this file.
//
// The Initial Developer of the Original Code is Michael H. Kay.
//
// Portions created by (your name) are Copyright (C) (your legal entity). All Rights Reserved.
//
// Contributor(s): none.
//