public class UserFunction extends ComponentCode<UserFunction> implements Function, ContextOriginator
It is assumed that type-checking, of both the arguments and the results, has been handled at compile time. That is, the expression supplied as the body of the function must be wrapped in code to check or convert the result to the required type, and calls on the function must be wrapped at compile time to check or convert the supplied arguments.
Modifier and Type | Class and Description |
---|---|
static class |
UserFunction.Determinism |
Modifier and Type | Field and Description |
---|---|
protected int |
evaluationMode |
body
Constructor and Description |
---|
UserFunction()
Create a user-defined function (the body must be added later)
|
Modifier and Type | Method and Description |
---|---|
boolean |
acceptsNodesWithoutAtomization()
Ask whether any of the declared arguments accept nodes without atomizing them
|
AtomicSequence |
atomize()
Atomize the item.
|
Sequence |
call(Sequence[] actualArgs,
Controller controller)
Call this function.
|
Sequence |
call(XPathContext context,
Sequence[] actualArgs)
Call this function to return a value.
|
void |
callUpdating(Sequence[] actualArgs,
XPathContextMajor context,
PendingUpdateList pul)
Call an updating function.
|
void |
computeEvaluationMode()
Determine the preferred evaluation mode for this function
|
boolean |
containsTailCalls()
Determine whether the function contains tail calls (on this or other functions)
|
boolean |
deepEquals(Function other,
XPathContext context,
AtomicComparer comparer,
int flags)
Test whether this FunctionItem is deep-equal to another function item,
under the rules of the deep-equal function
|
boolean |
effectiveBooleanValue()
Get the effective boolean value of this sequence
|
void |
export(ExpressionPresenter presenter)
Diagnostic print of expression structure.
|
SequenceType |
getArgumentType(int n)
Get the required types of an argument to this function
|
int |
getArity()
Get the arity of this function
|
int |
getComponentKind()
Get the kind of component that this represents, using integer constants such as
StandardNames.XSL_FUNCTION |
int |
getConstructType()
Get the type of construct.
|
SequenceType |
getDeclaredResultType()
Get the declared result type
|
FunctionStreamability |
getDeclaredStreamability()
Get the declared streamability (XSLT 3.0 attribute)
|
String |
getDescription()
Get a description of this function for use in error messages.
|
UserFunction.Determinism |
getDeterminism()
Get the determinism of the function.
|
int |
getEvaluationMode()
Get the evaluation mode.
|
FunctionItemType |
getFunctionItemType()
Get the type of the function
|
StructuredQName |
getFunctionName()
Get the function name
|
int |
getLength()
Get the size of the value (the number of items)
|
StructuredQName |
getObjectName()
Get a name identifying the object of the expression, for example a function name, template name,
variable name, key name, element name, etc.
|
OperandRole[] |
getOperandRoles()
Get the roles of the arguments, for the purposes of streaming
|
UserFunctionParameter[] |
getParameterDefinitions()
Get the definitions of the declared parameters for this function
|
SequenceType |
getResultType()
Get the type of value returned by this function
|
String |
getStringValue()
Get the value of the item as a string.
|
CharSequence |
getStringValueCS()
Get the string value of the item as a CharSequence.
|
SymbolicName |
getSymbolicName()
Get the symbolic name of the component
|
Item |
head()
Get the first item in the sequence.
|
boolean |
isArray()
Ask whether this function item is an array
|
Boolean |
isInlineable()
Ask whether the function can be inlined
|
boolean |
isMap()
Ask whether this function item is a map
|
boolean |
isMemoFunction()
Ask whether this function is a memo function
|
boolean |
isTailRecursive()
Determine whether the function contains a tail call, calling itself
|
boolean |
isUpdating()
Ask whether this is an updating function (as defined in XQuery Update)
|
Item |
itemAt(int n)
Get the n'th item in the value, counting from 0
|
UnfailingIterator |
iterate()
Get an iterator over all the items in the sequence (that is, the singleton sequence
consisting of this function item)
|
EventIterator |
iterateEvents(Sequence[] actualArgs,
XPathContextMajor context)
Call this function in "pull" mode, returning the results as a sequence of PullEvents.
|
XPathContextMajor |
makeNewContext(XPathContext oldContext)
Create a context for evaluating this function
|
void |
process(Sequence[] actualArgs,
XPathContextMajor context)
Call this function in "push" mode, writing the results to the current output destination.
|
GroundedValue |
reduce()
Reduce the sequence to its simplest form.
|
void |
setAnnotationMap(Map<StructuredQName,Annotation> map)
Supply a set of annotations
|
void |
setDeclaredStreamability(FunctionStreamability streamability)
Set the declared streamability (XSLT 3.0 attribute)
|
void |
setDeterminism(UserFunction.Determinism determinism)
Set the determinism of the function.
|
void |
setEvaluationMode(int mode)
Set the evaluation mode.
|
void |
setFunctionName(StructuredQName name)
Set the function name
|
void |
setInlineable(boolean inlineable)
Say whether this function can be inlined
|
void |
setParameterDefinitions(UserFunctionParameter[] params)
Set the definitions of the declared parameters for this function
|
void |
setPreallocatedController(Controller controller)
Supply the controller to be used when evaluating this function.
|
void |
setResultType(SequenceType resultType)
Set the declared result type of the function
|
void |
setTailRecursive(boolean tailCalls,
boolean recursiveTailCalls)
Indicate whether the function contains a tail call
|
void |
setUpdating(boolean isUpdating)
Set whether this is an updating function (as defined in XQuery Update)
|
GroundedValue |
subsequence(int start,
int length)
Get a subsequence of the value
|
void |
typeCheck(ExpressionVisitor visitor) |
allocateAllBindingSlots, allocateBindingSlotsRecursive, getBody, getColumnNumber, getDeclaredVisibility, getDeclaringComponent, getLineNumber, getLocation, getPackageData, getProperties, getProperty, getPublicId, getRetainedStaticContext, getStackFrameMap, getSystemId, makeDeclaringComponent, saveLocation, setBody, setDeclaredVisibility, setDeclaringComponent, setLineNumber, setPackageData, setRetainedStaticContext, setStackFrameMap, setSystemId
public UserFunction()
public int getComponentKind()
ComponentCode
StandardNames.XSL_FUNCTION
getComponentKind
in class ComponentCode<UserFunction>
public void setFunctionName(StructuredQName name)
name
- the function namepublic StructuredQName getFunctionName()
getFunctionName
in interface Function
public String getDescription()
getDescription
in interface Function
public StructuredQName getObjectName()
getObjectName
in interface InstructionInfo
public SymbolicName getSymbolicName()
ComponentCode
getSymbolicName
in class ComponentCode<UserFunction>
public FunctionItemType getFunctionItemType()
getFunctionItemType
in interface Function
public OperandRole[] getOperandRoles()
getOperandRoles
in interface Function
public boolean acceptsNodesWithoutAtomization()
public void setPreallocatedController(Controller controller)
controller
- the controller to be used (which may differ from the controller used by the caller)public void setAnnotationMap(Map<StructuredQName,Annotation> map)
map
- the new set of annotations, which will replace any previous annotations on the functionpublic void setDeterminism(UserFunction.Determinism determinism)
determinism
- the determinism value for the functionpublic UserFunction.Determinism getDeterminism()
public void computeEvaluationMode()
public Boolean isInlineable()
public void setInlineable(boolean inlineable)
inlineable
- true or falsepublic void setParameterDefinitions(UserFunctionParameter[] params)
params
- an array of parameter definitionspublic UserFunctionParameter[] getParameterDefinitions()
public void setResultType(SequenceType resultType)
resultType
- the declared return typepublic void setTailRecursive(boolean tailCalls, boolean recursiveTailCalls)
tailCalls
- true if the function contains a tail call (on any function)recursiveTailCalls
- true if the function contains a tail call (on itself)public boolean containsTailCalls()
public boolean isTailRecursive()
public void setUpdating(boolean isUpdating)
isUpdating
- true if this is an updating functionpublic boolean isUpdating()
public void setDeclaredStreamability(FunctionStreamability streamability)
streamability
- the declared streamability (defaults to "unclassified")public FunctionStreamability getDeclaredStreamability()
public SequenceType getResultType()
public SequenceType getDeclaredResultType()
public SequenceType getArgumentType(int n)
n
- identifies the argument in question, starting at 0public int getEvaluationMode()
public void setEvaluationMode(int mode)
mode
- the evaluation modepublic int getArity()
public boolean isMemoFunction()
public void typeCheck(ExpressionVisitor visitor) throws XPathException
XPathException
public XPathContextMajor makeNewContext(XPathContext oldContext)
oldContext
- the existing context of the callerpublic Sequence call(XPathContext context, Sequence[] actualArgs) throws XPathException
call
in interface Callable
call
in interface Function
context
- This provides the run-time context for evaluating the function. This should be created
using makeNewContext(XPathContext)
. It must be an instance of XPathContextMajor.actualArgs
- the arguments supplied to the function. These must have the correct
types required by the function signature (it is the caller's responsibility to check this).
It is acceptable to supply a Closure
to represent a value whose
evaluation will be delayed until it is needed. The array must be the correct size to match
the number of arguments: again, it is the caller's responsibility to check this.XPathException
- if a dynamic error occurs while evaluating the functionpublic void process(Sequence[] actualArgs, XPathContextMajor context) throws XPathException
actualArgs
- the arguments supplied to the function. These must have the correct
types required by the function signature (it is the caller's responsibility to check this).
It is acceptable to supply a Closure
to represent a value whose
evaluation will be delayed until it is needed. The array must be the correct size to match
the number of arguments: again, it is the caller's responsibility to check this.context
- This provides the run-time context for evaluating the function. It is the caller's
responsibility to allocate a "clean" context for the function to use; the context that is provided
will be overwritten by the function.XPathException
- if a dynamic error occurs while evaluating the functionpublic EventIterator iterateEvents(Sequence[] actualArgs, XPathContextMajor context) throws XPathException
actualArgs
- the arguments supplied to the function. These must have the correct
types required by the function signature (it is the caller's responsibility to check this).
It is acceptable to supply a Closure
to represent a value whose
evaluation will be delayed until it is needed. The array must be the correct size to match
the number of arguments: again, it is the caller's responsibility to check this.context
- This provides the run-time context for evaluating the function. It is the caller's
responsibility to allocate a "clean" context for the function to use; the context that is provided
will be overwritten by the function.XPathException
- if a dynamic error occurs while evaluating the functionpublic Sequence call(Sequence[] actualArgs, Controller controller) throws XPathException
actualArgs
- the arguments supplied to the function. These must have the correct
types required by the function signature (it is the caller's responsibility to check this).
It is acceptable to supply a Closure
to represent a value whose
evaluation will be delayed until it is needed. The array must be the correct size to match
the number of arguments: again, it is the caller's responsibility to check this.controller
- This provides the run-time context for evaluating the function. A Controller
may be obtained by calling XQueryExpression.newController(net.sf.saxon.query.DynamicQueryContext)
. This may
be used for a series of calls on functions defined in the same module as the XQueryExpression.XPathException
- if a dynamic error occurs while evaluating the function.public void callUpdating(Sequence[] actualArgs, XPathContextMajor context, PendingUpdateList pul) throws XPathException
actualArgs
- the arguments supplied to the function. These must have the correct
types required by the function signature (it is the caller's responsibility to check this).
It is acceptable to supply a Closure
to represent a value whose
evaluation will be delayed until it is needed. The array must be the correct size to match
the number of arguments: again, it is the caller's responsibility to check this.context
- the dynamic evaluation contextpul
- the pending updates list, to which the function's update actions are to be added.XPathException
- if a dynamic error occurs while evaluating the function.public void export(ExpressionPresenter presenter)
export
in interface Function
export
in class ComponentCode<UserFunction>
presenter
- the expression presenter used to display the structurepublic int getConstructType()
StandardNames
: all less than 1024)
or it will be a constant in class LocationKind
.getConstructType
in interface InstructionInfo
public UnfailingIterator iterate()
public boolean isMap()
public boolean isArray()
public boolean deepEquals(Function other, XPathContext context, AtomicComparer comparer, int flags) throws XPathException
deepEquals
in interface Function
other
- the other function itemcontext
- the dynamic evaluation contextcomparer
- the object to perform the comparisonflags
- options for how the comparison is performedXPathException
- if the comparison cannot be performedpublic Item itemAt(int n)
itemAt
in interface GroundedValue
n
- the index of the required item, with 0 representing the first item in the sequencepublic GroundedValue subsequence(int start, int length)
subsequence
in interface GroundedValue
start
- the index of the first item to be included in the result, counting from zero.
A negative value is taken as zero. If the value is beyond the end of the sequence, an empty
sequence is returnedlength
- the number of items to be included in the result. Specify Integer.MAX_VALUE to
get the subsequence up to the end of the base sequence. If the value is negative, an empty sequence
is returned. If the value goes off the end of the sequence, the result returns items up to the end
of the sequencepublic int getLength()
getLength
in interface GroundedValue
public boolean effectiveBooleanValue() throws XPathException
effectiveBooleanValue
in interface GroundedValue
XPathException
- if the sequence has no effective boolean value (for example a sequence of two integers)public GroundedValue reduce()
reduce
in interface GroundedValue
public Item head()
Sequence
in that
no exception is thrown.public String getStringValue()
getStringValueCS()
should
be used. If the caller requires a string, this method is preferred.getStringValue
in interface GroundedValue
getStringValue
in interface Item
UnsupportedOperationException
- if the item is a function item (an unchecked exception
is used here to avoid introducing exception handling to a large number of paths where it is not
needed)getStringValueCS()
public CharSequence getStringValueCS()
X.getStringValueCS().toString()
returns a string that is equal to
X.getStringValue()
.
Note that two CharSequence values of different types should not be compared using equals(), and
for the same reason they should not be used as a key in a hash table.
If the calling code can handle any CharSequence, this method should
be used. If the caller requires a string, the getStringValue()
method is preferred.getStringValueCS
in interface GroundedValue
getStringValueCS
in interface Item
UnsupportedOperationException
- if the item is a function item (an unchecked exception
is used here to avoid introducing exception handling to a large number of paths where it is not
needed)getStringValue()
public AtomicSequence atomize() throws XPathException
atomize
in interface Item
XPathException
- if atomization is not allowed
for this kind of itemCopyright (c) 2004-2014 Saxonica Limited. All rights reserved.