public interface TypeCheckerEnvironment
Modifier and Type | Method and Description |
---|---|
Configuration |
getConfiguration() |
void |
issueWarning(java.lang.String message,
javax.xml.transform.SourceLocator locator) |
XPathContext |
makeDynamicContext() |
Expression |
simplify(Expression exp) |
Expression |
typeCheck(Expression exp,
ContextItemStaticInfo contextInfo) |
Configuration getConfiguration()
void issueWarning(java.lang.String message, javax.xml.transform.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.