JFlex
Class StdOutWriter

java.lang.Object
  extended by java.io.Writer
      extended by java.io.PrintWriter
          extended by JFlex.StdOutWriter
All Implemented Interfaces:
java.io.Closeable, java.io.Flushable, java.lang.Appendable

public final class StdOutWriter
extends java.io.PrintWriter

Convenience class for JFlex stdout, redirects output to a TextArea if in GUI mode.


Field Summary
 
Fields inherited from class java.io.PrintWriter
out
 
Fields inherited from class java.io.Writer
lock
 
Constructor Summary
StdOutWriter()
          A StdOutWriter, attached to System.out, no gui mode
StdOutWriter(java.io.OutputStream out)
          A StdOutWrite, attached to the specified output stream, no gui mode
 
Method Summary
 void println()
          Begin a new line.
 void setGUIMode(java.awt.TextArea text)
          Set the TextArea to write text to.
 void write(char[] buf, int off, int len)
          Write a portion of an array of characters.
 void write(int c)
          Write a single character.
 void write(java.lang.String s, int off, int len)
          Write a portion of a string.
 
Methods inherited from class java.io.PrintWriter
append, append, append, checkError, close, flush, format, format, print, print, print, print, print, print, print, print, print, printf, printf, println, println, println, println, println, println, println, println, println, setError, write, write
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

StdOutWriter

public StdOutWriter()
A StdOutWriter, attached to System.out, no gui mode


StdOutWriter

public StdOutWriter(java.io.OutputStream out)
A StdOutWrite, attached to the specified output stream, no gui mode

Method Detail

setGUIMode

public void setGUIMode(java.awt.TextArea text)
Set the TextArea to write text to. Will continue to write to System.out if text is null.

Parameters:
text - the TextArea to write to

write

public void write(int c)
Write a single character.

Overrides:
write in class java.io.PrintWriter

write

public void write(char[] buf,
                  int off,
                  int len)
Write a portion of an array of characters.

Overrides:
write in class java.io.PrintWriter

write

public void write(java.lang.String s,
                  int off,
                  int len)
Write a portion of a string.

Overrides:
write in class java.io.PrintWriter

println

public void println()
Begin a new line. Which actual character/s is/are written depends on the runtime platform.

Overrides:
println in class java.io.PrintWriter