/* * $Id$ * * Copyright (C) 2003-2015 JNode.org * * This library is free software; you can redistribute it and/or modify it * under the terms of the GNU Lesser General Public License as published * by the Free Software Foundation; either version 2.1 of the License, or * (at your option) any later version. * * This library is distributed in the hope that it will be useful, but * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public * License for more details. * * You should have received a copy of the GNU Lesser General Public License * along with this library; If not, write to the Free Software Foundation, Inc., * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. */ package org.jnode.apps.jpartition.consoleview; import java.io.PrintStream; import org.jnode.apps.jpartition.ErrorReporter; /** * * @author Fabien Duminy * */ class ConsoleErrorReporter extends ErrorReporter { private final PrintStream err; ConsoleErrorReporter(PrintStream err) { this.err = err; } protected void displayError(Object source, String message) { StringBuilder sb = new StringBuilder(); if (source != null) { sb.append('[').append(String.valueOf(source)).append("] "); } sb.append(message); err.println(sb.toString()); } }