org.semanticweb.HermiT.debugger
Class ConsoleTextArea.ConsoleWriter
java.lang.Object
java.io.Writer
org.semanticweb.HermiT.debugger.ConsoleTextArea.ConsoleWriter
- All Implemented Interfaces:
- ActionListener, Closeable, Flushable, Appendable, EventListener
- Enclosing class:
- ConsoleTextArea
protected class ConsoleTextArea.ConsoleWriter
- extends Writer
- implements ActionListener
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 Timer m_timer
m_firstFreeChar
protected int m_firstFreeChar
ConsoleTextArea.ConsoleWriter
public ConsoleTextArea.ConsoleWriter()
close
public void close()
- Specified by:
close
in interface Closeable
- Specified by:
close
in class Writer
flush
public void flush()
- Specified by:
flush
in interface Flushable
- Specified by:
flush
in class Writer
write
public void write(char[] buffer,
int offset,
int count)
- Specified by:
write
in class Writer
actionPerformed
public void actionPerformed(ActionEvent e)
- Specified by:
actionPerformed
in interface ActionListener
Copyright © 2012. All Rights Reserved.