CFGDescriptorWarning (lisa 0.1b1 API)

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

All Implemented Interfaces:

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

Constructor Summary

Constructors
Constructor Description

CFGDescriptorWarning(CFGDescriptor descriptor, 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)`
`CFGDescriptor`	`getDescriptor()`	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
  - CFGDescriptorWarning
```
public CFGDescriptorWarning(CFGDescriptor descriptor,
                            java.lang.String message)
```
    Builds the warning.
    
    Parameters:
    
    descriptor - the descriptor where this warning was reported on
    
    message - the message of this warning
- Method Detail
  - getDescriptor
```
public CFGDescriptor getDescriptor()
```
    Yields the cfg where this warning was reported on.
    
    Returns:
    
    the column, or -1
  - 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