Package eu.bandm.tools.xslt.base

Class TPathCache.ExprClassified

java.lang.Object

eu.bandm.tools.xslt.base.TPathCache.ExprClassified

Enclosing class:

TPathCache

public static class TPathCache.ExprClassified
extends Object

Holds the results of parsing and analysis.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) String	canonical	Canonical re-constructed source text.
(package private) TPath.Literal	constValue	Is !=null iff the expression has one constant string value.
(package private) @Opt String	constValueString	Is set !=null iff there is no computing required, ie.
(package private) @Opt Location<XMLDocumentIdentifier>	errorLocation	Parsing result, "null" means erronuous.
(package private) TPath.Expr	expr	Parsing result, "null" means erronuous.
protected TPathCache.ExprClassified	lowestTest
(package private) @Opt List<TPathCache.PatternPart>	patternParts	Used only if expr is used as a "pattern".
(package private) TPathCache.sensitivity	sens
(package private) @Opt Type.XPathType	type
(package private) final Set<String>	variableNames

Constructor Summary

Constructors

Constructor	Description
ExprClassified()

Method Summary

Modifier and Type	Method	Description
(package private) void	classify()	calculate the sensitivity.
(package private) String	getAttributeTemplateSource()
(package private) boolean	isConst()
(package private) TPathCache.ExprClassified	onlyLowestTest()	Returns a clone (if necessary) which contains only the lowest test (step or function or root, etc.)

Methods inherited from class java.lang.Object

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

Field Details

expr

@Opt
TPath.Expr expr

Parsing result, "null" means erronuous.

errorLocation

@Opt
@Opt Location<XMLDocumentIdentifier> errorLocation

Parsing result, "null" means erronuous.

canonical

String canonical

Canonical re-constructed source text.

constValue

@Opt
TPath.Literal constValue

Is !=null iff the expression has one constant string value.

constValueString

@Opt
@Opt String constValueString

Is set !=null iff there is no computing required, ie. no embedded xpath expr in source text. This value can be used for early attribute type check.

    input              "{{a"        "{{{a}"           "{concat('a','b')}"
    canonical          "'{a'"       "concat('{',a)"   "concat('a','b')"
    constValueString   "{a"         null              null
  

(Currently there is no evaluation of functions with constant-only argument, but this could change.)

type

@Opt
@Opt Type.XPathType type

sens

TPathCache.sensitivity sens

variableNames

final Set<String> variableNames

patternParts

@Opt
@Opt List<TPathCache.PatternPart> patternParts

Used only if expr is used as a "pattern". (i.e. at a syntax position requiring a pattern.) Then the test TPathCache.checkPattern(eu.bandm.tools.message.MessageReceiver<eu.bandm.tools.message.SimpleMessage<eu.bandm.tools.util.xml.XMLDocumentIdentifier>>,@eu.bandm.tools.annotations.Opt eu.bandm.tools.location.Location<eu.bandm.tools.util.xml.XMLDocumentIdentifier>,eu.bandm.tools.xslt.base.TPathCache.ExprClassified,boolean,java.lang.String) will be called from the static check phase. Contains analysis results, split by all top-level "union=|" operators. A value of null means "not yet tested", an empty List means it is not a pattern.

lowestTest

protected TPathCache.ExprClassified lowestTest

Constructor Details

ExprClassified

public ExprClassified()

Method Details

isConst

boolean isConst()

getAttributeTemplateSource

String getAttributeTemplateSource()

Returns:

the canonicalized shortest form of an attribute value as an attribute value template: in case of one single literal simply its string value; otherwise the expression in "evaluation brackets {}".

classify

void classify()

calculate the sensitivity. FIXME collect all vars wird zu früh abgebrochen? NÖTIG ??

onlyLowestTest

TPathCache.ExprClassified onlyLowestTest()

Returns a clone (if necessary) which contains only the lowest test (step or function or root, etc.)