eu.bandm.tools.xslt.base

Class TPathCache

java.lang.Object

eu.bandm.tools.xslt.base.TPathCache

public class TPathCache
extends Object

Maintains a cache for parsing and analyzing xpath/tpath expressions in context of txsl. All these expressions are values of attributes in an xslt document, i.e. of xslt elements or of result elements. This cache supports two disjoint sets of keys, i.e. two different front-end formats, namely (a) values of dedicated xslt attributes, which are always an xpath source as a whole, (b) attribute value templates (AVTs), containing xpath expressions embedded into constant data, limited by reserved escape characters. The latter can appear in EVERY attribute of a result element, or in dedicated xslt attributes.
The syntax constraints on attribute values are DIFFERENT than in pure XML: Whenever an embedded xpath expressions is indicated by an escape character, the further contents must be parsable as such. So "a{" is a valid value for any CDATA attribute in XML, but not in xslt result elements.
The involved compiler for AVTs is AttributeValueTemplate. It always delivers a TPath.Expr; if there are no opening brackets in the source, this will be one single constant literal expression.
This value is turned into a an TPathCache.ExprClassified, which contains the parsed code and analysis results (or "null" in the code field iff there had been errors.)
Look-up and memorization go in two steps: (1) first look for verbatim cached source. (2) Then parse and look up for canonical source text. If look-up fails, perform analyses and store accordingly.
+ FIXME: List of all variable names collected !?!?
Additionally, the "sensitivity" on the context is calculated:
None -> needs evaluation only once, is constant
Session -> depends only on global variables, needs evaluation only once per application
Multi -> depends on context (=input focus, local vars), needs always re-evaluation

FIXME variable access is context depended.
FIXME But if ALL appearing variable NAMES appear only on global level, this raises sensivity only to "session", not to "multi".
FIXME the "union of relative and absolute" is not yet supported, (????) code has to be unified with /tpath/Util.isAbsolute() !!!!

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	TPathCache.ExprClassified Holds the results of parsing and analysis.
static class	TPathCache.PatternPart Statistic data on the sub-expressions of the top-level TPath.Union expression.
protected class	TPathCache.PredicateChecker
static class	TPathCache.sensitivity This value is ONLY related to the current-node-(list)-context, not to referred variables & functions!

Field Summary

Fields

Modifier and Type	Field and Description
static TPath.Union	ALL_LOWERS tpath "(preceding::node()|nacestor-or-self::node())"
static TPath.Step	ANYWHERE_IN_DOM
protected Map<String,String>	attributeValue_to_canonical
protected Map<String,String>	attributeValueTemplates_to_canonical
static TPath.AxisSpecifier	AXIS_ANC_OR_SELF
static TPath.AxisSpecifier	AXIS_DESC
static TPath.AxisSpecifier	AXIS_DESC_OR_SELF
static TPath.AxisSpecifier	AXIS_PRECEDING
static TPath.AxisSpecifier	AXIS_PRECEDING_SIBS
protected Map<String,TPathCache.ExprClassified>	canonical_to_parsed
static TPath.Step	PRECEDING_SIBS tpath "precedingSiblings::node()"
static TPath.Step	RELATIVE_TO_PRECEDING
static TPath.Node	TPATH_NODE
static TPath.Root	TPATH_ROOT

Constructor Summary

Constructors

Constructor and Description
TPathCache()

Method Summary

Modifier and Type	Method and Description
protected void	checkFunction(TPath.FunctionCall f) Means to check the function which can appear as first (umod: deepest) expression on a path expression ("id(x)/a/b/")
boolean	checkPattern(MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg_EXT, Location<XMLDocumentIdentifier> loc, TPathCache.ExprClassified expr, boolean inTemplateOrKeyMatch, String role) Returns whether the ExprClassified is a pattern, and updates patternParts accordingly.
protected void	checkStep(TPath.Step step, boolean isTop)
protected void	checkTop(TPath.Expr expr)
TPathCache.ExprClassified	parse(MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg_EXT, Location<XMLDocumentIdentifier> loc, NamespaceName attribName, String data, boolean isTemplate) Parse expression source and store result to caches.
protected void	splitTop(TPath.Expr expr)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

attributeValueTemplates_to_canonical

protected Map<String,String> attributeValueTemplates_to_canonical

attributeValue_to_canonical

protected Map<String,String> attributeValue_to_canonical

canonical_to_parsed

protected Map<String,TPathCache.ExprClassified> canonical_to_parsed

TPATH_NODE

public static final TPath.Node TPATH_NODE

TPATH_ROOT

public static final TPath.Root TPATH_ROOT

AXIS_ANC_OR_SELF

public static final TPath.AxisSpecifier AXIS_ANC_OR_SELF

AXIS_DESC

public static final TPath.AxisSpecifier AXIS_DESC

AXIS_DESC_OR_SELF

public static final TPath.AxisSpecifier AXIS_DESC_OR_SELF

AXIS_PRECEDING

public static final TPath.AxisSpecifier AXIS_PRECEDING

AXIS_PRECEDING_SIBS

public static final TPath.AxisSpecifier AXIS_PRECEDING_SIBS

RELATIVE_TO_PRECEDING

public static final TPath.Step RELATIVE_TO_PRECEDING

ANYWHERE_IN_DOM

public static final TPath.Step ANYWHERE_IN_DOM

ALL_LOWERS

public static final TPath.Union ALL_LOWERS

tpath "(preceding::node()|nacestor-or-self::node())"

PRECEDING_SIBS

public static final TPath.Step PRECEDING_SIBS

tpath "precedingSiblings::node()"

Constructor Detail

TPathCache

public TPathCache()

Method Detail

parse

public TPathCache.ExprClassified parse(MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg_EXT,
                                       Location<XMLDocumentIdentifier> loc,
                                       NamespaceName attribName,
                                       String data,
                                       boolean isTemplate)

Parse expression source and store result to caches. Return null in case of parsing errors. Otherwise classify expression for sensitivity. Return cached value, iff it exists. (Error msg must contain an attribute name, since location has only element granularity.)

checkStep

protected void checkStep(TPath.Step step,
                         boolean isTop)

checkFunction

protected void checkFunction(TPath.FunctionCall f)

Means to check the function which can appear as first (umod: deepest) expression on a path expression ("id(x)/a/b/")

checkTop

protected void checkTop(TPath.Expr expr)

splitTop

protected void splitTop(TPath.Expr expr)

checkPattern

public boolean checkPattern(MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg_EXT,
                            Location<XMLDocumentIdentifier> loc,
                            TPathCache.ExprClassified expr,
                            boolean inTemplateOrKeyMatch,
                            String role)

Returns whether the ExprClassified is a pattern, and updates patternParts accordingly. Generates errors if ExprClassified is not correct as a pattern.