Modifier and Type | Class and Description |
---|---|
static class |
Message.Severity
Severity level.
|
static class |
Message.Status
Message kind.
|
Constructor and Description |
---|
Message(AbstractNode node,
Message.Status status,
java.lang.String msg,
Message.Severity severity,
boolean use_source_location)
Constructs a new message.
|
Message(AbstractNode node,
Message.Status status,
java.lang.String key,
java.lang.String msg,
Message.Severity severity)
Constructs a new message.
|
Message(AbstractNode node,
Message.Status status,
java.lang.String key,
java.lang.String msg,
Message.Severity severity,
boolean use_source_location)
Constructs a new message.
|
Modifier and Type | Method and Description |
---|---|
int |
compareTo(Message e)
Compares this and the given message.
|
void |
emit()
Prints this message to the log.
|
boolean |
equals(java.lang.Object obj)
Checks whether this message is equal to the given.
|
java.lang.String |
getMessage()
Returns the message text.
|
AbstractNode |
getNode()
Returns the node associated with this message.
|
Message.Severity |
getSeverity()
Returns the message severity level.
|
Message.Status |
getStatus()
Returns the message status.
|
int |
hashCode()
Returns a hash code for this message.
|
void |
join(Message other)
Joins the given message into this message.
|
java.lang.String |
toString()
Returns a string description of this message.
|
public Message(AbstractNode node, Message.Status status, java.lang.String msg, Message.Severity severity, boolean use_source_location)
node
- flow graph nodestatus
- message statusmsg
- the message, also used as keyseverity
- severity leveluse_source_location
- if set, use node source location instead of node identity in equals/hashCodepublic Message(AbstractNode node, Message.Status status, java.lang.String key, java.lang.String msg, Message.Severity severity)
node
- flow graph nodestatus
- message statuskey
- message key for comparisonsmsg
- the messageseverity
- severity levelpublic Message(AbstractNode node, Message.Status status, java.lang.String key, java.lang.String msg, Message.Severity severity, boolean use_source_location)
node
- flow graph nodestatus
- message statuskey
- message key for comparisonsmsg
- the messageseverity
- severity leveluse_source_location
- if set, use node source location instead of node identity in equals/hashCodepublic int compareTo(@Nonnull Message e)
compareTo
in interface java.lang.Comparable<Message>
public void emit()
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.lang.String getMessage()
public AbstractNode getNode()
public Message.Severity getSeverity()
public Message.Status getStatus()
public int hashCode()
hashCode
in class java.lang.Object
public void join(Message other)
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2009-2019 Aarhus University