|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.util.EventObject
com.timeindexing.event.IndexEvent
com.timeindexing.event.IndexPrimaryEvent
An Index Primary Event, which is generated at primary moments. These include: open , close, flush, create.
Field Summary | |
static int |
CLOSED
Used when an Index is closed. |
static int |
CREATED
Used when an Index is created. |
static int |
FLUSHED
Used when an Index is flushed. |
static int |
OPENED
Used when an Index is opened. |
Fields inherited from class java.util.EventObject |
source |
Constructor Summary | |
IndexPrimaryEvent(java.lang.String aName,
ID anID,
int eventSpec,
java.lang.Object aSource)
Construct an IndexPrimaryEvent. |
Method Summary | |
int |
getEventSpecifier()
Get the event specifier. |
Methods inherited from class com.timeindexing.event.IndexEvent |
getID, getName, getSource |
Methods inherited from class java.util.EventObject |
toString |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
public static final int OPENED
public static final int CLOSED
public static final int FLUSHED
public static final int CREATED
Constructor Detail |
public IndexPrimaryEvent(java.lang.String aName, ID anID, int eventSpec, java.lang.Object aSource)
Method Detail |
public int getEventSpecifier()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |