public interface ExceptionHandler
Modifier and Type | Method and Description |
---|---|
void |
addException(LabelException exception)
Reports an exception encountered during label validation.
|
void addException(LabelException exception)
exception
- the exception encounteredCopyright © 2010–2017 Planetary Data System. All rights reserved.