static class HessianSkeleton.LogWriter
extends java.io.Writer
Modifier and Type | Field and Description |
---|---|
private java.util.logging.Logger |
_log |
private java.lang.StringBuilder |
_sb |
Constructor and Description |
---|
HessianSkeleton.LogWriter(java.util.logging.Logger log) |
HessianSkeleton.LogWriter(java.util.logging.Logger log)
public void write(char ch)
public void write(char[] buffer, int offset, int length)
write
in class java.io.Writer
public void flush()
flush
in interface java.io.Flushable
flush
in class java.io.Writer
public void close()
close
in interface java.io.Closeable
close
in interface java.lang.AutoCloseable
close
in class java.io.Writer
Copyright 2003-2013. All Rights Reserved.