public static class Verify.Int extends Verify.Category1
Modifier and Type | Field and Description |
---|---|
protected static int |
BASE_HASH |
format
Constructor and Description |
---|
Int() |
Modifier and Type | Method and Description |
---|---|
Verify.Int |
doclone() |
boolean |
equals(Object e0)
Generated by umod because this class is
ALGEBRAIC . |
Format |
format()
Delivers a format object for pretty-printing by inheritance from some ancestor class.
|
int |
hashCode()
Generated by umod because this class is
ALGEBRAIC . |
Verify.Int |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
String |
toString() |
boolean |
x_equals(Verify.Int e0) |
public Verify.Int doclone()
doclone
in class Verify.Category1
public Format format()
format
in interface Formattable
format
in class Verify.Category1
public boolean equals(Object e0)
ALGEBRAIC
.public boolean x_equals(Verify.Int e0)
public int hashCode()
ALGEBRAIC
.public Verify.Int initFrom(Object o0)
initFrom
in class Verify.Category1
see also the complete user documentation .