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.__SAX_Parser.fill_Number(Object res)
TPath.Number	TPath.Number.initFrom(Object o0)	Copies values of all common fields from the argument.
TPath.Number	TPath.__SAX_Parser.matchSAX_Number()

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)
void	TPath.__SAX_Writer.action(TPath.Number e0)
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.__SAX_Writer.dumpfields(TPath.Number e0)
void	TPath.__SAX_Parser.XMLPARSER_Number.fillFields(TPath.Number newobj)
void	TPath.MATCH_ONLY_00.match(TPath.Number e0)
void	TPath.__SAX_Parser.XMLPARSER_Number.parsefields(TPath.Number newobj)
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)