dk.brics.tajs.solver

Class Message

java.lang.Object

dk.brics.tajs.solver.Message

All Implemented Interfaces:

Comparable<Message>

public class Message
extends Object
implements Comparable<Message>

Message generated by the analysis.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Message.Severity Severity level.
static class	Message.Status Message kind.

Constructor Summary

Constructors

Constructor and Description
Message(AbstractNode node, Message.Status status, String msg, Message.Severity severity, boolean use_source_location) Constructs a new message.
Message(AbstractNode node, Message.Status status, String key, String msg, Message.Severity severity) Constructs a new message.
Message(AbstractNode node, Message.Status status, String key, String msg, Message.Severity severity, boolean use_source_location) Constructs a new message.

Method Summary

Methods

Modifier and Type	Method and Description
int	compareTo(Message e) Compares this and the given message.
boolean	equals(Object obj) Checks whether this message is equal to the given.
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.
String	toString() Returns a string description of this message.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Message

public Message(AbstractNode node,
       Message.Status status,
       String msg,
       Message.Severity severity,
       boolean use_source_location)

Constructs a new message.

Parameters:

node - flow graph node

status - message status

msg - the message, also used as key

severity - severity level

use_source_location - if set, use node source location instead of node identity in equals/hashCode

Message

public Message(AbstractNode node,
       Message.Status status,
       String key,
       String msg,
       Message.Severity severity)

Constructs a new message.

Parameters:

node - flow graph node

status - message status

key - message key for comparisons

msg - the message

severity - severity level

Message

public Message(AbstractNode node,
       Message.Status status,
       String key,
       String msg,
       Message.Severity severity,
       boolean use_source_location)

Constructs a new message.

Parameters:

node - flow graph node

status - message status

key - message key for comparisons

msg - the message

severity - severity level

use_source_location - if set, use node source location instead of node identity in equals/hashCode

Method Detail

compareTo

public int compareTo(Message e)

Compares this and the given message. The status (CERTAIN, MAYBE, INFO, NONE) is used as primary key, the severity level (HIGH, MEDIUM, LOW) is secondary, then source location, and finally the message text.

Specified by:

compareTo in interface Comparable<Message>

equals

public boolean equals(Object obj)

Checks whether this message is equal to the given. Does not consider the status.

Overrides:

equals in class Object

getMessage

public String getMessage()

Returns the message text.

getNode

public AbstractNode getNode()

Returns the node associated with this message.

getSeverity

public Message.Severity getSeverity()

Returns the message severity level.

getStatus

public Message.Status getStatus()

Returns the message status.

hashCode

public int hashCode()

Returns a hash code for this message. Does not consider the status.

Overrides:

hashCode in class Object

join

public void join(Message other)

Joins the given message into this message.

toString

public String toString()

Returns a string description of this message.

Overrides:

toString in class Object