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-nullCompileException - This WarningHandler wishes to terminate compilation, e.g. because "too many"
warnings have been reportedCopyright © 2019. All rights reserved.