CFGWarning (lisa 0.1b1 API)

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

All Implemented Interfaces:

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

Constructor Summary

Constructors
Constructor Description

CFGWarning(CFG cfg, 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)`
`CFG`	`getCFG()`	Yields the cfg where this warning was reported on.
`java.lang.String`	`getTag()`	Yields the tag of this warning.
`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
  - CFGWarning
```
public CFGWarning(CFG cfg,
                  java.lang.String message)
```
    Builds the warning.
    
    Parameters:
    
    cfg - the cfg where this warning was reported on
    
    message - the message of this warning
- Method Detail
  - getCFG
```
public final CFG getCFG()
```
    Yields the cfg where this warning was reported on.
    
    Returns:
    
    the cfg
  - 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