net.sf.saxon.instruct
Class Procedure
java.lang.Object
|
+--net.sf.saxon.instruct.Procedure
- All Implemented Interfaces:
- Container, java.io.Serializable, javax.xml.transform.SourceLocator
- Direct Known Subclasses:
- AttributeSet, KeyDefinition, Template, UserFunction
- public class Procedure
- extends java.lang.Object
- implements java.io.Serializable, Container
This object represents the compiled form of a user-written function, template, attribute-set, etc
(the source can be either an XSLT stylesheet function or an XQuery function).
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.
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Procedure
public Procedure()
setBody
public void setBody(Expression body)
getBody
public Expression getBody()
setStackFrameMap
public void setStackFrameMap(SlotManager map)
getStackFrameMap
public SlotManager getStackFrameMap()
getExecutable
public Executable getExecutable()
- Description copied from interface:
Container
- Get the Executable (representing a complete stylesheet or query) of which this Container forms part
- Specified by:
getExecutable
in interface Container
setExecutable
public void setExecutable(Executable executable)
setLineNumber
public void setLineNumber(int lineNumber)
setSystemId
public void setSystemId(java.lang.String systemId)
getLineNumber
public int getLineNumber()
- Specified by:
getLineNumber
in interface javax.xml.transform.SourceLocator
getSystemId
public java.lang.String getSystemId()
- Specified by:
getSystemId
in interface javax.xml.transform.SourceLocator
getColumnNumber
public int getColumnNumber()
- Specified by:
getColumnNumber
in interface javax.xml.transform.SourceLocator
getPublicId
public java.lang.String getPublicId()
- Specified by:
getPublicId
in interface javax.xml.transform.SourceLocator