net.sf.saxon.instruct

Class Procedure

public abstract class Procedure extends Object implements Serializable, Container, LocationProvider

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.

Constructor Summary
Procedure()
Method Summary
ExpressiongetBody()
intgetColumnNumber()
ExecutablegetExecutable()
intgetHostLanguage()
intgetLineNumber()
intgetLineNumber(int locationId)
LocationProvidergetLocationProvider()
Get the LocationProvider allowing location identifiers to be resolved.
StringgetPublicId()
SlotManagergetStackFrameMap()
StringgetSystemId()
StringgetSystemId(int locationId)
voidsetBody(Expression body)
voidsetExecutable(Executable executable)
voidsetHostLanguage(int language)
voidsetLineNumber(int lineNumber)
voidsetStackFrameMap(SlotManager map)
voidsetSystemId(String systemId)

Constructor Detail

Procedure

public Procedure()

Method Detail

getBody

public final Expression getBody()

getColumnNumber

public int getColumnNumber()

getExecutable

public final Executable getExecutable()

getHostLanguage

public int getHostLanguage()

getLineNumber

public int getLineNumber()

getLineNumber

public int getLineNumber(int locationId)

getLocationProvider

public LocationProvider getLocationProvider()
Get the LocationProvider allowing location identifiers to be resolved.

getPublicId

public String getPublicId()

getStackFrameMap

public SlotManager getStackFrameMap()

getSystemId

public String getSystemId()

getSystemId

public String getSystemId(int locationId)

setBody

public void setBody(Expression body)

setExecutable

public void setExecutable(Executable executable)

setHostLanguage

public void setHostLanguage(int language)

setLineNumber

public void setLineNumber(int lineNumber)

setStackFrameMap

public void setStackFrameMap(SlotManager map)

setSystemId

public void setSystemId(String systemId)