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(String handle, String message, Location optionalLocation) throws CompileException
CompileException
.handle
- A string describing the category of the warningCompileException
Copyright © 2001–2016. All rights reserved.