| CFGDescriptorWarning |
A warning reported by LiSA on the descriptor of one of the CFGs under
analysis.
|
| CFGWarning |
A warning reported by LiSA on one of the CFGs under analysis.
|
| ExpressionWarning |
A warning reported by LiSA on an expression.
|
| GlobalWarning |
A warning reported by LiSA on one of the Globals under analysis.
|
| StatementWarning |
A warning reported by LiSA on a statement.
|
| UnitWarning |
A warning reported by LiSA on one of the Units under analysis.
|
| Warning |
A warning reported by LiSA on the program under analysis.
|
| WarningWithLocation |
A warning reported by LiSA on the program under analysis.
|