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 classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.static classGenerated by umod; model author's documentation MISSING.Fields in eu.bandm.tools.tpath.absy declared as TPath.ExprModifier and TypeFieldDescriptionprotected TPath.ExprTPath.UnaryExpr.argGenerated by umod; model author's documentation MISSING.protected TPath.ExprTPath.Step.baseGenerated by umod; model author's documentation MISSING.protected TPath.ExprTPath.BinaryExpr.leftGenerated by umod; model author's documentation MISSING.protected TPath.ExprTPath.BinaryExpr.rightGenerated 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.argsGenerated by umod; model author's documentation MISSING.static final Function<TPath.UnaryExpr, TPath.Expr> TPath.UnaryExpr.get_argDeprecated.Use new '::' method reference instead.static final Function<TPath.FunctionCall, CheckedList<TPath.Expr>> TPath.FunctionCall.get_argsDeprecated.Use new '::' method reference instead.static final Function<TPath.Step, TPath.Expr> TPath.Step.get_baseDeprecated.Use new '::' method reference instead.static final Function<TPath.Expr, Boolean> TPath.Expr.get_forcedDeprecated.Use new '::' method reference instead.static final Function<TPath.Expr, Boolean> TPath.Expr.get_forcingDeprecated.Use new '::' method reference instead.static final Function<TPath.BinaryExpr, TPath.Expr> TPath.BinaryExpr.get_leftDeprecated.Use new '::' method reference instead.static final Function<TPath.Step, CheckedList<TPath.Expr>> TPath.Step.get_predicatesDeprecated.Use new '::' method reference instead.static final Function<TPath.BinaryExpr, TPath.Expr> TPath.BinaryExpr.get_rightDeprecated.Use new '::' method reference instead.protected CheckedList<TPath.Expr> TPath.Step.predicatesGenerated 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 voidTPath.__Formatter.action(TPath.Expr el) voidTPath.__SAX_Writer.action(TPath.Expr e0) protected voidTPath.Dump.action(TPath.Expr e0) protected voidTPath.MATCH_ONLY_00.action(TPath.Expr e0) protected voidTPath.Rewriter.action(TPath.Expr e0) protected voidTPath.Visitor.action(TPath.Expr e0) protected voidTPath.Dump.descend(TPath.Expr e0) protected voidTPath.Visitor.descend(TPath.Expr e0) voidTPath.__SAX_Writer.dumpfields(TPath.Expr e0) voidTPath.__SAX_Parser.XMLPARSER_Expr.fillFields(TPath.Expr newobj) static booleanUtil.isAbsolute(TPath.Expr expr) static booleanUtil.isClosed(TPath.Expr expr) static booleanUtil.isClosed(TPath.Expr expr, int bound) voidTPath.MATCH_ONLY_00.match(TPath.Expr e0) voidTPath.__SAX_Parser.XMLPARSER_Expr.parsefields(TPath.Expr newobj) protected voidTPath.Visitor.post(TPath.Expr e0) protected voidTPath.Visitor.pre(TPath.Expr e0) protected voidTPath.Dump.printscalars(TPath.Expr e0) protected voidTPath.Rewriter.rewriteFields(TPath.Expr clone) booleanTPath.UnaryExpr.set_arg(TPath.Expr val) Generated by umod; model author's documentation MISSING.booleanTPath.Step.set_base(TPath.Expr val) Generated by umod; model author's documentation MISSING.booleanTPath.BinaryExpr.set_left(TPath.Expr val) Generated by umod; model author's documentation MISSING.booleanTPath.BinaryExpr.set_right(TPath.Expr val) Generated by umod; model author's documentation MISSING.protected FormatTPath.__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.booleanTPath.FunctionCall.set_args(CheckedList<TPath.Expr> val) Generated by umod; model author's documentation MISSING.booleanTPath.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 Reading<D, TokenType, TPath.Expr> Parser.attributeValueTemplate(package private) final CheckedList<TPath.Expr> Parser.emptyTestsfinal Reading<D, TokenType, TPath.Expr> Parser.exprMethods 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 voidSimpleInterpreter.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.ExprTPathCache.ExprClassified.exprParsing result, "null" means erronuous.(package private) TPath.ExprTPathCache.PatternPart.exprThe TPath expression which must be evaluated, part of a top-level "union" expression.(package private) TPath.ExprTPathCache.PatternPart.rootA 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_quantifiedApplication.cache_constant_pattern_valuesThe first key into this map is a NamespaceName context, ie.(package private) final List<TPath.Expr> AttributeValueTemplate.resultMethods in eu.bandm.tools.xslt.base that return TPath.ExprModifier and TypeMethodDescription(package private) static TPath.ExprTPathCache.copyLocation(TPath.Expr newer, TPath.Expr old) (package private) static final TPath.ExprTPathCache.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.konstor call a tpath parser.(package private) static TPath.ExprTPathCache.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 voidRt.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 voidTPathCache.checkTop(TPath.Expr expr) (package private) static TPath.ExprTPathCache.copyLocation(TPath.Expr newer, TPath.Expr old) (package private) static final TPath.ExprTPathCache.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 voidTPathCache.splitTop(TPath.Expr expr) (package private) static TPath.ExprTPathCache.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.