Public Methods | |
Array () | |
void | addElement (Object e) |
void | clear () |
boolean | contains (Object e) |
Object | elementAt (int index) |
void | insertElementAt (Object e, int index) |
void | removeElementAt (int index) |
int | size () |
Array (Type baseType, ConstExpr size) | |
void | apply (TypeSwitch sw, Object o) |
Expr | defaultVal () |
boolean | equals (Object o) |
Type | getBaseType () |
int | getExtent () |
ConstExpr | getSize () |
boolean | isKind (int kind) |
String | toString () |
Private Methods | |
void | doubleCapacity () |
Private Attributes | |
int | numElements |
int | maxElements |
Object[] | elements |
Type | baseType |
ConstExpr | size |
Static Private Attributes | |
final int | DEFAULT_SIZE = 8 |
A BIR array has a base type and a maximum size (arrays are indexed from 0).
Definition at line 69 of file ca/mcgill/sable/util/Array.java.
|
Reimplemented from Type. Definition at line 61 of file edu/ksu/cis/bandera/bir/Array.java. |
|
Reimplemented from Type. Definition at line 72 of file edu/ksu/cis/bandera/bir/Array.java. Referenced by SmvTypeDecl::caseArray(), SpinTrans::caseNewArrayExpr(), and SmvTrans::caseNewArrayExpr().
|
|
Reimplemented from Type. Definition at line 77 of file edu/ksu/cis/bandera/bir/Array.java. |