Package it.unive.lisa.checks.warnings

Class GlobalWarning

java.lang.Object

it.unive.lisa.checks.warnings.Warning

it.unive.lisa.checks.warnings.WarningWithLocation

it.unive.lisa.checks.warnings.GlobalWarning

All Implemented Interfaces:

java.lang.Comparable<Warning>

public class GlobalWarning
extends WarningWithLocation

A warning reported by LiSA on one of the Globals under analysis.

Constructor Summary

Constructors

Constructor	Description
GlobalWarning(Unit unit, Global global, java.lang.String message)	Builds the warning.

Method Summary

Modifier and Type	Method	Description
int	compareTo(Warning o)
boolean	equals(java.lang.Object obj)
Global	getGlobal()	Yields the global where this warning was reported on.
java.lang.String	getTag()	Yields the tag of this warning.
Unit	getUnit()	Yields the unit containing the global where this warning was reported on.
int	hashCode()
java.lang.String	toString()

Methods inherited from class it.unive.lisa.checks.warnings.WarningWithLocation

getLocation, getLocationWithBrackets

Methods inherited from class it.unive.lisa.checks.warnings.Warning

getMessage, getTaggedMessage

Methods inherited from class java.lang.Object

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

Constructor Detail

GlobalWarning

public GlobalWarning(Unit unit,
                     Global global,
                     java.lang.String message)

Builds the warning.

Parameters:

unit - the unit containing the global where this warning was reported on

global - the global where this warning was reported on

message - the message of this warning

Method Detail

getUnit

public Unit getUnit()

Yields the unit containing the global where this warning was reported on.

Returns:

the global

getGlobal

public Global getGlobal()

Yields the global where this warning was reported on.

Returns:

the global

compareTo

public int compareTo(Warning o)

Specified by:

compareTo in interface java.lang.Comparable<Warning>

Overrides:

compareTo in class WarningWithLocation

hashCode

public int hashCode()

Overrides:

hashCode in class WarningWithLocation

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class WarningWithLocation

getTag

public java.lang.String getTag()

Description copied from class: Warning

Yields the tag of this warning.

Overrides:

getTag in class Warning

Returns:

the tag of this warning

toString

public java.lang.String toString()

Specified by:

toString in class WarningWithLocation