org.processmining.mining
Class FileResult
java.lang.Object
java.io.Writer
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
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 |
FileResult
public FileResult(java.lang.String extension)
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)