Package eu.bandm.tools.tpath.absy

Class TPath.__Patterns

java.lang.Object

eu.bandm.tools.tpath.absy.TPath.__Patterns

Enclosing class:

TPath

public static class TPath.__Patterns
extends Object

Ancillary class providing Paisley compound patterns. The methods with names cast_[T] simply call ReflectionPatterns.forInstancesOf(java.lang.Class, eu.bandm.tools.paisley.Pattern). Thus they combine a pattern which matches some super type with a type check.

The methods with names term_[T] get as parameters one pattern for the super class and one for each own field and combine them to a pattern for the class T.

(The 'term(..)' methods do intentionally not include the code of the 'cast(..)' methods, because the latter is not needed when the former is used as the pattern for the superclass.)

Constructor Summary

Constructors

Constructor	Description
__Patterns()

Method Summary

Modifier and Type	Method	Description
static Pattern<Object>	cast_And(Pattern<? super TPath.And> p)
static Pattern<Object>	cast_AxisSpecifier(Pattern<? super TPath.AxisSpecifier> p)
static Pattern<Object>	cast_BinaryExpr(Pattern<? super TPath.BinaryExpr> p)
static Pattern<Object>	cast_Comment(Pattern<? super TPath.Comment> p)
static Pattern<Object>	cast_ComparisonExpr(Pattern<? super TPath.ComparisonExpr> p)
static Pattern<Object>	cast_Div(Pattern<? super TPath.Div> p)
static Pattern<Object>	cast_Eq(Pattern<? super TPath.Eq> p)
static Pattern<Object>	cast_EqualityExpr(Pattern<? super TPath.EqualityExpr> p)
static Pattern<Object>	cast_Expr(Pattern<? super TPath.Expr> p)
static Pattern<Object>	cast_Filter(Pattern<? super TPath.Filter> p)
static Pattern<Object>	cast_FunctionCall(Pattern<? super TPath.FunctionCall> p)
static Pattern<Object>	cast_Geq(Pattern<? super TPath.Geq> p)
static Pattern<Object>	cast_Gt(Pattern<? super TPath.Gt> p)
static Pattern<Object>	cast_Item(Pattern<? super TPath.Item> p)
static Pattern<Object>	cast_Leq(Pattern<? super TPath.Leq> p)
static Pattern<Object>	cast_Literal(Pattern<? super TPath.Literal> p)
static Pattern<Object>	cast_LogicalExpr(Pattern<? super TPath.LogicalExpr> p)
static Pattern<Object>	cast_Lt(Pattern<? super TPath.Lt> p)
static Pattern<Object>	cast_Minus(Pattern<? super TPath.Minus> p)
static Pattern<Object>	cast_Mod(Pattern<? super TPath.Mod> p)
static Pattern<Object>	cast_Mult(Pattern<? super TPath.Mult> p)
static Pattern<Object>	cast_NameTest(Pattern<? super TPath.NameTest> p)
static Pattern<Object>	cast_Neg(Pattern<? super TPath.Neg> p)
static Pattern<Object>	cast_Neq(Pattern<? super TPath.Neq> p)
static Pattern<Object>	cast_Node(Pattern<? super TPath.Node> p)
static Pattern<Object>	cast_Number(Pattern<? super TPath.Number> p)
static Pattern<Object>	cast_NumericExpr(Pattern<? super TPath.NumericExpr> p)
static Pattern<Object>	cast_Or(Pattern<? super TPath.Or> p)
static Pattern<Object>	cast_Paren(Pattern<? super TPath.Paren> p)
static Pattern<Object>	cast_PathExpr(Pattern<? super TPath.PathExpr> p)
static Pattern<Object>	cast_Plus(Pattern<? super TPath.Plus> p)
static Pattern<Object>	cast_ProcessingInstruction(Pattern<? super TPath.ProcessingInstruction> p)
static Pattern<Object>	cast_Root(Pattern<? super TPath.Root> p)
static Pattern<Object>	cast_Step(Pattern<? super TPath.Step> p)
static Pattern<Object>	cast_Test(Pattern<? super TPath.Test> p)
static Pattern<Object>	cast_Text(Pattern<? super TPath.Text> p)
static Pattern<Object>	cast_TypeTest(Pattern<? super TPath.TypeTest> p)
static Pattern<Object>	cast_UnaryExpr(Pattern<? super TPath.UnaryExpr> p)
static Pattern<Object>	cast_Union(Pattern<? super TPath.Union> p)
static Pattern<Object>	cast_ValueExpr(Pattern<? super TPath.ValueExpr> p)
static Pattern<Object>	cast_VariableReference(Pattern<? super TPath.VariableReference> p)
static Pattern<TPath.And>	term_And(Pattern<? super TPath.LogicalExpr> superpattern)
static Pattern<TPath.AxisSpecifier>	term_AxisSpecifier(Pattern<? super TPath.Item> superpattern, Pattern<? super Axis> p_axis)
static Pattern<TPath.BinaryExpr>	term_BinaryExpr(Pattern<? super TPath.Expr> superpattern, Pattern<? super TPath.Expr> p_left, Pattern<? super TPath.Expr> p_right)
static Pattern<TPath.Comment>	term_Comment(Pattern<? super TPath.TypeTest> superpattern)
static Pattern<TPath.ComparisonExpr>	term_ComparisonExpr(Pattern<? super TPath.BinaryExpr> superpattern)
static Pattern<TPath.Div>	term_Div(Pattern<? super TPath.NumericExpr> superpattern)
static Pattern<TPath.Eq>	term_Eq(Pattern<? super TPath.EqualityExpr> superpattern)
static Pattern<TPath.EqualityExpr>	term_EqualityExpr(Pattern<? super TPath.BinaryExpr> superpattern)
static Pattern<TPath.Expr>	term_Expr(Pattern<? super TPath.Item> superpattern, Pattern<? super Boolean> p_forcing, Pattern<? super Boolean> p_forced)
static Pattern<TPath.Filter>	term_Filter(Pattern<? super TPath.BinaryExpr> superpattern)
static Pattern<TPath.FunctionCall>	term_FunctionCall(Pattern<? super TPath.Expr> superpattern, Pattern<? super String> p_name, Pattern<? super CheckedList<TPath.Expr>> p_args)
static Pattern<TPath.Geq>	term_Geq(Pattern<? super TPath.ComparisonExpr> superpattern)
static Pattern<TPath.Gt>	term_Gt(Pattern<? super TPath.ComparisonExpr> superpattern)
static Pattern<TPath.Item>	term_Item(Pattern<Object> superpattern, Pattern<? super Location<XMLDocumentIdentifier>> p_location)
static Pattern<TPath.Leq>	term_Leq(Pattern<? super TPath.ComparisonExpr> superpattern)
static Pattern<TPath.Literal>	term_Literal(Pattern<? super TPath.ValueExpr> superpattern, Pattern<? super String> p_text)
static Pattern<TPath.LogicalExpr>	term_LogicalExpr(Pattern<? super TPath.BinaryExpr> superpattern)
static Pattern<TPath.Lt>	term_Lt(Pattern<? super TPath.ComparisonExpr> superpattern)
static Pattern<TPath.Minus>	term_Minus(Pattern<? super TPath.NumericExpr> superpattern)
static Pattern<TPath.Mod>	term_Mod(Pattern<? super TPath.NumericExpr> superpattern)
static Pattern<TPath.Mult>	term_Mult(Pattern<? super TPath.NumericExpr> superpattern)
static Pattern<TPath.NameTest>	term_NameTest(Pattern<? super TPath.Test> superpattern, Pattern<? super String> p_prefix, Pattern<? super String> p_suffix)
static Pattern<TPath.Neg>	term_Neg(Pattern<? super TPath.UnaryExpr> superpattern)
static Pattern<TPath.Neq>	term_Neq(Pattern<? super TPath.EqualityExpr> superpattern)
static Pattern<TPath.Node>	term_Node(Pattern<? super TPath.TypeTest> superpattern)
static Pattern<TPath.Number>	term_Number(Pattern<? super TPath.ValueExpr> superpattern, Pattern<? super Double> p_value)
static Pattern<TPath.NumericExpr>	term_NumericExpr(Pattern<? super TPath.BinaryExpr> superpattern)
static Pattern<TPath.Or>	term_Or(Pattern<? super TPath.LogicalExpr> superpattern)
static Pattern<TPath.Paren>	term_Paren(Pattern<? super TPath.UnaryExpr> superpattern)
static Pattern<TPath.PathExpr>	term_PathExpr(Pattern<? super TPath.Expr> superpattern)
static Pattern<TPath.Plus>	term_Plus(Pattern<? super TPath.NumericExpr> superpattern)
static Pattern<TPath.ProcessingInstruction>	term_ProcessingInstruction(Pattern<? super TPath.TypeTest> superpattern, Pattern<? super String> p_target)
static Pattern<TPath.Root>	term_Root(Pattern<? super TPath.PathExpr> superpattern)
static Pattern<TPath.Step>	term_Step(Pattern<? super TPath.PathExpr> superpattern, Pattern<? super TPath.Expr> p_base, Pattern<? super TPath.AxisSpecifier> p_axis, Pattern<? super TPath.Test> p_test, Pattern<? super CheckedList<TPath.Expr>> p_predicates)
static Pattern<TPath.Test>	term_Test(Pattern<? super TPath.Item> superpattern)
static Pattern<TPath.Text>	term_Text(Pattern<? super TPath.TypeTest> superpattern)
static Pattern<TPath.TypeTest>	term_TypeTest(Pattern<? super TPath.Test> superpattern)
static Pattern<TPath.UnaryExpr>	term_UnaryExpr(Pattern<? super TPath.Expr> superpattern, Pattern<? super TPath.Expr> p_arg)
static Pattern<TPath.Union>	term_Union(Pattern<? super TPath.BinaryExpr> superpattern)
static Pattern<TPath.ValueExpr>	term_ValueExpr(Pattern<? super TPath.Expr> superpattern)
static Pattern<TPath.VariableReference>	term_VariableReference(Pattern<? super TPath.ValueExpr> superpattern, Pattern<? super String> p_name)

