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-2019 Planetary Data System. All Rights Reserved.