yacy_search_server/source/de/anomic/server/logging/serverSimpleLogFormatter.java

package de.anomic.server.logging;

import java.io.PrintWriter;
import java.io.StringWriter;
import java.text.FieldPosition;
import java.text.SimpleDateFormat;
import java.util.Date;
import java.util.logging.LogRecord;
import java.util.logging.SimpleFormatter;

public class serverSimpleLogFormatter extends SimpleFormatter {


      private Date date = new Date();      
      private final FieldPosition position = new FieldPosition(0);

      // e.g. 2005/05/25 11:22:53
      private final SimpleDateFormat formatter = new SimpleDateFormat("yyyy/MM/dd HH:mm:ss");
      
      private final StringBuffer buffer = new StringBuffer();
      
  
      public serverSimpleLogFormatter() {
          super();
      }        
      
      public synchronized String format(LogRecord record) {
          
          StringBuffer buffer = this.buffer;
          buffer.setLength(0);
          
          // adding the loglevel
          int logLevel = record.getLevel().intValue();
          if (logLevel == serverLog.LOGLEVEL_SEVERE) 
              this.buffer.append(serverLog.LOGTOKEN_SEVERE); 
          else if (logLevel == serverLog.LOGLEVEL_WARNING) 
              this.buffer.append(serverLog.LOGTOKEN_WARNING);
          else if (logLevel == serverLog.LOGLEVEL_CONFIG)
              this.buffer.append(serverLog.LOGTOKEN_CONFIG);
          else if (logLevel == serverLog.LOGLEVEL_INFO)
              this.buffer.append(serverLog.LOGTOKEN_INFO);
          else if (logLevel == serverLog.LOGLEVEL_FINE) 
              this.buffer.append(serverLog.LOGTOKEN_FINE);
          else if (logLevel == serverLog.LOGLEVEL_FINER) 
              this.buffer.append(serverLog.LOGTOKEN_FINER);        
          else if (logLevel == serverLog.LOGLEVEL_FINEST) 
              this.buffer.append(serverLog.LOGTOKEN_FINEST);            
          else 
              this.buffer.append(serverLog.LOGTOKEN_FINE);
          this.buffer.append(' ');
          
          // adding the logging date
          this.date.setTime(record.getMillis());
          this.position.setBeginIndex(0);
          this.formatter.format(this.date, this.buffer, this.position);

          // adding the logger name
          buffer.append(' ');
          buffer.append(record.getLoggerName());
          
          // adding the logging message
          buffer.append(' ');
          buffer.append(formatMessage(record));
          
          // adding the stack trace if available
          buffer.append(System.getProperty("line.separator"));
          if (record.getThrown() != null) {
              StringWriter writer = null;
              try {
                  writer = new StringWriter();
                  PrintWriter printer = new PrintWriter(writer);
                  record.getThrown().printStackTrace(printer);
                  buffer.append(writer.toString());
              } catch (Exception e) {
                  buffer.append("Failed to get stack trace: " + e.getMessage());
              } finally {
                  if (writer != null) try {writer.close();} catch (Exception ex) {}
              }
          }
          return buffer.toString();
      }
}