org.semanticweb.HermiT.debugger
Class ConsoleTextArea.ConsoleWriter

java.lang.Object
  extended by java.io.Writer
      extended by org.semanticweb.HermiT.debugger.ConsoleTextArea.ConsoleWriter
All Implemented Interfaces:
java.awt.event.ActionListener, java.io.Closeable, java.io.Flushable, java.lang.Appendable, java.util.EventListener
Enclosing class:
ConsoleTextArea

protected class ConsoleTextArea.ConsoleWriter
extends java.io.Writer
implements java.awt.event.ActionListener


Field Summary
protected  char[] m_buffer
           
protected  int m_firstFreeChar
           
protected  javax.swing.Timer m_timer
           
 
Fields inherited from class java.io.Writer
lock
 
Constructor Summary
ConsoleTextArea.ConsoleWriter()
           
 
Method Summary
 void actionPerformed(java.awt.event.ActionEvent e)
           
 void close()
           
 void flush()
           
 void write(char[] buffer, int offset, int count)
           
 
Methods inherited from class java.io.Writer
append, append, append, write, write, write, write
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_buffer

protected final char[] m_buffer

m_timer

protected final javax.swing.Timer m_timer

m_firstFreeChar

protected int m_firstFreeChar
Constructor Detail

ConsoleTextArea.ConsoleWriter

public ConsoleTextArea.ConsoleWriter()
Method Detail

close

public void close()
Specified by:
close in interface java.io.Closeable
Specified by:
close in class java.io.Writer

flush

public void flush()
Specified by:
flush in interface java.io.Flushable
Specified by:
flush in class java.io.Writer

write

public void write(char[] buffer,
                  int offset,
                  int count)
Specified by:
write in class java.io.Writer

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)
Specified by:
actionPerformed in interface java.awt.event.ActionListener