Interface WarningHandler

    • Method Detail

      • handleWarning

        void handleWarning​(java.lang.String handle,
                           java.lang.String message,
                           Location optionalLocation)
                    throws CompileException
        May or may not choose to throw a CompileException.
        Parameters:
        handle - A string describing the category of the warning
        Throws:
        CompileException