Methods inherited from class java.lang.Object

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

Constructor Details

__Patterns

public __Patterns()

Method Details

cast_Plus

public static Pattern<Object> cast_Plus(Pattern<? super TPath.Plus> p)

term_Plus

public static Pattern<TPath.Plus> term_Plus(Pattern<? super TPath.NumericExpr> superpattern)

cast_ValueExpr

public static Pattern<Object> cast_ValueExpr(Pattern<? super TPath.ValueExpr> p)

term_ValueExpr

public static Pattern<TPath.ValueExpr> term_ValueExpr(Pattern<? super TPath.Expr> superpattern)

cast_And

public static Pattern<Object> cast_And(Pattern<? super TPath.And> p)

term_And

public static Pattern<TPath.And> term_And(Pattern<? super TPath.LogicalExpr> superpattern)

cast_Minus

public static Pattern<Object> cast_Minus(Pattern<? super TPath.Minus> p)

term_Minus

public static Pattern<TPath.Minus> term_Minus(Pattern<? super TPath.NumericExpr> superpattern)

cast_Test

public static Pattern<Object> cast_Test(Pattern<? super TPath.Test> p)

term_Test

public static Pattern<TPath.Test> term_Test(Pattern<? super TPath.Item> superpattern)

cast_Expr

public static Pattern<Object> cast_Expr(Pattern<? super TPath.Expr> p)

