org.processmining.mining
Class FileResult

java.lang.Object
  extended by java.io.Writer
      extended by org.processmining.mining.FileResult
All Implemented Interfaces:
java.io.Closeable, java.io.Flushable, java.lang.Appendable, MiningResult

public class FileResult
extends java.io.Writer
implements MiningResult

Version:
1.0
Author:
Peter van den Brand

Field Summary
 
Fields inherited from class java.io.Writer
lock
 
Constructor Summary
FileResult(java.lang.String extension)
           
 
Method Summary
 void close()
           
 void flush()
           
 java.lang.String getExtension()
           
 LogReader getLogReader()
          Returns the LogReader object that was used to generate this mining result.
 javax.swing.JComponent getVisualization()
          Returns a component that contains the visualization of this mining result.
 void saveResult(java.io.OutputStream out)
           
 void write(char[] cbuf)
           
 void write(char[] cbuf, int off, int len)
           
 void write(int c)
           
 void write(java.lang.String str)
           
 void write(java.lang.String str, int off, int len)
           
 void writeln(java.lang.String str)
           
 
Methods inherited from class java.io.Writer
append, append, append
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FileResult

public FileResult(java.lang.String extension)
Method Detail

getLogReader

public LogReader getLogReader()
Description copied from interface: MiningResult
Returns the LogReader object that was used to generate this mining result. This function may return null.

Specified by:
getLogReader in interface MiningResult
Returns:
the LogReader object that was used to generate this mining result or null.

getVisualization

public javax.swing.JComponent getVisualization()
Description copied from interface: MiningResult
Returns a component that contains the visualization of this mining result. This function should return null if this result cannot be visualized.

Specified by:
getVisualization in interface MiningResult
Returns:
a component that contains the visualization of this mining result or null if this result cannot be visualized

getExtension

public java.lang.String getExtension()

saveResult

public void saveResult(java.io.OutputStream out)

close

public void close()
Specified by:
close in interface java.io.Closeable
Specified by:
close in class java.io.Writer

flush

public void flush()
Specified by:
flush in interface java.io.Flushable
Specified by:
flush in class java.io.Writer

write

public void write(char[] cbuf)
Overrides:
write in class java.io.Writer

write

public void write(char[] cbuf,
                  int off,
                  int len)
Specified by:
write in class java.io.Writer

write

public void write(int c)
Overrides:
write in class java.io.Writer

write

public void write(java.lang.String str)
Overrides:
write in class java.io.Writer

write

public void write(java.lang.String str,
                  int off,
                  int len)
Overrides:
write in class java.io.Writer

writeln

public void writeln(java.lang.String str)