goal.tools.logging.GOALConsoleHandler Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of runtime Show documentation
A system for running GOAL multi-agent systems.
The newest version!
/**
 * The GOAL Runtime Environment. Copyright (C) 2015 Koen Hindriks.
 *
 * This program is free software: you can redistribute it and/or modify it under
 * the terms of the GNU General Public License as published by the Free Software
 * Foundation, either version 3 of the License, or (at your option) any later
 * version.
 *
 * This program 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 General Public License for more
 * details.
 *
 * You should have received a copy of the GNU General Public License along with
 * this program. If not, see .
 */
package goal.tools.logging;

import java.util.logging.Formatter;
import java.util.logging.Handler;
import java.util.logging.Level;
import java.util.logging.LogRecord;
import java.util.logging.SimpleFormatter;
import java.util.logging.StreamHandler;

/**
 * A ConsoleHandler publishes log records to
 * System.err if the record level >= Level.WARNING, or else to
 * System.out. If the log record is a GOALLogRecord, the formatter
 * inside the record is used for formatting; else the simpleFormatter is used.
 */
public class GOALConsoleHandler extends Handler {
	private StreamHandler outstream, errstream;
	private Formatter simpleFormatter = new SimpleFormatter();

	public GOALConsoleHandler() {
		this.outstream = new StreamHandler(System.out, this.simpleFormatter);
		this.errstream = new StreamHandler(System.err, this.simpleFormatter);
		setLevel(Level.ALL);
	}

	@Override
	public void close() {
		flush();
	}

	@Override
	public void publish(LogRecord record) {
		StreamHandler handler;
		if (record.getLevel().intValue() >= Level.WARNING.intValue()) {
			handler = this.errstream;
		} else {
			handler = this.outstream;
		}

		Formatter formatter = null;
		if (record instanceof GOALLogRecord) {
			formatter = ((GOALLogRecord) record).getFormatter();
		}

		if (formatter != null) {
			handler.setFormatter(formatter);
		} else {
			handler.setFormatter(this.simpleFormatter);
		}

		handler.publish(record);
		handler.flush();
	}

	@Override
	public void flush() {
		this.outstream.flush();
		this.errstream.flush();
	}
}