org.gjt.universe
Class DBList

java.lang.Object
  |
  +--org.gjt.universe.DBList

All Implemented Interfaces:

java.io.Serializable

class DBList

extends java.lang.Object

implements java.io.Serializable

Field Summary

private java.util.Vector

hiddenInformation

Constructor Summary

DBList()

Method Summary

void	addElement(java.lang.Object obj)
java.lang.Object	elementAt(Index idx)
java.util.Enumeration	elements()
void	removeElement(java.lang.Object obj)
void	setElementAt(java.lang.Object obj, int index)
int	size()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

hiddenInformation

private java.util.Vector hiddenInformation

Constructor Detail

DBList

public DBList()

Method Detail

addElement

public final void addElement(java.lang.Object obj)

removeElement

public final void removeElement(java.lang.Object obj)

elementAt

public final java.lang.Object elementAt(Index idx)

setElementAt

public final void setElementAt(java.lang.Object obj,
                               int index)

size

public final int size()

elements

public final java.util.Enumeration elements()