net.sf.saxon.expr.parser

Interface TypeCheckerEnvironment

All Known Implementing Classes:

ExpressionVisitor

public interface TypeCheckerEnvironment

An abstraction of ExpressionVisitor that provides the minimal set of services needed by the TypeChecker; used to allow run-time type-checking of higher order function arguments without retaining the whole static context

Method Summary

Modifier and Type	Method and Description
Configuration	getConfiguration()
void	issueWarning(String message, SourceLocator locator)
XPathContext	makeDynamicContext()
Expression	simplify(Expression exp)
Expression	typeCheck(Expression exp, ContextItemStaticInfo contextInfo)

Method Detail

getConfiguration

Configuration getConfiguration()

issueWarning

void issueWarning(String message,
                  SourceLocator locator)

makeDynamicContext

XPathContext makeDynamicContext()

simplify

Expression simplify(Expression exp)
             throws XPathException

Throws:

XPathException

typeCheck

Expression typeCheck(Expression exp,
                     ContextItemStaticInfo contextInfo)
              throws XPathException

Throws:

XPathException