|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface XEventClassifier
This interface defines a classification of events. It assigns to each event instance a class identity, thereby imposing an equality relation on the set of events.
Method Summary | |
---|---|
String |
getClassIdentity(XEvent event)
Retrieves the unique class identity string of a given event. |
String[] |
getDefiningAttributeKeys()
Retrieves the set of attribute keys which are used in this event classifier (May be used for the construction of events that are not part of an existing event class). |
String |
name()
Returns the name of this comparator |
boolean |
sameEventClass(XEvent eventA,
XEvent eventB)
Checks whether two event instances correspond to the same event class, i.e. |
void |
setName(String name)
Assigns a custom name to this classifier |
Method Detail |
---|
String name()
void setName(String name)
name
- Name to be assigned to this classifier.boolean sameEventClass(XEvent eventA, XEvent eventB)
String getClassIdentity(XEvent event)
String[] getDefiningAttributeKeys()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |