org.overturetool.vdmj.messages
Class StdoutRedirector

java.lang.Object
  java.io.Writer
      java.io.PrintWriter
          org.overturetool.vdmj.messages.Redirector
              org.overturetool.vdmj.messages.StdoutRedirector

All Implemented Interfaces:

java.io.Closeable, java.io.Flushable, java.lang.Appendable

public class StdoutRedirector
extends Redirector

Field Summary

Fields inherited from class org.overturetool.vdmj.messages.Redirector

dbgp, type

Fields inherited from class java.io.PrintWriter

out

Fields inherited from class java.io.Writer

lock

Constructor Summary

StdoutRedirector(java.io.OutputStreamWriter out)

Method Summary

void	print(java.lang.String line)

Methods inherited from class org.overturetool.vdmj.messages.Redirector

println, redirect

Methods inherited from class java.io.PrintWriter

append, append, append, checkError, clearError, close, flush, format, format, print, print, print, print, print, print, print, print, printf, printf, println, println, println, println, println, println, println, println, println, setError, write, write, write, write, write

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StdoutRedirector

public StdoutRedirector(java.io.OutputStreamWriter out)

Method Detail

print

public void print(java.lang.String line)

Overrides:

print in class java.io.PrintWriter