package de.anomic.server.logging; import java.util.logging.ErrorManager; import java.util.logging.Filter; import java.util.logging.Formatter; import java.util.logging.Handler; import java.util.logging.Level; import java.util.logging.LogManager; import java.util.logging.LogRecord; import java.util.logging.SimpleFormatter; public class GuiHandler extends Handler{ private final static int DEFAULT_SIZE = 400; private int size = DEFAULT_SIZE; private LogRecord buffer[]; int start, count; public GuiHandler() { super(); configure(); init(); } /** * Get any configuration properties set */ private void configure() { LogManager manager = LogManager.getLogManager(); String className = getClass().getName(); String level = manager.getProperty(className + ".level"); setLevel((level == null) ? Level.INFO : Level.parse(level)); String filter = manager.getProperty(className + ".filter"); setFilter(makeFilter(filter)); String formatter = manager.getProperty(className + ".formatter"); setFormatter(makeFormatter(formatter)); String sizeString = manager.getProperty(className + ".size"); this.size = parseSize(sizeString); } private int parseSize(String sizeString) { int newSize = DEFAULT_SIZE; try { newSize = Integer.parseInt(sizeString); } catch (NumberFormatException e) { newSize = DEFAULT_SIZE; } return newSize; } private Filter makeFilter(String name) { if (name == null) return null; Filter f = null; try { Class c = Class.forName(name); f = (Filter)c.newInstance(); } catch (Exception e) { System.err.println("Unable to load filter: " + name); } return f; } private Formatter makeFormatter(String name) { if (name == null) return null; Formatter f = null; try { Class c = Class.forName(name); f = (Formatter)c.newInstance(); } catch (Exception e) { f = new SimpleFormatter(); } return f; } // Initialize. Size is a count of LogRecords. private void init() { this.buffer = new LogRecord[this.size]; this.start = 0; this.count = 0; } public synchronized void publish(LogRecord record) { if (!isLoggable(record)) return; // write it to the buffer int ix = (this.start+this.count)%this.buffer.length; this.buffer[ix] = record; if (this.count < this.buffer.length) { this.count++; } else { this.start++; } } /** * Push any buffered output to the target Handler. *

* The buffer is then cleared. */ public synchronized LogRecord[] getLogArray() { LogRecord tempBuffer[] = new LogRecord[this.count]; for (int i = 0; i < this.count; i++) { int ix = (this.start+i)%this.buffer.length; LogRecord record = this.buffer[ix]; tempBuffer[i] = record; } return tempBuffer; } public synchronized String getLog(boolean reversed, int lineCount) { if ((lineCount > this.count)||(lineCount < 0)) lineCount = this.count; StringBuffer logMessages = new StringBuffer(this.count*40); Formatter logFormatter = getFormatter(); try { int start = (reversed)?this.start+this.count-1:this.start; for (int i = 0; i < Math.min(this.count,lineCount); i++) { int ix = (reversed) ? Math.abs((start-i)%this.buffer.length) : (start+i)%this.buffer.length; LogRecord record = this.buffer[ix]; logMessages.append(logFormatter.format(record)); } return logMessages.toString(); } catch (Exception ex) { // We don't want to throw an exception here, but we // report the exception to any registered ErrorManager. reportError(null, ex, ErrorManager.FORMAT_FAILURE); return "Error while formatting the logging message"; } } public void flush() { // TODO Auto-generated method stub } public void close() throws SecurityException { // TODO Auto-generated method stub } }