Methods Summary |
---|
public void | add(java.lang.String ident, Definition hidden)Adds a hidden definition to this.
idents.add(ident);
hiddenDefs.add(hidden);
|
public java.util.Iterator | getHiddenDefinitions()Returns an enumeration of hidden definitions.
return hiddenDefs.iterator();
|
public java.util.Iterator | getIdents()Returns an enumeration of idents with hidden definitions.
return idents.iterator();
|