public static class LLJava.ConstantInteger extends LLJava.ConstantSingleValue
Modifier and Type | Field and Description |
---|---|
protected static int |
BASE_HASH |
protected Integer |
value
Generated by umod; model author's documentation MISSING.
|
format
Constructor and Description |
---|
ConstantInteger(Integer value)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Modifier and Type | Method and Description |
---|---|
LLJava.ConstantInteger |
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.
|
Integer |
get_value()
Generated by umod; model author's documentation MISSING.
|
static Pattern<LLJava.ConstantInteger> |
get_value(Pattern<? super Integer> 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.ConstantInteger |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
LLJava.ConstantInteger |
with_value(Integer val)
Generated by umod; model author's documentation MISSING.
|
boolean |
x_equals(LLJava.ConstantInteger e0) |
protected static final int BASE_HASH
protected Integer value
Integer
(never
null)get_value()
,
with_value(java.lang.Integer)
public LLJava.ConstantInteger doclone()
Cloneable
is known
to be implemented.doclone
in class LLJava.ConstantSingleValue
public static String getFormatHint()
value
public Format format()
format
in interface Formattable
format
in class LLJava.ConstantSingleValue
public boolean equals(Object e0)
ALGEBRAIC
.public boolean x_equals(LLJava.ConstantInteger e0)
public int hashCode()
ALGEBRAIC
.public LLJava.ConstantInteger initFrom(Object o0)
initFrom
in class LLJava.ConstantSingleValue
public Integer get_value()
Integer
(never
null)public LLJava.ConstantInteger with_value(Integer val)
public static Pattern<LLJava.ConstantInteger> get_value(Pattern<? super Integer> p)
LLJava.__Patterns
.see also the complete user documentation .