org.semanticweb.HermiT.debugger
Class ConsoleTextArea.ConsoleReader
java.lang.Object
java.io.Reader
org.semanticweb.HermiT.debugger.ConsoleTextArea.ConsoleReader
- All Implemented Interfaces:
- java.io.Closeable, java.lang.Readable
- Enclosing class:
- ConsoleTextArea
protected class ConsoleTextArea.ConsoleReader
- extends java.io.Reader
Fields inherited from class java.io.Reader |
lock |
Method Summary |
void |
addToBuffer(java.lang.String string)
|
void |
close()
|
int |
read(char[] buffer,
int offset,
int length)
|
Methods inherited from class java.io.Reader |
mark, markSupported, read, read, read, ready, reset, skip |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_buffer
protected char[] m_buffer
m_nextCharToRead
protected int m_nextCharToRead
m_firstFreeChar
protected int m_firstFreeChar
ConsoleTextArea.ConsoleReader
public ConsoleTextArea.ConsoleReader()
addToBuffer
public void addToBuffer(java.lang.String string)
close
public void close()
throws java.io.IOException
- Specified by:
close
in interface java.io.Closeable
- Specified by:
close
in class java.io.Reader
- Throws:
java.io.IOException
read
public int read(char[] buffer,
int offset,
int length)
throws java.io.IOException
- Specified by:
read
in class java.io.Reader
- Throws:
java.io.IOException