public static class LLJava.DoubleType extends LLJava.WideType
Modifier and Type | Field and Description |
---|---|
protected static int |
BASE_HASH |
format
Constructor and Description |
---|
DoubleType()
Synthetic minimal constructor provided by the umod compiler.
|
Modifier and Type | Method and Description |
---|---|
LLJava.DoubleType |
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.
|
static String |
getFormatHint()
Delivers the format specification from the umod source.
|
int |
hashCode()
Generated by umod because this class is
ALGEBRAIC . |
LLJava.DoubleType |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
boolean |
x_equals(LLJava.DoubleType e0) |
public DoubleType()
public LLJava.DoubleType doclone()
Cloneable
is known
to be implemented.doclone
in class LLJava.WideType
public static String getFormatHint()
'double'
public Format format()
format
in interface Formattable
format
in class LLJava.WideType
public boolean equals(Object e0)
ALGEBRAIC
.public boolean x_equals(LLJava.DoubleType e0)
public int hashCode()
ALGEBRAIC
.public LLJava.DoubleType initFrom(Object o0)
initFrom
in class LLJava.WideType
see also the complete user documentation .