Class Source.CompilerException

java.lang.Object
java.lang.Throwable
java.lang.Exception
org.checkerframework.afu.annotator.Source.CompilerException
All Implemented Interfaces:
Serializable
Enclosing class:
Source

public static class Source.CompilerException extends Exception
Signifies that a problem has occurred with the compiler that produces the syntax tree for this source file.
See Also:
  • Constructor Details

    • CompilerException

      public CompilerException(String message)