term_Expr

public static Pattern<TPath.Expr> term_Expr(Pattern<? super TPath.Item> superpattern,
 Pattern<? super Boolean> p_forcing,
 Pattern<? super Boolean> p_forced)

cast_Filter

public static Pattern<Object> cast_Filter(Pattern<? super TPath.Filter> p)

term_Filter

public static Pattern<TPath.Filter> term_Filter(Pattern<? super TPath.BinaryExpr> superpattern)

cast_Literal

public static Pattern<Object> cast_Literal(Pattern<? super TPath.Literal> p)

term_Literal

public static Pattern<TPath.Literal> term_Literal(Pattern<? super TPath.ValueExpr> superpattern,
 Pattern<? super String> p_text)

cast_Or

public static Pattern<Object> cast_Or(Pattern<? super TPath.Or> p)

term_Or

public static Pattern<TPath.Or> term_Or(Pattern<? super TPath.LogicalExpr> superpattern)

cast_Item

public static Pattern<Object> cast_Item(Pattern<? super TPath.Item> p)

term_Item

public static Pattern<TPath.Item> term_Item(Pattern<Object> superpattern,
 Pattern<? super Location<XMLDocumentIdentifier>> p_location)

cast_NumericExpr

public static Pattern<Object> cast_NumericExpr(Pattern<? super TPath.NumericExpr> p)

