|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
MachineMonitor | Defines any class used to collect events generated by a running machine. |
Message | Optional interface for messages exchanged via ports. |
PrintStreamFormatter | Interface implemented by formatters used by PrintStreamMonitor (sub-)classes. |
Class Summary | |
---|---|
DebugEvent | |
ErrorEvent | |
FatalEvent | |
InfoEvent | |
LoggerMonitor | Event monitor for printing a filtered stream of monitor events to a specified java.util.logging.Logger. |
LogLevelMonitorEvent | |
MachineDebugEvent | |
MachineLifecycleEvent | |
MachineMonitorEvent | Abstract superclass representing events to put into a Monitor. |
MachineMonitorEventFilter | Event filter used by event monitors when determining whether or not to log an event. |
MachineStateEvent | |
MachineTransitionEvent | |
MessagelessTransitionEvent | |
MessageTransitionEvent | |
NullMonitor | Class that serves as a dummy user monitor when user hasn't explicitly set the monitor for an FSM (via the setMonitor() method). |
PrettyPrintFormatter | Class defining method for portraying a monitor event in multi-line, human-readable format. |
PrintStreamMonitor | Event monitor for printing a filtered stream of monitor events to a specified print stream. |
RawCat | Program to stringify/filter/concatenate 'raw' (binary) log files that may be produced by MachineEventMonitor subclasses e.g. |
RawMonitor | Writes 'raw' event stream to specified file. |
TextFormatter | Class defining method for portraying a monitor event in basic single line text format. |
WarnEvent |
Exception Summary | |
---|---|
MalformedEventFilterStringException |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |