Package it.unive.lisa.checks.warnings
Class StatementWarning
- java.lang.Object
-
- it.unive.lisa.checks.warnings.Warning
-
- it.unive.lisa.checks.warnings.WarningWithLocation
-
- it.unive.lisa.checks.warnings.StatementWarning
-
- All Implemented Interfaces:
java.lang.Comparable<Warning>
- Direct Known Subclasses:
ExpressionWarning
public class StatementWarning extends WarningWithLocation
A warning reported by LiSA on a statement.
-
-
Constructor Summary
Constructors Constructor Description StatementWarning(Statement statement, java.lang.String message)Builds the warning.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description intcompareTo(Warning o)booleanequals(java.lang.Object obj)StatementgetStatement()Yields the statement where this warning was reported on.java.lang.StringgetTag()Yields the tag of this warning.inthashCode()java.lang.StringtoString()-
Methods inherited from class it.unive.lisa.checks.warnings.WarningWithLocation
getLocation, getLocationWithBrackets
-
Methods inherited from class it.unive.lisa.checks.warnings.Warning
getMessage, getTaggedMessage
-
-
-
-
Constructor Detail
-
StatementWarning
public StatementWarning(Statement statement, java.lang.String message)
Builds the warning.- Parameters:
statement- the statement where this warning was reported onmessage- the message of this warning
-
-
Method Detail
-
getStatement
public final Statement getStatement()
Yields the statement where this warning was reported on.- Returns:
- the statement
-
compareTo
public int compareTo(Warning o)
- Specified by:
compareToin interfacejava.lang.Comparable<Warning>- Overrides:
compareToin classWarningWithLocation
-
hashCode
public int hashCode()
- Overrides:
hashCodein classWarningWithLocation
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equalsin classWarningWithLocation
-
getTag
public java.lang.String getTag()
Description copied from class:WarningYields the tag of this warning.
-
toString
public java.lang.String toString()
- Specified by:
toStringin classWarningWithLocation
-
-