|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectfr.inria.oadymppac.utils.ObjectManagerImpl
fr.inria.oadymppac.solver.ExceptionManager
A VariableManager
is a utility class that manages the
domain of all the variables declared and used during a session. It
keeps track of the domains and notifies listeners when the domains
change.
Field Summary | |
static java.lang.String |
PROPERTY_NAME
|
Fields inherited from interface fr.inria.oadymppac.utils.ObjectManager |
INVALID |
Constructor Summary | |
ExceptionManager()
protected constructor. |
Method Summary | |
int |
add(java.lang.Exception exception)
When a NewVariableEvent is received, the corresponding
variable is added to the list of variables. |
int |
add(java.lang.Object o)
|
java.lang.Exception |
get(int index)
Returns the index 's created variable. |
int |
getCount()
Return the number of variables in the manager. |
static ExceptionManager |
getExceptionManager(Solver solver)
|
java.lang.Object |
getFromIndex(int index)
|
java.lang.Object |
getFromKey(java.lang.Object key)
|
int |
getIndex()
|
int |
getIndex(java.lang.Object key)
|
java.lang.Object |
getKey()
|
Solver |
getSolver()
|
java.util.Iterator |
iterator()
Return the iterator on all the variables. |
void |
reset()
|
void |
setIndex(int index)
|
void |
setSolver(Solver solver)
|
Methods inherited from class fr.inria.oadymppac.utils.ObjectManagerImpl |
getOwner, setOwner |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static final java.lang.String PROPERTY_NAME
Constructor Detail |
public ExceptionManager()
Method Detail |
public java.lang.Exception get(int index)
index
's created variable.
public int getCount()
getCount
in interface ObjectManager
getCount
in class ObjectManagerImpl
public java.util.Iterator iterator()
iterator
in interface ObjectManager
iterator
in class ObjectManagerImpl
public static ExceptionManager getExceptionManager(Solver solver)
public int add(java.lang.Exception exception)
NewVariableEvent
is received, the corresponding
variable is added to the list of variables.
public Solver getSolver()
getSolver
in interface SolverManagable
public void setSolver(Solver solver)
setSolver
in interface SolverManagable
solver
- The solver to set.public int getIndex()
getIndex
in interface Indexable
public java.lang.Object getKey()
getKey
in interface Indexable
public void setIndex(int index)
setIndex
in interface Indexable
public java.lang.Object getFromIndex(int index)
getFromIndex
in interface ObjectManager
getFromIndex
in class ObjectManagerImpl
public java.lang.Object getFromKey(java.lang.Object key)
getFromKey
in interface ObjectManager
getFromKey
in class ObjectManagerImpl
public int getIndex(java.lang.Object key)
getIndex
in interface ObjectManager
getIndex
in class ObjectManagerImpl
public int add(java.lang.Object o)
add
in interface ObjectManager
o
-
public void reset()
reset
in interface Indexable
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |