Class ValidityReport.Report

  • Enclosing interface:
    ValidityReport

    public static class ValidityReport.Report
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      java.lang.String description
      A textual description of the error or warning.
      java.lang.Object extension
      Some reasoner dependent data structure giving more information on the problem.
      boolean isError
      True if the report is a error, false if it is just a warning.
      java.lang.String type
      The type of the error discovered, the range of errors types is reasoner-dependent.
    • Constructor Summary

      Constructors 
      Constructor Description
      Report​(boolean error, java.lang.String type, java.lang.String description)
      Constructor.
      Report​(boolean error, java.lang.String type, java.lang.String description, java.lang.Object extension)
      Constructor
    • Field Detail

      • type

        public java.lang.String type
        The type of the error discovered, the range of errors types is reasoner-dependent.
      • isError

        public boolean isError
        True if the report is a error, false if it is just a warning.
      • description

        public java.lang.String description
        A textual description of the error or warning.
      • extension

        public java.lang.Object extension
        Some reasoner dependent data structure giving more information on the problem.
    • Constructor Detail

      • Report

        public Report​(boolean error,
                      java.lang.String type,
                      java.lang.String description)
        Constructor.
        Parameters:
        error - true if the report is an error, false if it is just a warning
        type - a string giving a reasoner-dependent classification for the report
        description - a textual description of the problem
      • Report

        public Report​(boolean error,
                      java.lang.String type,
                      java.lang.String description,
                      java.lang.Object extension)
        Constructor
        Parameters:
        error - true if the report is an error, false if it is just a warning
        type - a string giving a reasoner-dependent classification for the report
        description - a textual description of the problem
        extension - a reasoner dependent data structure giving more information on the problem.
    • Method Detail

      • getDescription

        public java.lang.String getDescription()
        Returns:
        a textual description of the problem
      • getExtension

        public java.lang.Object getExtension()
        Returns:
        a reasoner dependent data structure giving more information on the problem.
      • isError

        public boolean isError()
        Returns:
        True if the report is a error, false if it is just a warning.
      • getType

        public java.lang.String getType()
        Returns:
        a string giving a reasoner-dependent classification for the report
      • toString

        public java.lang.String toString()
        Printable form of the report
        Overrides:
        toString in class java.lang.Object