public static class Verify.Object extends Verify.Category1
Modifier and Type | Field and Description |
---|---|
protected static int |
BASE_HASH |
protected String |
classname |
format
Modifier and Type | Method and Description |
---|---|
Verify.Object |
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.
|
String |
get_classname() |
static Pattern<Verify.Object> |
get_classname(Pattern<? super String> p) |
int |
hashCode()
Generated by umod because this class is
ALGEBRAIC . |
Verify.Object |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
String |
toString() |
Verify.Object |
with_classname(String val) |
boolean |
x_equals(Verify.Object e0) |
protected static final int BASE_HASH
protected String classname
public Object(String classname)
public Verify.Object 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.Object e0)
public int hashCode()
ALGEBRAIC
.public Verify.Object initFrom(Object o0)
initFrom
in class Verify.Category1
public String get_classname()
public Verify.Object with_classname(String val)
public static Pattern<Verify.Object> get_classname(Pattern<? super String> p)
see also the complete user documentation .