public class ErrorReporterIntoString extends ErrorReporterBase
String
via StringBuilder
.Constructor and Description |
---|
ErrorReporterIntoString(StringBuilder builder)
Creates for a particular
StringBuilder . |
hasWarningOccurred, recordError, recordError, recordError, recordWarning
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
recordErrorFormatted, recordWarningFormatted
public ErrorReporterIntoString(StringBuilder builder)
StringBuilder
.builder
- the builder that is appended to with messages.Copyright © 2010–2023 Owen Feehan, ETH Zurich, University of Zurich, Hoffmann-La Roche. All rights reserved.