Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

ClassVector Class Reference

List of all members.

Public Methods

void addElement (JavaClass clazz)
JavaClass elementAt (int index)
void removeElementAt (int index)
JavaClass[] toArray ()
void addElement (JavaClass clazz)
JavaClass elementAt (int index)
void removeElementAt (int index)
JavaClass[] toArray ()

Protected Attributes

Vector vec = new Vector()

Detailed Description

Utility class implementing a (typesafe) collection of JavaClass objects. Contains the most important methods of a Vector.

Version:
Id:
ClassVector.java,v 1.1.1.1 2002/01/24 03:44:02 pserver Exp
Author:
M. Dahm
See also:
Vector

Definition at line 14 of file lib/jpf/de/fub/bytecode/util/ClassVector.java.

The documentation for this class was generated from the following files:
Generated at Thu Feb 7 07:06:36 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001