public class DBDEFLIST extends java.lang.Object
DBDEFLIST()
void
addDBDEF(DBDEF dbdef)
java.util.Enumeration
elements()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public DBDEFLIST()
public void addDBDEF(DBDEF dbdef)
public java.util.Enumeration elements()