FileDocCategorySizeDatePackage
FillableVector.javaAPI DocExample2632Mon Apr 06 18:10:24 BST 1998c16.trash

FillableVector

public class FillableVector extends Object implements Fillable

Fields Summary
private Vector
v
Constructors Summary
public FillableVector(Vector vv)

 v = vv; 
Methods Summary
public voidaddTrash(Trash t)

    v.addElement(t);