public final class TypeVector
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static IType[] |
NoElements |
int |
size |
| Constructor and Description |
|---|
TypeVector() |
TypeVector(IType type) |
TypeVector(IType[] types) |
| Modifier and Type | Method and Description |
|---|---|
void |
add(IType newElement) |
void |
addAll(IType[] newElements) |
boolean |
contains(IType element) |
TypeVector |
copy() |
IType |
elementAt(int index) |
IType[] |
elements() |
IType |
find(IType element) |
IType |
remove(IType element) |
void |
removeAll() |
java.lang.String |
toString() |
public int size
public static final IType[] NoElements
public TypeVector()
public TypeVector(IType[] types)
public TypeVector(IType type)
public void add(IType newElement)
public void addAll(IType[] newElements)
public boolean contains(IType element)
public TypeVector copy()
public IType elementAt(int index)
public IType[] elements()
public void removeAll()
public java.lang.String toString()
toString in class java.lang.Object