Class ErrRec

java.lang.Object
com.articulate.sigma.ErrRec

public class ErrRec extends Object
Represents a single diagnostic error or warning produced by KIF checking. This class is immutable.
  • Field Details

    • ERROR

      public static final int ERROR
      See Also:
    • WARNING

      public static final int WARNING
      See Also:
    • type

      public final int type
    • file

      public final String file
    • line

      public final int line
    • start

      public final int start
    • end

      public final int end
    • msg

      public final String msg
  • Constructor Details

    • ErrRec

      public ErrRec(int type, String file, int line, int start, int end, String msg)
    • ErrRec

      public ErrRec()
  • Method Details

    • toString

      public String toString()
      Overrides:
      toString in class Object
    • equals

      public boolean equals(Object obj)
      Override equals() for deep comparison of all fields.
      Overrides:
      equals in class Object