Class Diagnostic


  • public class Diagnostic
    extends java.lang.Object
    Encapsulates a diagnostic message arising from the compilation process.
    Author:
    Chris Jennings
    • Constructor Summary

      Constructors 
      Constructor Description
      Diagnostic​(int code, java.lang.String message)  
      Diagnostic​(int code, java.lang.String message, java.lang.String file, int line, int col, int offset, int length)  
    • Field Detail

      • code

        public int code
      • message

        public java.lang.String message
      • file

        public java.lang.String file
      • line

        public int line
      • col

        public int col
      • offset

        public int offset
      • length

        public int length
      • isWarning

        public boolean isWarning
    • Constructor Detail

      • Diagnostic

        public Diagnostic​(int code,
                          java.lang.String message)
      • Diagnostic

        public Diagnostic​(int code,
                          java.lang.String message,
                          java.lang.String file,
                          int line,
                          int col,
                          int offset,
                          int length)
    • Method Detail

      • hasLocation

        public boolean hasLocation()
      • toString

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

        public java.lang.String toLongString()