term_NumericExpr

public static Pattern<TPath.NumericExpr> term_NumericExpr(Pattern<? super TPath.BinaryExpr> superpattern)

cast_PathExpr

public static Pattern<Object> cast_PathExpr(Pattern<? super TPath.PathExpr> p)

term_PathExpr

public static Pattern<TPath.PathExpr> term_PathExpr(Pattern<? super TPath.Expr> superpattern)

cast_Number

public static Pattern<Object> cast_Number(Pattern<? super TPath.Number> p)

term_Number

public static Pattern<TPath.Number> term_Number(Pattern<? super TPath.ValueExpr> superpattern,
 Pattern<? super Double> p_value)

cast_Lt

public static Pattern<Object> cast_Lt(Pattern<? super TPath.Lt> p)

term_Lt

public static Pattern<TPath.Lt> term_Lt(Pattern<? super TPath.ComparisonExpr> superpattern)

cast_Neg

public static Pattern<Object> cast_Neg(Pattern<? super TPath.Neg> p)

term_Neg

public static Pattern<TPath.Neg> term_Neg(Pattern<? super TPath.UnaryExpr> superpattern)

cast_EqualityExpr

public static Pattern<Object> cast_EqualityExpr(Pattern<? super TPath.EqualityExpr> p)

term_EqualityExpr

public static Pattern<TPath.EqualityExpr> term_EqualityExpr(Pattern<? super TPath.BinaryExpr> superpattern)

cast_Eq

public static Pattern<Object> cast_Eq(Pattern<? super TPath.Eq> p)

term_Eq

public static Pattern<TPath.Eq> term_Eq(Pattern<? super TPath.EqualityExpr> superpattern)

cast_Neq

public static Pattern<Object> cast_Neq(Pattern<? super TPath.Neq> p)

term_Neq

public static Pattern<TPath.Neq> term_Neq(Pattern<? super TPath.EqualityExpr> superpattern)

cast_Geq

public static Pattern<Object> cast_Geq(Pattern<? super TPath.Geq> p)

term_Geq

public static Pattern<TPath.Geq> term_Geq(Pattern<? super TPath.ComparisonExpr> superpattern)

cast_NameTest

public static Pattern<Object> cast_NameTest(Pattern<? super TPath.NameTest> p)

term_NameTest

public static Pattern<TPath.NameTest> term_NameTest(Pattern<? super TPath.Test> superpattern,
 Pattern<? super String> p_prefix,
 Pattern<? super String> p_suffix)

cast_Comment

public static Pattern<Object> cast_Comment(Pattern<? super TPath.Comment> p)

term_Comment

public static Pattern<TPath.Comment> term_Comment(Pattern<? super TPath.TypeTest> superpattern)

cast_Mod

public static Pattern<Object> cast_Mod(Pattern<? super TPath.Mod> p)

term_Mod

public static Pattern<TPath.Mod> term_Mod(Pattern<? super TPath.NumericExpr> superpattern)

cast_UnaryExpr

public static Pattern<Object> cast_UnaryExpr(Pattern<? super TPath.UnaryExpr> p)

term_UnaryExpr

public static Pattern<TPath.UnaryExpr> term_UnaryExpr(Pattern<? super TPath.Expr> superpattern,
 Pattern<? super TPath.Expr> p_arg)

cast_Node

public static Pattern<Object> cast_Node(Pattern<? super TPath.Node> p)

term_Node

public static Pattern<TPath.Node> term_Node(Pattern<? super TPath.TypeTest> superpattern)

cast_Gt

public static Pattern<Object> cast_Gt(Pattern<? super TPath.Gt> p)

term_Gt

public static Pattern<TPath.Gt> term_Gt(Pattern<? super TPath.ComparisonExpr> superpattern)

cast_LogicalExpr

public static Pattern<Object> cast_LogicalExpr(Pattern<? super TPath.LogicalExpr> p)

term_LogicalExpr

public static Pattern<TPath.LogicalExpr> term_LogicalExpr(Pattern<? super TPath.BinaryExpr> superpattern)

cast_Text

public static Pattern<Object> cast_Text(Pattern<? super TPath.Text> p)

