public interface ValidateExceptionHandler extends ExceptionHandler
Modifier and Type | Method and Description |
---|---|
void |
addLocation(java.lang.String location)
Adds a location to the exception handler.
|
void |
printHeader(java.lang.String title)
Adds a header to the report.
|
void |
record(java.lang.String location)
Records the validation results.
|
addException
void addLocation(java.lang.String location)
location
- The location.void printHeader(java.lang.String title)
title
- The name of the section to add.void record(java.lang.String location)
location
- The target file.Copyright © 2010-2019 Planetary Data System. All Rights Reserved.