Uses of Class
eu.bandm.tools.tpath.absy.TPath.Leq

Packages that use TPath.Leq

Package	Description
eu.bandm.tools.tpath.absy	Abstract syntax of the tpath language, realized as a umod model.
eu.bandm.tools.tpath.runtime	Infrastructure for evaluating tpath expressions.

Uses of TPath.Leq in eu.bandm.tools.tpath.absy

Methods in eu.bandm.tools.tpath.absy that return TPath.Leq

Modifier and Type	Method	Description
TPath.Leq	TPath.Leq.doclone()	Clones this object.
TPath.Leq	TPath.Leq.initFrom(Object o0)	Copies values of all common fields from the argument.

Methods in eu.bandm.tools.tpath.absy that return types with arguments of type TPath.Leq

Modifier and Type	Method	Description
static Pattern<TPath.Leq>	TPath.__Patterns.term_Leq(Pattern<? super TPath.ComparisonExpr> superpattern)

Methods in eu.bandm.tools.tpath.absy with parameters of type TPath.Leq

Modifier and Type	Method	Description
protected void	TPath.__Formatter.action(TPath.Leq el)
protected void	TPath.Dump.action(TPath.Leq e0)
protected void	TPath.MATCH_ONLY_00.action(TPath.Leq e0)
protected void	TPath.Rewriter.action(TPath.Leq e0)
protected void	TPath.Visitor.action(TPath.Leq e0)
protected void	TPath.Dump.descend(TPath.Leq e0)
protected void	TPath.Visitor.descend(TPath.Leq e0)
void	TPath.MATCH_ONLY_00.match(TPath.Leq e0)
protected void	TPath.Visitor.post(TPath.Leq e0)
protected void	TPath.Visitor.pre(TPath.Leq e0)
protected void	TPath.Dump.printscalars(TPath.Leq e0)
protected void	TPath.Rewriter.rewriteFields(TPath.Leq clone)
protected Format	TPath.__Formatter.toFormat(TPath.Leq el)

Method parameters in eu.bandm.tools.tpath.absy with type arguments of type TPath.Leq

Modifier and Type	Method	Description
static Pattern<Object>	TPath.__Patterns.cast_Leq(Pattern<? super TPath.Leq> p)

Uses of TPath.Leq in eu.bandm.tools.tpath.runtime

Methods in eu.bandm.tools.tpath.runtime with parameters of type TPath.Leq

Modifier and Type	Method	Description
protected void	SimpleInterpreter.Visitor.descend(TPath.Leq x)