public interface JFPErrorReporterType
Modifier and Type | Method and Description |
---|---|
void |
onExternalHTTPError(URI uri,
int code,
String operation)
Called upon failures caused by calling external HTTP URIs.
|
void |
onExternalProgramError(StringBuilder output,
List<String> args,
int code)
Called upon execution failures of external programs.
|
void onExternalHTTPError(URI uri, int code, String operation)
uri
- The external URI.code
- The HTTP error code.operation
- A humanly-readable description of what the operation being
performed.void onExternalProgramError(StringBuilder output, List<String> args, int code)
output
- The output produced by the execution.args
- The arguments that produced the execution failure.code
- The process exit code.Copyright © 2015 <code@io7m.com> http://io7m.com