|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Object
|
+--java.util.EventObject
|
+--jeops.conflict.InternalConflictSetEvent
A semantic event that indicates that an element was added to or removed from a conflict set. This class is used only internally to JEOPS for control purposes.
| Field Summary | |
private ConflictSetElement |
element
The element that was added or removed. |
| Fields inherited from class java.util.EventObject |
source |
| Constructor Summary | |
InternalConflictSetEvent(ConflictSet source,
ConflictSetElement element)
Class constructor. |
|
| Method Summary | |
ConflictSetElement |
getElement()
Returns the element that was added or removed. |
| Methods inherited from class java.util.EventObject |
getSource,
toString |
| Methods inherited from class java.lang.Object |
|
| Field Detail |
private ConflictSetElement element
| Constructor Detail |
public InternalConflictSetEvent(ConflictSet source,
ConflictSetElement element)
source - the conflict set to/from where the element was
added/removed.element - the element that was added or removed.| Method Detail |
public ConflictSetElement getElement()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||