Public Methods | |
Record () | |
Field | addField (String name, Type fieldType) |
void | apply (TypeSwitch sw, Object o) |
Expr | defaultVal () |
boolean | equals (Object o) |
int | getExtent () |
Field | getField (String name) |
Vector | getFields () |
boolean | isKind (int kind) |
String | toString () |
Private Attributes | |
Vector | fields |
boolean | isMonitor = false |
Definition at line 44 of file Record.java.
|
Two record types are equal if they have the same fields (name and type) in the same order. Reimplemented from Type. Definition at line 67 of file Record.java. |
|
Reimplemented from Type. Definition at line 101 of file Record.java. |