public interface WarningHandler
Modifier and Type | Method and Description |
---|---|
void |
handleWarning(java.lang.String handle,
java.lang.String message,
Location optionalLocation)
May or may not choose to throw a
CompileException . |
void handleWarning(java.lang.String handle, java.lang.String message, Location optionalLocation) throws CompileException
CompileException
.handle
- A string describing the category of the warningCompileException