term_Text

public static Pattern<TPath.Text> term_Text(Pattern<? super TPath.TypeTest> superpattern)

cast_Paren

public static Pattern<Object> cast_Paren(Pattern<? super TPath.Paren> p)

term_Paren

public static Pattern<TPath.Paren> term_Paren(Pattern<? super TPath.UnaryExpr> superpattern)

cast_Root

public static Pattern<Object> cast_Root(Pattern<? super TPath.Root> p)

term_Root

public static Pattern<TPath.Root> term_Root(Pattern<? super TPath.PathExpr> superpattern)

cast_BinaryExpr

public static Pattern<Object> cast_BinaryExpr(Pattern<? super TPath.BinaryExpr> p)

term_BinaryExpr

public static Pattern<TPath.BinaryExpr> term_BinaryExpr(Pattern<? super TPath.Expr> superpattern,
 Pattern<? super TPath.Expr> p_left,
 Pattern<? super TPath.Expr> p_right)

cast_ComparisonExpr

public static Pattern<Object> cast_ComparisonExpr(Pattern<? super TPath.ComparisonExpr> p)

term_ComparisonExpr

public static Pattern<TPath.ComparisonExpr> term_ComparisonExpr(Pattern<? super TPath.BinaryExpr> superpattern)

cast_Step

public static Pattern<Object> cast_Step(Pattern<? super TPath.Step> p)

term_Step

public static Pattern<TPath.Step> term_Step(Pattern<? super TPath.PathExpr> superpattern,
 Pattern<? super TPath.Expr> p_base,
 Pattern<? super TPath.AxisSpecifier> p_axis,
 Pattern<? super TPath.Test> p_test,
 Pattern<? super CheckedList<TPath.Expr>> p_predicates)

cast_AxisSpecifier

public static Pattern<Object> cast_AxisSpecifier(Pattern<? super TPath.AxisSpecifier> p)

term_AxisSpecifier

public static Pattern<TPath.AxisSpecifier> term_AxisSpecifier(Pattern<? super TPath.Item> superpattern,
 Pattern<? super Axis> p_axis)

cast_Union

public static Pattern<Object> cast_Union(Pattern<? super TPath.Union> p)

term_Union

public static Pattern<TPath.Union> term_Union(Pattern<? super TPath.BinaryExpr> superpattern)

cast_Mult

public static Pattern<Object> cast_Mult(Pattern<? super TPath.Mult> p)

term_Mult

public static Pattern<TPath.Mult> term_Mult(Pattern<? super TPath.NumericExpr> superpattern)

cast_FunctionCall

public static Pattern<Object> cast_FunctionCall(Pattern<? super TPath.FunctionCall> p)

term_FunctionCall

public static Pattern<TPath.FunctionCall> term_FunctionCall(Pattern<? super TPath.Expr> superpattern,
 Pattern<? super String> p_name,
 Pattern<? super CheckedList<TPath.Expr>> p_args)

cast_TypeTest

public static Pattern<Object> cast_TypeTest(Pattern<? super TPath.TypeTest> p)

term_TypeTest

public static Pattern<TPath.TypeTest> term_TypeTest(Pattern<? super TPath.Test> superpattern)

cast_Leq

public static Pattern<Object> cast_Leq(Pattern<? super TPath.Leq> p)

term_Leq

public static Pattern<TPath.Leq> term_Leq(Pattern<? super TPath.ComparisonExpr> superpattern)

cast_ProcessingInstruction

public static Pattern<Object> cast_ProcessingInstruction(Pattern<? super TPath.ProcessingInstruction> p)

term_ProcessingInstruction

public static Pattern<TPath.ProcessingInstruction> term_ProcessingInstruction(Pattern<? super TPath.TypeTest> superpattern,
 Pattern<? super String> p_target)

cast_VariableReference

public static Pattern<Object> cast_VariableReference(Pattern<? super TPath.VariableReference> p)

term_VariableReference

public static Pattern<TPath.VariableReference> term_VariableReference(Pattern<? super TPath.ValueExpr> superpattern,
 Pattern<? super String> p_name)

cast_Div

public static Pattern<Object> cast_Div(Pattern<? super TPath.Div> p)

term_Div

public static Pattern<TPath.Div> term_Div(Pattern<? super TPath.NumericExpr> superpattern)