public interface ErrorReportFactory
ErrorReport
used by a StreamMatcher
Modifier and Type | Method and Description |
---|---|
ErrorReport |
newErrorReport(java.lang.String header)
create an empty error report
|
ErrorReport newErrorReport(java.lang.String header)
header
- A human readable header to preface the error message