public class CastToUnion extends UnaryExpression
operandEFFECTIVE_BOOLEAN_VALUE, EVALUATE_METHOD, EVENT_FEED_METHOD, INHERITED_CONTEXT, INSPECTION_CONTEXT, ITEM_FEED_METHOD, ITERATE_METHOD, locationId, MAX_SEQUENCE_LENGTH, MAX_STRING_LENGTH, NAVIGATION_CONTEXT, NODE_VALUE_CONTEXT, PROCESS_METHOD, PUSH_SELECTION, staticProperties, UNBOUNDED_LOWER, UNBOUNDED_UPPER, W3C_CONSUMING, W3C_FREE_RANGING, W3C_GROUP_CONSUMING, W3C_MOTIONLESS, WATCH_METHOD| Constructor and Description |
|---|
CastToUnion(Expression source,
UnionType targetType,
boolean allowEmpty) |
| Modifier and Type | Method and Description |
|---|---|
static AtomicSequence |
cast(AtomicValue value,
UnionType targetType,
NamespaceResolver nsResolver,
ConversionRules rules)
Static method to perform the cast of an atomic value to a union type
|
static boolean |
castable(AtomicValue value,
UnionType targetType,
NamespaceResolver nsResolver,
XPathContext context)
Static method to perform the castable check of an atomic value to a union type
|
int |
computeCardinality()
Get the static cardinality of the expression
|
int |
computeSpecialProperties()
Determine the special properties of this expression
|
Expression |
copy()
Copy an expression.
|
boolean |
equals(Object other)
Is this expression the same as another expression?
|
void |
explain(ExpressionPresenter out)
Diagnostic print of expression structure.
|
CastToUnionCompiler |
getExpressionCompiler()
Return the compiler of the CastToUnion expression
|
ItemType |
getItemType(TypeHierarchy th)
Get the static type of the expression
|
NamespaceResolver |
getNamespaceResolver() |
UnionType |
getTargetType() |
int |
hashCode()
get HashCode for comparing two expressions.
|
boolean |
isAllowEmpty() |
SequenceIterator |
iterate(XPathContext context)
Evaluate the expression
|
Expression |
optimize(ExpressionVisitor visitor,
ExpressionVisitor.ContextItemType contextItemType)
Perform optimisation of an expression and its subexpressions.
|
Expression |
simplify(ExpressionVisitor visitor)
Simplify the expression
|
String |
toString()
The toString() method for an expression attempts to give a representation of the expression
in an XPath-like form, but there is no guarantee that the syntax will actually be true XPath.
|
Expression |
typeCheck(ExpressionVisitor visitor,
ExpressionVisitor.ContextItemType contextItemType)
Type-check the expression
|
displayOperator, getBaseExpression, iterateSubExpressions, promote, replaceSubExpressionaddToPathMap, adoptChildExpression, checkForUpdatingSubexpressions, checkPermittedContents, computeDependencies, computeStaticProperties, doPromotion, dynamicError, effectiveBooleanValue, evaluateAsString, evaluateItem, evaluatePendingUpdates, explain, getCardinality, getColumnNumber, getColumnNumber, getConstructType, getContainer, getDependencies, getEvaluationMethod, getExecutable, getExpressionName, getHostLanguage, getImplementationMethod, getIntegerBounds, getIntrinsicDependencies, getLineNumber, getLineNumber, getLocationId, getLocationProvider, getObjectName, getProperties, getProperty, getPublicId, getSlotsUsed, getSpecialProperties, getStreamability, getStreamingAdjunct, getSystemId, getSystemId, hasVariableBinding, implementsStaticTypeCheck, isSubtreeExpression, isUpdatingExpression, isVacuousExpression, iterateEvents, iterateSubExpressionInfo, markTailFunctionCalls, process, resetLocalStaticProperties, setContainer, setEvaluationMethod, setFiltered, setFlattened, setLocationId, staticTypeCheck, suppressValidation, toPattern, toStreamingPattern, typeErrorpublic CastToUnion(Expression source, UnionType targetType, boolean allowEmpty)
public boolean isAllowEmpty()
public UnionType getTargetType()
public NamespaceResolver getNamespaceResolver()
public Expression simplify(ExpressionVisitor visitor) throws XPathException
simplify in class UnaryExpressionvisitor - an expression visitorXPathException - if an error is discovered during expression
rewritingpublic Expression typeCheck(ExpressionVisitor visitor, ExpressionVisitor.ContextItemType contextItemType) throws XPathException
typeCheck in class UnaryExpressionvisitor - an expression visitorcontextItemType - the static type of "." at the point where this expression is invoked.
The parameter is set to null if it is known statically that the context item will be undefined.
If the type of the context item is not known statically, the argument is set to
Type.ITEM_TYPEXPathException - if an error is discovered during this phase
(typically a type error)public Expression optimize(ExpressionVisitor visitor, ExpressionVisitor.ContextItemType contextItemType) throws XPathException
This method is called after all references to functions and variables have been resolved to the declaration of the function or variable, and after all type checking has been done.
optimize in class UnaryExpressionvisitor - an expression visitorcontextItemType - the static type of "." at the point where this expression is invoked.
The parameter is set to null if it is known statically that the context item will be undefined.
If the type of the context item is not known statically, the argument is set to
Type.ITEM_TYPEXPathException - if an error is discovered during this phase
(typically a type error)public int computeCardinality()
computeCardinality in class UnaryExpressionStaticProperty.ALLOWS_ZERO_OR_ONE,
StaticProperty.EXACTLY_ONE, StaticProperty.ALLOWS_ONE_OR_MORE,
StaticProperty.ALLOWS_ZERO_OR_MOREpublic ItemType getItemType(TypeHierarchy th)
getItemType in class UnaryExpressionth - the type hierarchy cachepublic int computeSpecialProperties()
computeSpecialProperties in class UnaryExpressionStaticProperty.NON_CREATIVE.public Expression copy()
copy in class Expressionpublic SequenceIterator iterate(XPathContext context) throws XPathException
iterate in class Expressioncontext - supplies the context for evaluationXPathException - if any dynamic error occurs evaluating the
expressionpublic static boolean castable(AtomicValue value, UnionType targetType, NamespaceResolver nsResolver, XPathContext context)
value - the input value to be converted. Must not be null.targetType - the union type to which the value is to be convertednsResolver - the namespace context, required if the type is namespace-sensitivecontext - the XPath dynamic evaluation contextXPathException - if the conversion failspublic static AtomicSequence cast(AtomicValue value, UnionType targetType, NamespaceResolver nsResolver, ConversionRules rules) throws XPathException
value - the input value to be converted. Must not be null.targetType - the union type to which the value is to be convertednsResolver - the namespace context, required if the type is namespace-sensitiverules - the conversion rulesXPathException - if the conversion failspublic CastToUnionCompiler getExpressionCompiler()
getExpressionCompiler in class Expressionpublic boolean equals(Object other)
equals in class UnaryExpressionpublic int hashCode()
hashCode in class UnaryExpressionpublic String toString()
toString in class UnaryExpressionpublic void explain(ExpressionPresenter out)
explain in class UnaryExpressionout - the expression presenter used to display the structureCopyright (c) 2004-2013 Saxonica Limited. All rights reserved.