org.eclipse.ocl.examples.debug.vm.utils
Class WriterMonitor
java.lang.Object
java.io.Writer
org.eclipse.ocl.examples.debug.vm.utils.WriterMonitor
- All Implemented Interfaces:
- java.io.Closeable, java.io.Flushable, java.lang.Appendable, org.eclipse.debug.core.model.IFlushableStreamMonitor, org.eclipse.debug.core.model.IStreamMonitor
public class WriterMonitor
- extends java.io.Writer
- implements org.eclipse.debug.core.model.IFlushableStreamMonitor
A stream monitor connected to a Writer
Fields inherited from class java.io.Writer |
lock |
Methods inherited from class java.io.Writer |
append, append, append, write, write, write, write |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
WriterMonitor
public WriterMonitor()
flushContents
public void flushContents()
- Specified by:
flushContents
in interface org.eclipse.debug.core.model.IFlushableStreamMonitor
isBuffered
public boolean isBuffered()
- Specified by:
isBuffered
in interface org.eclipse.debug.core.model.IFlushableStreamMonitor
setBuffered
public void setBuffered(boolean buffer)
- Specified by:
setBuffered
in interface org.eclipse.debug.core.model.IFlushableStreamMonitor
getContents
public java.lang.String getContents()
- Specified by:
getContents
in interface org.eclipse.debug.core.model.IStreamMonitor
addListener
public void addListener(org.eclipse.debug.core.IStreamListener listener)
- Specified by:
addListener
in interface org.eclipse.debug.core.model.IStreamMonitor
removeListener
public void removeListener(org.eclipse.debug.core.IStreamListener listener)
- Specified by:
removeListener
in interface org.eclipse.debug.core.model.IStreamMonitor
write
public void write(char[] cbuf,
int off,
int len)
throws java.io.IOException
- Specified by:
write
in class java.io.Writer
- Throws:
java.io.IOException
close
public void close()
throws java.io.IOException
- Specified by:
close
in interface java.io.Closeable
- Specified by:
close
in class java.io.Writer
- Throws:
java.io.IOException
flush
public void flush()
throws java.io.IOException
- Specified by:
flush
in interface java.io.Flushable
- Specified by:
flush
in class java.io.Writer
- Throws:
java.io.IOException