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

Packages that use TPath.Minus

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.Minus in eu.bandm.tools.tpath.absy

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

Modifier and Type	Method	Description
TPath.Minus	TPath.Minus.doclone()	Clones this object.
TPath.Minus	TPath.Minus.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.Minus

Modifier and Type	Method	Description
static Pattern<TPath.Minus>	TPath.__Patterns.term_Minus(Pattern<? super TPath.NumericExpr> superpattern)

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

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

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

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

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

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

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