A code injector can be used to add code to the expression tree (for example, diagnostic tracing code) during the process of parsing and tree construction
Callback for selecting expressions in the tree
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
A data structure that represents the required type of the context item, together with information about whether it is known to be present or absent or whether it is not known statically whether it is present or absent.
Class to hold details of the location of an expression, of an error in a source file, etc.
This class, ExpressionTool, contains a number of useful static methods for manipulating expressions.
The ExpressionVisitor supports the various phases of processing of an expression tree which require a recursive walk of the tree structure visiting each node in turn.
This class performs optimizations that vary between different versions of the Saxon product.
A PathMap is a description of all the paths followed by an expression.
An arc joining two nodes in the path map.
A node in the path map.
A (mutable) set of nodes in the path map
A root node in the path map.
PromotionOffer is an object used transiently during compilation of an expression.
A RoleLocator identifies the role in which an expression is used, for example as the third argument of the concat() function.
This class holds static constants and methods defining the lexical tokens used in XPath and XQuery, and associated keywords.
Tokenizer for expressions and inputs.
This class provides Saxon's type checking capability.
Parser for XPath expressions and XSLT patterns.
This package contains classes associated with parsing and general static analysis of XPath expressions.
Michael H. Kay
28 November 2011
Copyright (c) 2004-2014 Saxonica Limited. All rights reserved.