public interface WarningHandler
Modifier and Type | Method and Description |
---|---|
void |
handleWarning(String handle,
String message,
Location optionalLocation)
May or may not choose to throw a
CompileException . |
void handleWarning(@Nullable String handle, String message, @Nullable Location optionalLocation) throws CompileException
CompileException
.handle
- A string describing the category of the warning; used for filtering iff non-null
CompileException
- This WarningHandler
wishes to terminate compilation, e.g. because "too many"
warnings have been reportedCopyright © 2016. All rights reserved.