|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsemorg.gui.util.EditorManager
public class EditorManager
This class is unused...
Field Summary | |
---|---|
private Set<Integer> |
ids
Set of the ids whose corresponding objects are edited. |
Constructor Summary | |
---|---|
EditorManager()
|
Method Summary | |
---|---|
void |
addEditingId(int id)
Add the given id to the ids HashSet . |
boolean |
isEditing(int id)
Checks if the object to the given id is already edited. |
void |
removeEditingId(int id)
Removes the given id from the ids HashSet . |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private Set<Integer> ids
Constructor Detail |
---|
public EditorManager()
Method Detail |
---|
public void addEditingId(int id)
ids
HashSet
.
id
- the id to addpublic void removeEditingId(int id)
ids
HashSet
.
id
- the id to addpublic boolean isEditing(int id)
id
- id to check.
ids
,
false otherwise.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |