|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object de.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 FormField 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 Implication
event
- 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 |