Uses of Class
eu.bandm.tools.tpath.absy.TPath.Expr
Packages that use TPath.Expr
Package
Description
Abstract syntax of the tpath language, realized as a umod model.
Infrastructure for evaluating tpath expressions.
Type checking for tpath expressions.
txsl = typed xslt 1.0 interpreter with "fragmented validation".
-
Uses of TPath.Expr in eu.bandm.tools.tpath.absy
Subclasses of TPath.Expr in eu.bandm.tools.tpath.absyModifier and TypeClassDescriptionstatic class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.Fields in eu.bandm.tools.tpath.absy declared as TPath.ExprModifier and TypeFieldDescriptionprotected TPath.Expr
TPath.UnaryExpr.arg
Generated by umod; model author's documentation MISSING.protected TPath.Expr
TPath.Step.base
Generated by umod; model author's documentation MISSING.protected TPath.Expr
TPath.BinaryExpr.left
Generated by umod; model author's documentation MISSING.protected TPath.Expr
TPath.BinaryExpr.right
Generated by umod; model author's documentation MISSING.Fields in eu.bandm.tools.tpath.absy with type parameters of type TPath.ExprModifier and TypeFieldDescriptionprotected CheckedList
<TPath.Expr> TPath.FunctionCall.args
Generated by umod; model author's documentation MISSING.static final Function
<TPath.UnaryExpr, TPath.Expr> TPath.UnaryExpr.get_arg
Deprecated.Use new '::' method reference instead.static final Function
<TPath.FunctionCall, CheckedList<TPath.Expr>> TPath.FunctionCall.get_args
Deprecated.Use new '::' method reference instead.static final Function
<TPath.Step, TPath.Expr> TPath.Step.get_base
Deprecated.Use new '::' method reference instead.static final Function
<TPath.Expr, Boolean> TPath.Expr.get_forced
Deprecated.Use new '::' method reference instead.static final Function
<TPath.Expr, Boolean> TPath.Expr.get_forcing
Deprecated.Use new '::' method reference instead.static final Function
<TPath.BinaryExpr, TPath.Expr> TPath.BinaryExpr.get_left
Deprecated.Use new '::' method reference instead.static final Function
<TPath.Step, CheckedList<TPath.Expr>> TPath.Step.get_predicates
Deprecated.Use new '::' method reference instead.static final Function
<TPath.BinaryExpr, TPath.Expr> TPath.BinaryExpr.get_right
Deprecated.Use new '::' method reference instead.protected CheckedList
<TPath.Expr> TPath.Step.predicates
Generated by umod; model author's documentation MISSING.Methods in eu.bandm.tools.tpath.absy that return TPath.ExprModifier and TypeMethodDescriptionTPath.Expr.doclone()
Clones this object.TPath.UnaryExpr.get_arg()
Generated by umod; model author's documentation MISSING.TPath.Step.get_base()
Generated by umod; model author's documentation MISSING.TPath.BinaryExpr.get_left()
Generated by umod; model author's documentation MISSING.TPath.BinaryExpr.get_right()
Generated by umod; model author's documentation MISSING.Copies values of all common fields from the argument.TPath.__SAX_Parser.matchSAX_Expr()
Methods in eu.bandm.tools.tpath.absy that return types with arguments of type TPath.ExprModifier and TypeMethodDescriptionTPath.FunctionCall.get_args()
Generated by umod; model author's documentation MISSING.static Pattern
<TPath.Expr> TPath.Expr.get_forced
(Pattern<? super Boolean> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern
<TPath.Expr> TPath.Expr.get_forcing
(Pattern<? super Boolean> p) Lifts a pattern which matches the field value to one which matches this whole object.TPath.Step.get_predicates()
Generated by umod; model author's documentation MISSING.protected CheckedList
<TPath.Expr> TPath.__SAX_Parser.parse_0()
protected CheckedList
<TPath.Expr> TPath.__SAX_Parser.parse_1()
static Pattern
<TPath.Expr> TPath.__Patterns.term_Expr
(Pattern<? super TPath.Item> superpattern, Pattern<? super Boolean> p_forcing, Pattern<? super Boolean> p_forced) Methods in eu.bandm.tools.tpath.absy with parameters of type TPath.ExprModifier and TypeMethodDescriptionprotected void
TPath.__Formatter.action
(TPath.Expr el) void
TPath.__SAX_Writer.action
(TPath.Expr e0) protected void
TPath.Dump.action
(TPath.Expr e0) protected void
TPath.MATCH_ONLY_00.action
(TPath.Expr e0) protected void
TPath.Rewriter.action
(TPath.Expr e0) protected void
TPath.Visitor.action
(TPath.Expr e0) protected void
TPath.Dump.descend
(TPath.Expr e0) protected void
TPath.Visitor.descend
(TPath.Expr e0) void
TPath.__SAX_Writer.dumpfields
(TPath.Expr e0) void
TPath.__SAX_Parser.XMLPARSER_Expr.fillFields
(TPath.Expr newobj) static boolean
Util.isAbsolute
(TPath.Expr expr) static boolean
Util.isClosed
(TPath.Expr expr) static boolean
Util.isClosed
(TPath.Expr expr, int bound) void
TPath.MATCH_ONLY_00.match
(TPath.Expr e0) void
TPath.__SAX_Parser.XMLPARSER_Expr.parsefields
(TPath.Expr newobj) protected void
TPath.Visitor.post
(TPath.Expr e0) protected void
TPath.Visitor.pre
(TPath.Expr e0) protected void
TPath.Dump.printscalars
(TPath.Expr e0) protected void
TPath.Rewriter.rewriteFields
(TPath.Expr clone) boolean
TPath.UnaryExpr.set_arg
(TPath.Expr val) Generated by umod; model author's documentation MISSING.boolean
TPath.Step.set_base
(TPath.Expr val) Generated by umod; model author's documentation MISSING.boolean
TPath.BinaryExpr.set_left
(TPath.Expr val) Generated by umod; model author's documentation MISSING.boolean
TPath.BinaryExpr.set_right
(TPath.Expr val) Generated by umod; model author's documentation MISSING.protected Format
TPath.__Formatter.toFormat
(TPath.Expr el) Method parameters in eu.bandm.tools.tpath.absy with type arguments of type TPath.ExprModifier and TypeMethodDescriptionTPath.__Patterns.cast_Expr
(Pattern<? super TPath.Expr> p) static Pattern
<TPath.UnaryExpr> TPath.UnaryExpr.get_arg
(Pattern<? super TPath.Expr> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern
<TPath.FunctionCall> TPath.FunctionCall.get_args
(Pattern<? super CheckedList<TPath.Expr>> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern
<TPath.Step> TPath.Step.get_base
(Pattern<? super TPath.Expr> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern
<TPath.BinaryExpr> TPath.BinaryExpr.get_left
(Pattern<? super TPath.Expr> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern
<TPath.Step> TPath.Step.get_predicates
(Pattern<? super CheckedList<TPath.Expr>> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern
<TPath.BinaryExpr> TPath.BinaryExpr.get_right
(Pattern<? super TPath.Expr> p) Lifts a pattern which matches the field value to one which matches this whole object.boolean
TPath.FunctionCall.set_args
(CheckedList<TPath.Expr> val) Generated by umod; model author's documentation MISSING.boolean
TPath.Step.set_predicates
(CheckedList<TPath.Expr> val) Generated by umod; model author's documentation MISSING.static Pattern
<TPath.BinaryExpr> TPath.__Patterns.term_BinaryExpr
(Pattern<? super TPath.Expr> superpattern, Pattern<? super TPath.Expr> p_left, Pattern<? super TPath.Expr> p_right) static Pattern
<TPath.FunctionCall> TPath.__Patterns.term_FunctionCall
(Pattern<? super TPath.Expr> superpattern, Pattern<? super String> p_name, Pattern<? super CheckedList<TPath.Expr>> p_args) static Pattern
<TPath.PathExpr> TPath.__Patterns.term_PathExpr
(Pattern<? super TPath.Expr> superpattern) static Pattern
<TPath.UnaryExpr> TPath.__Patterns.term_UnaryExpr
(Pattern<? super TPath.Expr> superpattern, Pattern<? super TPath.Expr> p_arg) static Pattern
<TPath.ValueExpr> TPath.__Patterns.term_ValueExpr
(Pattern<? super TPath.Expr> superpattern) Constructors in eu.bandm.tools.tpath.absy with parameters of type TPath.ExprModifierConstructorDescriptionAnd
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.And
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.BinaryExpr
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.BinaryExpr
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.ComparisonExpr
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.ComparisonExpr
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.Div
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.Div
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.Eq
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.Eq
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.EqualityExpr
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.EqualityExpr
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.Filter
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.Filter
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.Geq
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.Geq
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.Gt
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.Gt
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.Leq
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.Leq
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.LogicalExpr
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.LogicalExpr
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.Lt
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.Lt
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.Minus
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.Minus
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.Mod
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.Mod
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.Mult
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.Mult
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.Neg
(Location<XMLDocumentIdentifier> location, TPath.Expr arg) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.Neg
(TPath.Expr arg) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.Neq
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.Neq
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.NumericExpr
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.NumericExpr
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.Or
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.Or
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.Paren
(Location<XMLDocumentIdentifier> location, TPath.Expr arg) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.Paren
(TPath.Expr arg) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.Plus
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.Plus
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.Step
(Location<XMLDocumentIdentifier> location, TPath.Expr base, TPath.AxisSpecifier axis, TPath.Test test, CheckedList<TPath.Expr> predicates) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.Step
(TPath.Expr base, TPath.AxisSpecifier axis, TPath.Test test) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.UnaryExpr
(Location<XMLDocumentIdentifier> location, TPath.Expr arg) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.UnaryExpr
(TPath.Expr arg) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.Union
(Location<XMLDocumentIdentifier> location, TPath.Expr left, TPath.Expr right) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.Union
(TPath.Expr left, TPath.Expr right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/.."
.Constructor parameters in eu.bandm.tools.tpath.absy with type arguments of type TPath.ExprModifierConstructorDescriptionFunctionCall
(Location<XMLDocumentIdentifier> location, String name, CheckedList<TPath.Expr> args) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
.Step
(Location<XMLDocumentIdentifier> location, TPath.Expr base, TPath.AxisSpecifier axis, TPath.Test test, CheckedList<TPath.Expr> predicates) Constructor generated according to specification #1
Constructor defined according to directive "C 1/.."
. -
Uses of TPath.Expr in eu.bandm.tools.tpath.parser2
Fields in eu.bandm.tools.tpath.parser2 with type parameters of type TPath.ExprModifier and TypeFieldDescription(package private) final CheckedList
<TPath.Expr> Parser.emptyTests
final Expression
<D, TokenType, TPath.Expr> Parser.expr
Methods in eu.bandm.tools.tpath.parser2 that return TPath.ExprModifier and TypeMethodDescriptionParser.parse
(Reader reader, MessageReceiver<SimpleMessage<D>> msg, D sourceIndication) Service Access Point for converting a complete text (ended with EOF) into a tpath expression.Parser.parse_AVT
(Reader reader, MessageReceiver<SimpleMessage<D>> msg, D sourceIndication) Parse an "xslt attribute value template".Methods in eu.bandm.tools.tpath.parser2 that return types with arguments of type TPath.ExprModifier and TypeMethodDescriptionParser.attributeValueTemplate
(LookaheadTokenMultiplexer<Boolean, D, TokenType, int[]> mux) Parsing rule for an XSLT "Attribute Value Template".Parser.parse_embed
(LookaheadTokenMultiplexer<Boolean, D, TokenType, int[]> mux) Parsing rule for a segment (verbatim or embedded) of an XSLT "Attribute Value Template". -
Uses of TPath.Expr in eu.bandm.tools.tpath.runtime
Methods in eu.bandm.tools.tpath.runtime that return TPath.ExprMethods in eu.bandm.tools.tpath.runtime with parameters of type TPath.ExprModifier and TypeMethodDescriptionSimpleInterpreter.apply
(Context<N> context, TPath.Expr expr) protected void
SimpleInterpreter.Visitor.filter
(TPath.Expr pred, boolean unreverse) Method parameters in eu.bandm.tools.tpath.runtime with type arguments of type TPath.ExprModifier and TypeMethodDescriptionSimpleInterpreter.step
(Context<N> context, TPath.AxisSpecifier axis, TPath.Test test, List<TPath.Expr> predicates) -
Uses of TPath.Expr in eu.bandm.tools.tpath.type
Methods in eu.bandm.tools.tpath.type with parameters of type TPath.ExprModifier and TypeMethodDescriptionTypeInference.infer
(TPath.Expr expr, Function<String, String> namespaceMappings, Function<NamespaceName, Type.XPathProperType> variables) -
Uses of TPath.Expr in eu.bandm.tools.xslt.base
Fields in eu.bandm.tools.xslt.base declared as TPath.ExprModifier and TypeFieldDescription(package private) TPath.Expr
TPathCache.ExprClassified.expr
Parsing result, "null" means erronuous.(package private) TPath.Expr
TPathCache.PatternPart.expr
The TPath expression which must be evaluated, part of a top-level "union" expression.(package private) TPath.Expr
TPathCache.PatternPart.root
A TPath expression of kind TPath.Root or TPath.Function, which is the top-most tpath element (the left-most in front-end notation, and the first when stepping down the document.) Field ==null, iff the pattern is un-rooted = existentially quantified.Fields in eu.bandm.tools.xslt.base with type parameters of type TPath.ExprModifier and TypeFieldDescription(package private) static final Map
<TPath.Expr, TPath.Expr> TPathCache.cache_all_quantified
(package private) static final Map
<TPath.Expr, TPath.Expr> TPathCache.cache_all_quantified
Application.cache_constant_pattern_values
The first key into this map is a NamespaceName context, ie.(package private) final List
<TPath.Expr> AttributeValueTemplate.result
Methods in eu.bandm.tools.xslt.base that return TPath.ExprModifier and TypeMethodDescription(package private) static TPath.Expr
TPathCache.copyLocation
(TPath.Expr newer, TPath.Expr old) (package private) static final TPath.Expr
TPathCache.make_all_quantified
(TPath.Expr expr) Any expression of un-rooted type "a/b/..."
= TPath.Step()->base->Step->base->null
can be interpreted existentially quantified by prepending with
"/descendant-or-self::node()/a/b/.."
= TPath.Step()->base->Step->base-> (descendant-or-self) Root
This is realized by a copy, which is cached and can be used as key for the cached evaluation result.AttributeValueTemplate.parse
(String s, MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg) Accumulate constant character data in StringbuilderAttributeValueTemplate.konst
or call a tpath parser.(package private) static TPath.Expr
TPathCache.withRoot
(TPath.Expr expr, TPath.Expr root) Return a clone which has the given root instead of a base of null; distribute this over a possible top-level "union" operation.Methods in eu.bandm.tools.xslt.base with parameters of type TPath.ExprModifier and TypeMethodDescriptionprotected void
Rt.MATCH_ONLY_00.action
(TPath.Expr e0) Application.calculate_absolute_pattern_value
(TPath.Expr expr) calculate and cache node sets which only depend on the namespace context.protected void
TPathCache.checkTop
(TPath.Expr expr) (package private) static TPath.Expr
TPathCache.copyLocation
(TPath.Expr newer, TPath.Expr old) (package private) static final TPath.Expr
TPathCache.make_all_quantified
(TPath.Expr expr) Any expression of un-rooted type "a/b/..."
= TPath.Step()->base->Step->base->null
can be interpreted existentially quantified by prepending with
"/descendant-or-self::node()/a/b/.."
= TPath.Step()->base->Step->base-> (descendant-or-self) Root
This is realized by a copy, which is cached and can be used as key for the cached evaluation result.protected void
TPathCache.splitTop
(TPath.Expr expr) (package private) static TPath.Expr
TPathCache.withRoot
(TPath.Expr expr, TPath.Expr root) Return a clone which has the given root instead of a base of null; distribute this over a possible top-level "union" operation.