public static class LLJava.ConstantFloat extends LLJava.ConstantSingleValue
Modifier and Type | Field and Description |
---|---|
protected static int |
BASE_HASH |
protected Float |
value
Generated by umod; model author's documentation MISSING.
|
format
Constructor and Description |
---|
ConstantFloat(Float value)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Modifier and Type | Method and Description |
---|---|
LLJava.ConstantFloat |
doclone()
Clones this object.
|
boolean |
equals(Object e0)
Generated by umod because this class is
ALGEBRAIC . |
Format |
format()
Delivers a format object for pretty-printing, as specified in the umod source.
|
Float |
get_value()
Generated by umod; model author's documentation MISSING.
|
static Pattern<LLJava.ConstantFloat> |
get_value(Pattern<? super Float> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
static String |
getFormatHint()
Delivers the format specification from the umod source.
|
int |
hashCode()
Generated by umod because this class is
ALGEBRAIC . |
LLJava.ConstantFloat |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
LLJava.ConstantFloat |
with_value(Float val)
Generated by umod; model author's documentation MISSING.
|
boolean |
x_equals(LLJava.ConstantFloat e0) |
protected static final int BASE_HASH
protected Float value
Float
(never
null)get_value()
,
with_value(java.lang.Float)
public LLJava.ConstantFloat doclone()
Cloneable
is known
to be implemented.doclone
in class LLJava.ConstantSingleValue
public static String getFormatHint()
value'f'
public Format format()
format
in interface Formattable
format
in class LLJava.ConstantSingleValue
public boolean equals(Object e0)
ALGEBRAIC
.public boolean x_equals(LLJava.ConstantFloat e0)
public int hashCode()
ALGEBRAIC
.public LLJava.ConstantFloat initFrom(Object o0)
initFrom
in class LLJava.ConstantSingleValue
public Float get_value()
Float
(never
null)public LLJava.ConstantFloat with_value(Float val)
public static Pattern<LLJava.ConstantFloat> get_value(Pattern<? super Float> p)
LLJava.__Patterns
.see also the complete user documentation .