public abstract class Procedure extends Object implements 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 and Description |
|---|---|
protected Expression |
body |
| Constructor and Description |
|---|
Procedure() |
| Modifier and Type | Method and Description |
|---|---|
Expression |
getBody() |
int |
getColumnNumber() |
int |
getColumnNumber(long locationId)
Get the column number within the document, entity, or module containing a particular location
|
int |
getContainerGranularity()
Get the granularity of the container.
|
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, entity or module containing a particular location
|
LocationProvider |
getLocationProvider()
Get the LocationProvider allowing location identifiers to be resolved.
|
Iterator<String> |
getProperties()
Get an iterator over all the properties available.
|
Object |
getProperty(String name)
Get the value of a particular property of the instruction.
|
String |
getPublicId() |
SlotManager |
getStackFrameMap() |
String |
getSystemId()
Get the system identifier (URI) of the source stylesheet or query module containing
the instruction.
|
String |
getSystemId(long locationId)
Get the URI of the document, entity, or module containing a particular location
|
void |
setBody(Expression body) |
void |
setExecutable(Executable executable) |
void |
setHostLanguage(int language) |
void |
setLineNumber(int lineNumber) |
void |
setStackFrameMap(SlotManager map) |
void |
setSystemId(String systemId) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetConstructType, getObjectNameprotected Expression body
public int getContainerGranularity()
getContainerGranularity in interface Containerpublic void setBody(Expression body)
public void setHostLanguage(int language)
public int getHostLanguage()
ContainergetHostLanguage in interface ContainerConfiguration.XSLT or Configuration.XQUERYpublic final Expression getBody()
public 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(String systemId)
public int getLineNumber()
InstructionInfogetLineNumber in interface SourceLocatorgetLineNumber in interface InstructionInfogetLineNumber in interface Locatorpublic String getSystemId()
InstructionInfogetSystemId in interface SourceLocatorgetSystemId in interface InstructionInfogetSystemId in interface Locatorpublic int getColumnNumber()
getColumnNumber in interface SourceLocatorgetColumnNumber in interface Locatorpublic String getPublicId()
getPublicId in interface SourceLocatorgetPublicId in interface Locatorpublic 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 Object getProperty(String name)
InstructionInfogetProperty in interface InstructionInfoname - The name of the required propertypublic Iterator<String> getProperties()
getProperties in interface InstructionInfoCopyright (c) 2004-2013 Saxonica Limited. All rights reserved.