Module io.hotmoka.verification

Package io.hotmoka.verification.issues

Class Issue

java.lang.Object

io.hotmoka.verification.issues.Issue

All Implemented Interfaces:

Comparable<Issue>

Direct Known Subclasses:

Error, Warning

public abstract class Issue
extends Object
implements Comparable<Issue>

An issue generated during the verification of the class files of a Takamaka program. Issues are first ordered by where they occur, then by message and finally by issue class name.

Field Summary

Fields

Modifier and Type	Field	Description
String	message
String	where

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Issue(String where, String message)	Creates an issue at the given class.
protected	Issue(String where, String methodName, int line, String message)	Creates an issue at the given program line.
protected	Issue(String where, String fieldName, String message)	Creates an issue at the given program field.

Method Summary

Modifier and Type	Method	Description
int	compareTo(Issue other)
boolean	equals(Object other)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

where

public final String where

message

public final String message

Constructor Detail

Issue

protected Issue(String where,
                String message)

Creates an issue at the given class.

Parameters:

where - a string that lets the user identify the class where the issue occurs

message - the message of the issue

Issue

protected Issue(String where,
                String fieldName,
                String message)

Creates an issue at the given program field.

Parameters:

where - a string that lets the user identify the class where the issue occurs

fieldName - the name of the field where the issue occurs

message - the message of the issue

Issue

protected Issue(String where,
                String methodName,
                int line,
                String message)

Creates an issue at the given program line.

Parameters:

where - a string that lets the user identify the class where the issue occurs

methodName - the name of the method where the issue occurs

line - the line where the issue occurs. Use -1 if the issue is related to the method as a whole

message - the message of the issue

Method Detail

compareTo

public final int compareTo(Issue other)

Specified by:

compareTo in interface Comparable<Issue>

equals

public final boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public final int hashCode()

Overrides:

hashCode in class Object

toString

public final String toString()

Overrides:

toString in class Object