org.semanticweb.HermiT.debugger
Class ConsoleTextArea.ConsoleReader

java.lang.Object
  extended by java.io.Reader
      extended by 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


Field Summary
protected  char[] m_buffer
           
protected  int m_firstFreeChar
           
protected  int m_nextCharToRead
           
 
Fields inherited from class java.io.Reader
lock
 
Constructor Summary
ConsoleTextArea.ConsoleReader()
           
 
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
 

Field Detail

m_buffer

protected char[] m_buffer

m_nextCharToRead

protected int m_nextCharToRead

m_firstFreeChar

protected int m_firstFreeChar
Constructor Detail

ConsoleTextArea.ConsoleReader

public ConsoleTextArea.ConsoleReader()
Method Detail

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