public 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.
?????? | ????? |
---|---|
protected Expression |
body |
?????? |
---|
Procedure() |
?????? | ????? |
---|---|
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) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getConstructType, getObjectName
protected Expression body
public void setBody(Expression body)
public void setHostLanguage(int language)
public int getHostLanguage()
Container
getHostLanguage
???? Container
Configuration.XSLT
or Configuration.XQUERY
public final Expression getBody()
public boolean replaceSubExpression(Expression original, Expression replacement)
replaceSubExpression
???? Container
original
- the original subexpressionreplacement
- the replacement subexpressionpublic void setStackFrameMap(SlotManager map)
public SlotManager getStackFrameMap()
public final Executable getExecutable()
Container
getExecutable
???? Container
public void setExecutable(Executable executable)
public LocationProvider getLocationProvider()
getLocationProvider
???? Container
public void setLineNumber(int lineNumber)
public void setSystemId(java.lang.String systemId)
public int getLineNumber()
InstructionInfo
getLineNumber
???? javax.xml.transform.SourceLocator
getLineNumber
???? InstructionInfo
getLineNumber
???? org.xml.sax.Locator
public java.lang.String getSystemId()
InstructionInfo
getSystemId
???? javax.xml.transform.SourceLocator
getSystemId
???? InstructionInfo
getSystemId
???? org.xml.sax.Locator
public int getColumnNumber()
getColumnNumber
???? javax.xml.transform.SourceLocator
getColumnNumber
???? org.xml.sax.Locator
public java.lang.String getPublicId()
getPublicId
???? javax.xml.transform.SourceLocator
getPublicId
???? org.xml.sax.Locator
public java.lang.String getSystemId(long locationId)
LocationProvider
getSystemId
???? LocationProvider
locationId
- identifier of the location in question (as passed down the Receiver pipeline)public int getLineNumber(long locationId)
LocationProvider
getLineNumber
???? LocationProvider
locationId
- identifier of the location in question (as passed down the Receiver pipeline)public int getColumnNumber(long locationId)
LocationProvider
getColumnNumber
???? LocationProvider
locationId
- identifier of the location in question (as passed down the Receiver pipeline)public java.lang.Object getProperty(java.lang.String name)
InstructionInfo
getProperty
???? InstructionInfo
name
- The name of the required propertypublic java.util.Iterator getProperties()
getProperties
???? InstructionInfo