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, wait
getConstructType, getObjectName
protected Expression body
public int getContainerGranularity()
getContainerGranularity
in interface Container
public void setBody(Expression body)
public void setHostLanguage(int language)
public int getHostLanguage()
Container
getHostLanguage
in interface Container
Configuration.XSLT
or Configuration.XQUERY
public final Expression getBody()
public void setStackFrameMap(SlotManager map)
public SlotManager getStackFrameMap()
public final Executable getExecutable()
Container
getExecutable
in interface Container
public void setExecutable(Executable executable)
public LocationProvider getLocationProvider()
getLocationProvider
in interface Container
public void setLineNumber(int lineNumber)
public void setSystemId(String systemId)
public int getLineNumber()
InstructionInfo
getLineNumber
in interface SourceLocator
getLineNumber
in interface InstructionInfo
getLineNumber
in interface Locator
public String getSystemId()
InstructionInfo
getSystemId
in interface SourceLocator
getSystemId
in interface InstructionInfo
getSystemId
in interface Locator
public int getColumnNumber()
getColumnNumber
in interface SourceLocator
getColumnNumber
in interface Locator
public String getPublicId()
getPublicId
in interface SourceLocator
getPublicId
in interface Locator
public String getSystemId(long locationId)
LocationProvider
getSystemId
in interface LocationProvider
locationId
- identifier of the location in question (as passed down the Receiver pipeline)public int getLineNumber(long locationId)
LocationProvider
getLineNumber
in interface LocationProvider
locationId
- identifier of the location in question (as passed down the Receiver pipeline)public int getColumnNumber(long locationId)
LocationProvider
getColumnNumber
in interface LocationProvider
locationId
- identifier of the location in question (as passed down the Receiver pipeline)public Object getProperty(String name)
InstructionInfo
getProperty
in interface InstructionInfo
name
- The name of the required propertypublic Iterator<String> getProperties()
getProperties
in interface InstructionInfo
Copyright (c) 2004-2013 Saxonica Limited. All rights reserved.