java.io.Serializable, javax.xml.transform.SourceLocator, LocationProvider, SaxonLocator, Container, InstructionInfo, org.xml.sax.LocatorAttributeSet, KeyDefinition, Template, UserFunctionpublic abstract class Procedure extends java.lang.Object implements java.io.Serializable, Container, InstructionInfo, LocationProvider
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 | Field | Description |
|---|---|---|
protected Expression |
body |
| Constructor | Description |
|---|---|
Procedure() |
| Modifier and Type | Method | Description |
|---|---|---|
Expression |
getBody() |
|
int |
getColumnNumber() |
|
int |
getColumnNumber(long locationId) |
Get the column number within the document or module containing a particular location
|
Executable |
getExecutable() |
Get the Executable (representing a complete stylesheet or query) of which this Container forms part
|
int |
getHostLanguage() |
Get the host language (XSLT, XQuery, XPath) used to implement the code in this container
|
int |
getLineNumber() |
Get the line number of the instruction in the source stylesheet module.
|
int |
getLineNumber(long locationId) |
Get the line number within the document or module containing a particular location
|
LocationProvider |
getLocationProvider() |
Get the LocationProvider allowing location identifiers to be resolved.
|
java.util.Iterator |
getProperties() |
Get an iterator over all the properties available.
|
java.lang.Object |
getProperty(java.lang.String name) |
Get the value of a particular property of the instruction.
|
java.lang.String |
getPublicId() |
|
SlotManager |
getStackFrameMap() |
|
java.lang.String |
getSystemId() |
Get the system identifier (URI) of the source stylesheet or query module containing
the instruction.
|
java.lang.String |
getSystemId(long locationId) |
Get the URI of the document or module containing a particular location
|
boolean |
replaceSubExpression(Expression original,
Expression replacement) |
Replace one subexpression by a replacement subexpression
|
void |
setBody(Expression body) |
|
void |
setExecutable(Executable executable) |
|
void |
setHostLanguage(int language) |
|
void |
setLineNumber(int lineNumber) |
|
void |
setStackFrameMap(SlotManager map) |
|
void |
setSystemId(java.lang.String systemId) |
getConstructType, getObjectNameprotected Expression body
public void setBody(Expression body)
public void setHostLanguage(int language)
public int getHostLanguage()
ContainergetHostLanguage in interface ContainerConfiguration.XSLT or Configuration.XQUERYpublic final Expression getBody()
public boolean replaceSubExpression(Expression original, Expression replacement)
replaceSubExpression in interface Containeroriginal - the original subexpressionreplacement - the replacement subexpressionpublic void setStackFrameMap(SlotManager map)
public SlotManager getStackFrameMap()
public final Executable getExecutable()
ContainergetExecutable in interface Containerpublic void setExecutable(Executable executable)
public LocationProvider getLocationProvider()
getLocationProvider in interface Containerpublic void setLineNumber(int lineNumber)
public void setSystemId(java.lang.String systemId)
public int getLineNumber()
InstructionInfogetLineNumber in interface InstructionInfogetLineNumber in interface org.xml.sax.LocatorgetLineNumber in interface javax.xml.transform.SourceLocatorpublic java.lang.String getSystemId()
InstructionInfogetSystemId in interface InstructionInfogetSystemId in interface org.xml.sax.LocatorgetSystemId in interface javax.xml.transform.SourceLocatorpublic int getColumnNumber()
getColumnNumber in interface org.xml.sax.LocatorgetColumnNumber in interface javax.xml.transform.SourceLocatorpublic java.lang.String getPublicId()
getPublicId in interface org.xml.sax.LocatorgetPublicId in interface javax.xml.transform.SourceLocatorpublic java.lang.String getSystemId(long locationId)
LocationProvidergetSystemId in interface LocationProviderlocationId - identifier of the location in question (as passed down the Receiver pipeline)public int getLineNumber(long locationId)
LocationProvidergetLineNumber in interface LocationProviderlocationId - identifier of the location in question (as passed down the Receiver pipeline)public int getColumnNumber(long locationId)
LocationProvidergetColumnNumber in interface LocationProviderlocationId - identifier of the location in question (as passed down the Receiver pipeline)public java.lang.Object getProperty(java.lang.String name)
InstructionInfogetProperty in interface InstructionInfoname - The name of the required propertypublic java.util.Iterator getProperties()
getProperties in interface InstructionInfo