Package it.unive.lisa.checks.warnings

Class Warning

  • All Implemented Interfaces:
    java.lang.Comparable<Warning>
    Direct Known Subclasses:
    WarningWithLocation
    public class Warning
extends java.lang.Object
implements java.lang.Comparable<Warning>
    A warning reported by LiSA on the program under analysis.

    • Constructor Summary

      Constructors 
      Constructor Description
      Warning​(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 getMessage()
      Yields the message of this warning.
      java.lang.String getTag()
      Yields the tag of this warning.
      java.lang.String getTaggedMessage()
      Yields the message of this warning, preceeded by the tag under square brackets.
      int hashCode()  
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait

    • Constructor Detail

      • Warning

        public Warning​(java.lang.String message)
        Builds the warning.
        Parameters:
        message - the message of this warning

    • Method Detail

      • getMessage

        public final java.lang.String getMessage()
        Yields the message of this warning.
        Returns:
        the message of this warning

      • getTag

        public java.lang.String getTag()
        Yields the tag of this warning.
        Returns:
        the tag of this warning

      • getTaggedMessage

        public final java.lang.String getTaggedMessage()
        Yields the message of this warning, preceeded by the tag under square brackets.
        Returns:
        the tag and message of this warning

      • compareTo

        public int compareTo​(Warning o)
        Specified by:
        compareTo in interface java.lang.Comparable<Warning>

      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object

      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object