org.semanticweb.HermiT.debugger
Class ConsoleTextArea.ConsoleWriter
java.lang.Object
java.io.Writer
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
Fields inherited from class java.io.Writer |
lock |
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 |
m_buffer
protected final char[] m_buffer
m_timer
protected final javax.swing.Timer m_timer
m_firstFreeChar
protected int m_firstFreeChar
ConsoleTextArea.ConsoleWriter
public ConsoleTextArea.ConsoleWriter()
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