class DefaultBuilderProblem implements BuilderProblem {
    final String source;
    final int lineNumber;
    final int columnNumber;
    final Exception exception;
    final String message;
    final Severity severity;

    DefaultBuilderProblem(
            String source, int lineNumber, int columnNumber, Exception exception, String message, Severity severity) {
        this.source = source;
        this.lineNumber = lineNumber;
        this.columnNumber = columnNumber;
        this.exception = exception;
        this.message = message;
        this.severity = severity;
    }

    @Override
    public String getSource() {
        return source;
    }

    @Override
    public int getLineNumber() {
        return lineNumber;
    }

    @Override
    public int getColumnNumber() {
        return columnNumber;
    }

    @Override
    public Exception getException() {
        return exception;
    }

    @Override
    public String getMessage() {
        return message;
    }

    @Override
    public Severity getSeverity() {
        return severity;
    }

    @Override
    public String getLocation() {
        StringBuilder buffer = new StringBuilder(256);
        if (!getSource().isEmpty()) {
            buffer.append(getSource());
        }
        if (getLineNumber() > 0) {
            if (!buffer.isEmpty()) {
                buffer.append(", ");
            }
            buffer.append("line ").append(getLineNumber());
        }
        if (getColumnNumber() > 0) {
            if (!buffer.isEmpty()) {
                buffer.append(", ");
            }
            buffer.append("column ").append(getColumnNumber());
        }
        return buffer.toString();
    }

    @Override
    public String toString() {<FILL_FUNCTION_BODY>}
}

        StringBuilder buffer = new StringBuilder(128);
        buffer.append('[').append(severity).append("]");
        String msg = message != null ? message : exception != null ? exception.getMessage() : null;
        if (msg != null && !msg.isEmpty()) {
            buffer.append(" ").append(msg);
        }
        String location = getLocation();
        if (!location.isEmpty()) {
            buffer.append(" @ ").append(location);
        }
        return buffer.toString();
    
<no_super_class>