net.sf.saxon.functions.Remove 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
An OSGi bundle for Saxon-HE
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// Copyright (c) 2013 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.*;
import net.sf.saxon.expr.parser.ExpressionTool;
import net.sf.saxon.expr.parser.ExpressionVisitor;
import net.sf.saxon.om.Item;
import net.sf.saxon.om.Sequence;
import net.sf.saxon.om.SequenceIterator;
import net.sf.saxon.om.SequenceTool;
import net.sf.saxon.trans.XPathException;
import net.sf.saxon.type.ItemType;
import net.sf.saxon.type.TypeHierarchy;
import net.sf.saxon.value.IntegerValue;
import net.sf.saxon.value.NumericValue;
/**
* The XPath 2.0 remove() function
*/
public class Remove extends SystemFunctionCall implements Callable {
/**
* Simplify. Recognize remove(seq, 1) as a TailExpression.
* @param visitor an expression visitor
*/
/*@NotNull*/
public Expression simplify(ExpressionVisitor visitor) throws XPathException {
Expression exp = super.simplify(visitor);
if (exp instanceof Remove) {
return ((Remove)exp).simplifyAsTailExpression();
} else {
return exp;
}
}
/**
* Simplify. Recognize remove(seq, 1) as a TailExpression. This
* is worth doing because tail expressions used in a recursive call
* are handled specially.
*/
private Expression simplifyAsTailExpression() {
if (Literal.isAtomic(argument[1])) {
try {
long value = ((IntegerValue)((Literal)argument[1]).getValue()).longValue();
if (value <= 0) {
return argument[0];
} else if (value == 1) {
TailExpression t = new TailExpression(argument[0], 2);
ExpressionTool.copyLocationInfo(this, t);
return t;
}
} catch (XPathException err) {
return this;
}
}
return this;
}
/**
* Perform optimisation of an expression and its subexpressions.
*
* 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.
*
* @param visitor an expression visitor
* @param contextItemType 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
* {@link net.sf.saxon.type.Type#ITEM_TYPE}
* @return the original expression, rewritten if appropriate to optimize execution
* @throws net.sf.saxon.trans.XPathException
* if an error is discovered during this phase
* (typically a type error)
*/
/*@NotNull*/
public Expression optimize(/*@NotNull*/ ExpressionVisitor visitor, ExpressionVisitor.ContextItemType contextItemType) throws XPathException {
Expression e = super.optimize(visitor, contextItemType);
if (e == this) {
return simplifyAsTailExpression();
}
return e;
}
/**
* Determine the data type of the items in the sequence
* @return the type of the input sequence
* @param th the type hierarchy cache
*/
/*@NotNull*/
public ItemType getItemType(TypeHierarchy th) {
return argument[0].getItemType(th);
}
/**
* 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 argument[0].getIntegerBounds();
}
/**
* Evaluate the function to return an iteration of selected nodes.
*/
/*@NotNull*/
public SequenceIterator iterate(XPathContext context) throws XPathException {
SequenceIterator seq = argument[0].iterate(context);
NumericValue n = (NumericValue)argument[1].evaluateItem(context);
int pos = (int)n.longValue();
if (pos < 1) {
return seq;
}
return new RemoveIterator(seq, pos);
}
/**
* Evaluate the expression as a general function call
*
*
*
* @param context the dynamic evaluation context
* @param arguments the values of the arguments, supplied as SequenceIterators
* @return the result of the evaluation, in the form of a SequenceIterator
* @throws net.sf.saxon.trans.XPathException
* if a dynamic error occurs during the evaluation of the expression
*/
public Sequence call(XPathContext context, Sequence[] arguments) throws XPathException {
NumericValue n = (NumericValue)arguments[1].head();
int pos = (int)n.longValue();
if (pos < 1) {
return arguments[0];
}
return SequenceTool.toLazySequence(new RemoveIterator(arguments[0].iterate(), pos));
}
/**
* An implementation of SequenceIterator that returns all items except the one
* at a specified position.
*/
public static class RemoveIterator implements SequenceIterator, LastPositionFinder {
SequenceIterator base;
int removePosition;
int position = 0;
Item current = null;
public RemoveIterator(SequenceIterator base, int removePosition) {
this.base = base;
this.removePosition = removePosition;
}
public Item next() throws XPathException {
current = base.next();
if (current != null && base.position() == removePosition) {
current = base.next();
}
if (current == null) {
position = -1;
} else {
position++;
}
return current;
}
public Item current() {
return current;
}
public int position() {
return position;
}
public void close() {
base.close();
}
/**
* Get the last position (that is, the number of items in the sequence). This method is
* non-destructive: it does not change the state of the iterator.
* The result is undefined if the next() method of the iterator has already returned null.
*/
public int getLength() throws XPathException {
if (base instanceof LastPositionFinder) {
int x = ((LastPositionFinder)base).getLength();
if (removePosition >= 1 && removePosition <= x) {
return x - 1;
} else {
return x;
}
} else {
// This shouldn't happen, because this iterator only has the LAST_POSITION_FINDER property
// if the base iterator has the LAST_POSITION_FINDER property
throw new AssertionError("base of removeIterator is not a LastPositionFinder");
}
}
/*@NotNull*/
public SequenceIterator getAnother() throws XPathException {
return new RemoveIterator( base.getAnother(),
removePosition);
}
/**
* Get properties of this iterator, as a bit-significant integer.
*
* @return the properties of this iterator. This will be some combination of
* properties such as {@link SequenceIterator#GROUNDED}, {@link SequenceIterator#LAST_POSITION_FINDER},
* and {@link SequenceIterator#LOOKAHEAD}. It is always
* acceptable to return the value zero, indicating that there are no known special properties.
* It is acceptable for the properties of the iterator to change depending on its state.
*/
public int getProperties() {
return base.getProperties() & LAST_POSITION_FINDER;
}
}
}