java.lang.Object
java.io.Writer
org.hartmath.HartMathTextArea
- public class HartMathTextArea
- extends java.io.Writer
A Writer class for abstraction of IO with the GUI
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
hmPanel
private HartMathPanel hmPanel
HartMathTextArea
public HartMathTextArea(HartMathPanel cons)
- Constructor for the HartMathTextArea object
getHartMathPanel
public HartMathPanel getHartMathPanel()
- Gets the hartMathPanel attribute of the HartMathTextArea object
append
public void append(java.lang.String str)
- Description of the Method
append
public void append(java.lang.String str,
java.awt.Color color)
- Description of the Method
appendLine
public void appendLine(java.lang.String str)
- Description of the Method
write
public void write(char[] cbuf,
int off,
int len)
throws java.io.IOException
- Write a portion of an array of characters.
flush
public void flush()
throws java.io.IOException
- Flush the stream. If the stream has saved any characters from the various
write() methods in a buffer, write them immediately to their intended
destination. Then, if that destination is another character or byte stream,
flush it. Thus one flush() invocation will flush all the buffers in a chain
of Writers and OutputStreams.
close
public void close()
throws java.io.IOException
- Close the stream, flushing it first. Once a stream has been closed, further
write() or flush() invocations will cause an IOException to be thrown.
Closing a previously-closed stream, however, has no effect.