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.