|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectjava.util.EventObject
util.rmi.RmiEvent
stella.MessageEvent
stella.InfoEvent
public class InfoEvent
An info event may be passed anywhere in the STELLA system without causing
any reaction. Any receiver that receives an info event should ignore it. This
event is only intended for the debugging phase, where received info event
may be published somehow. It must carry at least one command line.
In particular it is necessary that info events should not interfere with
command cycles, but nevertheless correctly received.
| Field Summary | |
|---|---|
private static int |
DEFLEVEL
The default intege following HEADER. |
static String |
HEADER
The type of this event. |
private static Map |
IMPORTANT
A look-up table linking important info messages to status classes. |
private String[] |
line
The lines read in or set during initialization of the info event. |
| Fields inherited from class stella.MessageEvent |
|---|
SEPCHAR |
| Fields inherited from class util.rmi.RmiEvent |
|---|
localHost, sourceName |
| Fields inherited from class java.util.EventObject |
|---|
source |
| Constructor Summary | |
|---|---|
InfoEvent(Object src)
Creates a new info element if only the source is known. |
|
InfoEvent(Object src,
String type,
long time)
Creates a new info event. |
|
| Method Summary | |
|---|---|
static InfoEvent |
createInfo(MessageBin bin)
Creates an info event from a message bin. |
static ErrorEvent |
createStatusFromInfo(InfoEvent ie)
Due to some misscoding in the ATIS-server, we have to translate some INFO messages to status messages, as they might trigger some action. |
String[] |
getLine()
Returns the lines associated with this info event. |
boolean |
parseLine(String[] info)
Parsing of lines is not intended for info events. |
void |
setLine(String[] info)
Sets the line associated with this info event. |
| Methods inherited from class stella.MessageEvent |
|---|
checkType, equals, equalTime, equalTime, fromAscii, getAllCommandLines, getExecuteGroupKey, getHead, getNr, getTime, getType, hashCode, isValid, parseFromSingleString, readFromBufferedStream, setNr, setTime, setType, setValid, toString |
| Methods inherited from class util.rmi.RmiEvent |
|---|
getHost, getSourceName, setSourceName |
| Methods inherited from class java.util.EventObject |
|---|
getSource |
| Methods inherited from class java.lang.Object |
|---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Field Detail |
|---|
public static final String HEADER
private static final int DEFLEVEL
HEADER.
private String[] line
private static final Map IMPORTANT
| Constructor Detail |
|---|
public InfoEvent(Object src)
HEADER followed by DEFLEVEL, the command time is
the current system time.
public InfoEvent(Object src,
String type,
long time)
HEADER.
| Method Detail |
|---|
public static InfoEvent createInfo(MessageBin bin)
public static ErrorEvent createStatusFromInfo(InfoEvent ie)
public void setLine(String[] info)
public String[] getLine()
getLine in class MessageEventpublic boolean parseLine(String[] info)
parseLine in class MessageEvent
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||