UnitWarning (lisa 0.1b1 API)

java.lang.Object
- it.unive.lisa.checks.warnings.Warning
- - it.unive.lisa.checks.warnings.WarningWithLocation
  - - it.unive.lisa.checks.warnings.UnitWarning

All Implemented Interfaces:

java.lang.Comparable<Warning>
```
public class UnitWarning
extends WarningWithLocation
```
A warning reported by LiSA on one of the Units under analysis.

Constructor Summary

Constructors
Constructor Description

UnitWarning(Unit unit, java.lang.String message)
Builds the warning.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`int`	`compareTo(Warning o)`
`boolean`	`equals(java.lang.Object obj)`
`java.lang.String`	`getTag()`	Yields the tag of this warning.
`Unit`	`getUnit()`	Yields the unit 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
  - UnitWarning
```
public UnitWarning(Unit unit,
                   java.lang.String message)
```
    Builds the warning.
    
    Parameters:
    
    unit - the unit where this warning was reported on
    
    message - the message of this warning
- Method Detail
  - getUnit
```
public final Unit getUnit()
```
    Yields the unit where this warning was reported on.
    
    Returns:
    
    the unit
  - 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