public static class Verify.Top extends Verify.Type
Modifier and Type | Field and Description |
---|---|
protected static int |
BASE_HASH |
format
Constructor and Description |
---|
Top() |
Modifier and Type | Method and Description |
---|---|
Verify.Top |
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.Top |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
boolean |
x_equals(Verify.Top e0) |
public Verify.Top doclone()
doclone
in class Verify.Type
public Format format()
format
in interface Formattable
format
in class Verify.Type
public boolean equals(Object e0)
ALGEBRAIC
.public boolean x_equals(Verify.Top e0)
public int hashCode()
ALGEBRAIC
.public Verify.Top initFrom(Object o0)
initFrom
in class Verify.Type
see also the complete user documentation .