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

Packages that use TPath.Number

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

Fields in eu.bandm.tools.tpath.absy with type parameters of type TPath.Number

Modifier and Type	Field	Description
static final Function<TPath.Number,Double>	TPath.Number.get_value	Deprecated. Use new '::' method reference instead.

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

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

Modifier and Type	Method	Description
static Pattern<TPath.Number>	TPath.Number.get_value(Pattern<? super Double> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<TPath.Number>	TPath.__Patterns.term_Number(Pattern<? super TPath.ValueExpr> superpattern, Pattern<? super Double> p_value)

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

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

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

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

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

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

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