public class MsgList
extends java.lang.Object
UserMsg
Constructor and Description |
---|
MsgList()
Create an empty message list
|
Modifier and Type | Method and Description |
---|---|
void |
addMsg(UserMsg msg)
Add a new message to the List
|
boolean |
fatal_message()
Returns true iff a fatal message is included in the list.
|
void |
print(java.io.PrintStream out) |
void |
setFatalCondition(int type,
boolean setOrNot)
Set a particular type of message to trigger fatal errors, or not.
|
void |
setPrintCondition(int type,
boolean setOrNot)
Set a particular type of message to print or not.
|
public void addMsg(UserMsg msg)
public boolean fatal_message()
public void setPrintCondition(int type, boolean setOrNot)
type
- one of UserMsg.ERROR, UserMsg.WARNING, or UserMsg.REMARKsetOrNot
- true enables printing, false disablespublic void setFatalCondition(int type, boolean setOrNot)
type
- one of UserMsg.ERROR, UserMsg.WARNING, or UserMsg.REMARKsetOrNot
- true enables printing, false disablespublic void print(java.io.PrintStream out)