org.processmining.janus.plugins

Class MegaMatrixMonsterJsonExport

java.lang.Object

org.processmining.janus.plugins.MegaMatrixMonsterJsonExport

public class MegaMatrixMonsterJsonExport
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
MegaMatrixMonsterJsonExport()

Method Summary

Modifier and Type	Method and Description
void	exportToJson(org.processmining.framework.plugin.PluginContext context, minerful.reactive.checking.MegaMatrixMonster matrix, java.io.File outputFile)

Methods inherited from class java.lang.Object

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

Constructor Detail

MegaMatrixMonsterJsonExport

public MegaMatrixMonsterJsonExport()

Method Detail

exportToJson

public void exportToJson(org.processmining.framework.plugin.PluginContext context,
                         minerful.reactive.checking.MegaMatrixMonster matrix,
                         java.io.File outputFile)
                  throws java.io.IOException

Throws:

java.io.IOException