net.sf.saxon.functions.PositionAndLast 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-2022 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.functions;
import net.sf.saxon.expr.Callable;
import net.sf.saxon.expr.CallableDelegate;
import net.sf.saxon.expr.Expression;
import net.sf.saxon.expr.XPathContext;
import net.sf.saxon.expr.parser.ContextItemStaticInfo;
import net.sf.saxon.expr.parser.ExpressionVisitor;
import net.sf.saxon.om.FocusIterator;
import net.sf.saxon.om.Function;
import net.sf.saxon.om.Sequence;
import net.sf.saxon.trans.SymbolicName;
import net.sf.saxon.trans.UncheckedXPathException;
import net.sf.saxon.trans.XPathException;
import net.sf.saxon.type.ErrorType;
import net.sf.saxon.value.Int64Value;
import net.sf.saxon.value.IntegerValue;
public abstract class PositionAndLast extends ContextAccessorFunction {
private boolean contextPossiblyUndefined = true;
/**
* Get an estimate of the net cost of evaluating the function, excluding the cost of evaluating
* its arguments. The result is 0 for very simple functions like position() and exists(), 1 by
* default, and higher values for particularly expensive functions.
*
* @return the estimated cost
*/
@Override
public int getNetCost() {
// There is a special reason for returning 0: it prevents a call being loop-lifted.
// Test WhereExpr026 and WhereExpr027 fail if position() and last() are loop-lifted,
// because they end up being lazily evaluated as part of a MemoClosure.
return 0;
}
/**
* Bind a context item to appear as part of the function's closure. If this method
* has been called, the supplied context item will be used in preference to the
* context item at the point where the function is actually called.
*
* @param context the context to which the function applies. Must not be null.
*/
@Override
public Function bindContext(XPathContext context) {
Int64Value value;
try {
value = evaluateItem(context);
} catch (final XPathException e) {
// This happens when we do a dynamic lookup of position() or last() when there is no context item
SymbolicName.F name = new SymbolicName.F(getFunctionName(), getArity());
Callable callable = new CallableDelegate((context1, arguments) -> {
throw e;
});
return new CallableFunction(name, callable, getFunctionItemType());
}
ConstantFunction fn = new ConstantFunction(value);
fn.setDetails(getDetails());
fn.setRetainedStaticContext(getRetainedStaticContext());
return fn;
}
/**
* For an expression that returns an integer or a sequence of integers, get
* a lower and upper bound on the values of the integers that may be returned, from
* static analysis. The default implementation returns null, meaning "unknown" or
* "not applicable". Other implementations return an array of two IntegerValue objects,
* representing the lower and upper bounds respectively. The values
* UNBOUNDED_LOWER and UNBOUNDED_UPPER are used by convention to indicate that
* the value may be arbitrarily large. The values MAX_STRING_LENGTH and MAX_SEQUENCE_LENGTH
* are used to indicate values limited by the size of a string or the size of a sequence.
*
* @return the lower and upper bounds of integer values in the result, or null to indicate
* unknown or not applicable.
*/
@Override
public IntegerValue[] getIntegerBounds() {
return new IntegerValue[]{Int64Value.PLUS_ONE, Expression.MAX_SEQUENCE_LENGTH};
}
@Override
public void supplyTypeInformation(ExpressionVisitor visitor, ContextItemStaticInfo contextInfo, Expression[] arguments) throws XPathException {
super.supplyTypeInformation(visitor, contextInfo, arguments);
if (contextInfo.getItemType() == ErrorType.getInstance()) {
XPathException err = new XPathException("The context item is absent at this point");
err.setErrorCode("XPDY0002");
throw err;
} else {
contextPossiblyUndefined = contextInfo.isPossiblyAbsent();
}
}
/**
* Ask whether the context item may possibly be undefined
*
* @return true if it might be undefined
*/
public boolean isContextPossiblyUndefined() {
return contextPossiblyUndefined;
}
/**
* Evaluate in a general context
*/
public abstract Int64Value evaluateItem(XPathContext c) throws XPathException;
/**
* Evaluate the expression
*
* @param context the dynamic evaluation context
* @param arguments the values of the arguments, supplied as Sequences
* @return the result of the evaluation, in the form of a Sequence
* @throws net.sf.saxon.trans.XPathException
* if a dynamic error occurs during the evaluation of the expression
*/
@Override
public IntegerValue call(XPathContext context, Sequence[] arguments) throws XPathException {
return evaluateItem(context);
}
public static class Position extends PositionAndLast {
@Override
public Int64Value evaluateItem(XPathContext c) throws XPathException {
FocusIterator currentIterator = c.getCurrentIterator();
if (currentIterator == null) {
XPathException e = new XPathException("The context item is absent, so position() is undefined");
e.setXPathContext(c);
e.setErrorCode("XPDY0002");
throw e;
}
return Int64Value.makeIntegerValue(currentIterator.position());
}
@Override
public String getCompilerName() {
return "PositionCompiler";
}
}
public static class Last extends PositionAndLast {
@Override
public Int64Value evaluateItem(XPathContext c) throws XPathException {
try {
return Int64Value.makeIntegerValue(c.getLast());
} catch (UncheckedXPathException e) {
throw XPathException.makeXPathException(e);
}
}
@Override
public String getCompilerName() {
return "LastCompiler";
}
@Override
public String getStreamerName() {
return "Last";
}
}
}