Package net.sf.saxon

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