Uses of Class
eu.bandm.tools.lljava.absy.LLJava.ConstantDouble

Packages that use LLJava.ConstantDouble

Package	Description
eu.bandm.tools.lljava.absy	Abstract Syntax of LLJava, representing the byte code instructions, the objects which contain byte code, and the attributes specific to byte code classes.
eu.bandm.tools.lljava.codec

Uses of LLJava.ConstantDouble in eu.bandm.tools.lljava.absy

Fields in eu.bandm.tools.lljava.absy declared as LLJava.ConstantDouble

Modifier and Type	Field	Description
protected LLJava.ConstantDouble	LLJava.DoubleLiteral.entry	Generated by umod; model author's documentation MISSING.

Methods in eu.bandm.tools.lljava.absy that return LLJava.ConstantDouble

Modifier and Type	Method	Description
LLJava.ConstantDouble	LLJava.ConstantDouble.doclone()	Clones this object.
LLJava.ConstantDouble	LLJava.DoubleLiteral.get_entry()	Generated by umod; model author's documentation MISSING.
LLJava.ConstantDouble	LLJava.ConstantDouble.initFrom(Object o0)	Copies values of all common fields from the argument.
LLJava.ConstantDouble	LLJava.ConstantDouble.with_value(Double val)	Generated by umod; model author's documentation MISSING.

Methods in eu.bandm.tools.lljava.absy that return types with arguments of type LLJava.ConstantDouble

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

Methods in eu.bandm.tools.lljava.absy with parameters of type LLJava.ConstantDouble

Modifier and Type	Method	Description
protected void	LLJava.__Formatter.action(LLJava.ConstantDouble el)
protected void	LLJava.MATCH_ONLY_00.action(LLJava.ConstantDouble e0)
protected void	LLJava.MultiVisitor.action(LLJava.ConstantDouble e0)
protected void	LLJava.Visitor.action(LLJava.ConstantDouble e0)
protected void	LLJava.MultiVisitor.descend(LLJava.ConstantDouble e0)
void	LLJava.MATCH_ONLY_00.match(LLJava.ConstantDouble e0)
protected void	LLJava.MultiVisitor.post(LLJava.ConstantDouble e0)
protected void	LLJava.MultiVisitor.pre(LLJava.ConstantDouble e0)
protected Format	LLJava.__Formatter.toFormat(LLJava.ConstantDouble el)
boolean	LLJava.ConstantDouble.x_equals(LLJava.ConstantDouble e0)

Method parameters in eu.bandm.tools.lljava.absy with type arguments of type LLJava.ConstantDouble

Modifier and Type	Method	Description
static Pattern<Object>	LLJava.__Patterns.cast_ConstantDouble(Pattern<? super LLJava.ConstantDouble> p)

Uses of LLJava.ConstantDouble in eu.bandm.tools.lljava.codec

Methods in eu.bandm.tools.lljava.codec with parameters of type LLJava.ConstantDouble

Modifier and Type	Method	Description
protected void	Encoder.descend(LLJava.ConstantDouble e)