semorg.gui.util
Class EditorManager

java.lang.Object
  extended by semorg.gui.util.EditorManager

public class EditorManager
extends Object

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

ids

private Set<Integer> ids
Set of the ids whose corresponding objects are edited.

Constructor Detail

EditorManager

public EditorManager()
Method Detail

addEditingId

public void addEditingId(int id)
Add the given id to the ids HashSet.

Parameters:
id - the id to add

removeEditingId

public void removeEditingId(int id)
Removes the given id from the ids HashSet.

Parameters:
id - the id to add

isEditing

public boolean isEditing(int id)
Checks if the object to the given id is already edited.

Parameters:
id - id to check.
Returns:
true if the given id is contained in ids, false otherwise.