org.processmining.plugins.petrify

Class PetrifyImportDotG

java.lang.Object

org.processmining.framework.abstractplugins.AbstractImportPlugin

org.processmining.plugins.petrify.PetrifyImportDotG

All Implemented Interfaces:

org.processmining.framework.abstractplugins.ImportPlugin

public class PetrifyImportDotG
extends org.processmining.framework.abstractplugins.AbstractImportPlugin

Supports the import of a Petri net from a Petrify/Genet Petri net file.

Author:

HVERBEEK

Constructor Summary

Constructors

Constructor and Description
PetrifyImportDotG()

Method Summary

Modifier and Type	Method and Description
java.lang.Object[]	importFile(org.processmining.framework.plugin.PluginContext context, PetrifyDotG dotG) Imports a Petri net from a Petrify/Genet Petri net file.
protected java.lang.Object[]	importFromStream(org.processmining.framework.plugin.PluginContext context, java.io.InputStream input, java.lang.String filename, long fileSizeInBytes) Imports a Petri net from a Petrify/Genet Petri net stream, given the associated file name and size.

Methods inherited from class org.processmining.framework.abstractplugins.AbstractImportPlugin

getFile, getInputStream, importFile, importFile, importFile, importFile

Methods inherited from class java.lang.Object

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

Constructor Detail

PetrifyImportDotG

public PetrifyImportDotG()

Method Detail

importFile

public java.lang.Object[] importFile(org.processmining.framework.plugin.PluginContext context,
                                     PetrifyDotG dotG)
                              throws java.lang.Exception

Imports a Petri net from a Petrify/Genet Petri net file.

Parameters:

context - The current plug-in context.

dotG - The handle to the given file.

Returns:

The Petri net and the marking as imported from the file.

Throws:

java.lang.Exception

importFromStream

protected java.lang.Object[] importFromStream(org.processmining.framework.plugin.PluginContext context,
                                              java.io.InputStream input,
                                              java.lang.String filename,
                                              long fileSizeInBytes)
                                       throws java.lang.Exception

Imports a Petri net from a Petrify/Genet Petri net stream, given the associated file name and size.

Specified by:

importFromStream in class org.processmining.framework.abstractplugins.AbstractImportPlugin

Parameters:

context - The current plug-in context.

input - The given stream.

filename - The name of the file associated with the stream.

fileSizeInBytes - The size of the file associated with the stream.

Returns:

The Petri net and the marking as imported from the stream.

Throws:

java.lang.Exception