Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## semorg.gui.util
Class EditorManager

    java.lang.Object
      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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD