public interface TypeCheckerEnvironment
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) |
Configuration getConfiguration()
void issueWarning(String message, SourceLocator locator)
XPathContext makeDynamicContext()
Expression simplify(Expression exp) throws XPathException
XPathException
Expression typeCheck(Expression exp, ContextItemStaticInfo contextInfo) throws XPathException
XPathException
Copyright (c) 2004-2014 Saxonica Limited. All rights reserved.