org.processmining.plugins.declareminer.visualizing
Class JListOutputStream

java.lang.Object
  java.io.OutputStream
      org.processmining.plugins.declareminer.visualizing.JListOutputStream

All Implemented Interfaces:

java.io.Closeable, java.io.Flushable

public class JListOutputStream
extends java.io.OutputStream

Title: DECLARE

Description:

Copyright: Copyright (c) 2006

Company: TU/e

Version:

1.0

Author:

not attributable

Constructor Summary

JListOutputStream(javax.swing.JList list)

Method Summary

void	flush()
void	write(int b) Writes the specified byte to this output stream.

Methods inherited from class java.io.OutputStream

close, write, write

Methods inherited from class java.lang.Object

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

Constructor Detail

JListOutputStream

public JListOutputStream(javax.swing.JList list)

Method Detail

write

public void write(int b)
           throws java.io.IOException

Writes the specified byte to this output stream.

Specified by:

write in class java.io.OutputStream

Parameters:

b - the byte.

Throws:

java.io.IOException - if an I/O error occurs. In particular, an IOException may be thrown if the output stream has been closed.

flush

public void flush()
           throws java.io.IOException

Specified by:

flush in interface java.io.Flushable

Overrides:

flush in class java.io.OutputStream

Throws:

java.io.IOException