|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectde.fhg.igd.event.Event
public class Event
The root class for all events in the SeMoA system.
Works well together with the generic EventListener
class. Checking whether a particular event happened
is done by verifying that the event which occured
implies the event which is expected via the
implies method.
Programming example:
A program verifies that event a occured when
an event b was observed by evaluating
b.implies(a)
This class checks implication based on class inheritance. Hence, b implies a iff the class of b is a subclass of (or equal to) the class of a.
EventReflector,
Serialized Form| Field Summary | |
|---|---|
long |
millis
The creation date of the event. |
| Constructor Summary | |
|---|---|
Event()
Creates an Event. |
|
| Method Summary | |
|---|---|
boolean |
implies(Object event)
Checks whether this event implies the given one. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public final long millis
| Constructor Detail |
|---|
public Event()
| Method Detail |
|---|
public boolean implies(Object event)
implies in interface Implicationevent - The event which is to be tested for
implication.
true if this event implies the
given one.
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||