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 © 2023 Jet Propulsion Laboratory, California Institute of Technology. All rights reserved.