Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

org.hartmath
Class HartMathTextArea  view HartMathTextArea download HartMathTextArea.java

java.lang.Object
  extended byjava.io.Writer
      extended byorg.hartmath.HartMathTextArea

public class HartMathTextArea
extends java.io.Writer

A Writer class for abstraction of IO with the GUI


Field Summary
private  HartMathPanel hmPanel
           
 
Fields inherited from class java.io.Writer
lock
 
Constructor Summary
HartMathTextArea(HartMathPanel cons)
          Constructor for the HartMathTextArea object
 
Method Summary
 void append(java.lang.String str)
          Description of the Method
 void append(java.lang.String str, java.awt.Color color)
          Description of the Method
 void appendLine(java.lang.String str)
          Description of the Method
 void close()
          Close the stream, flushing it first.
 void flush()
          Flush the stream.
 HartMathPanel getHartMathPanel()
          Gets the hartMathPanel attribute of the HartMathTextArea object
 void write(char[] cbuf, int off, int len)
          Write a portion of an array of characters.
 
Methods inherited from class java.io.Writer
write, write, write, write
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

hmPanel

private HartMathPanel hmPanel
Constructor Detail

HartMathTextArea

public HartMathTextArea(HartMathPanel cons)
Constructor for the HartMathTextArea object

Method Detail

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.