| Modifier and Type | Method and Description |
|---|---|
| public void | handleWarning(String
A string describing the category of the warning; used for filtering iff non- handle, String message, Location location)nullMay or may not choose to throw a |
| handleWarning | back to summary |
|---|---|
| public void handleWarning(String handle, String message, Location location) throws CompileException May or may not choose to throw a
| |