net.frapu.code.converter

Class LoLAExporter

java.lang.Object

net.frapu.code.converter.LoLAExporter

All Implemented Interfaces:

Exporter

public class LoLAExporter
extends java.lang.Object
implements Exporter

This class exports a PetriNetModel to the LoLA (Low Level Petri net Analyzer) format. (see http://www2.informatik.hu-berlin.de/~kschmidt/lola.html)

Constructor Summary

Constructors

Constructor and Description
LoLAExporter()

Method Summary

Modifier and Type	Method and Description
java.lang.String	getDisplayName() Returns the display name of this Exporter.
java.lang.String[]	getFileTypes() Returns the set of file types supported by the Exporter.
java.util.Set<java.lang.Class<? extends ProcessModel>>	getSupportedModels() Returns a set of supported ProcessModell classes.
void	serialize(java.io.File f, ProcessModel m) Serializes the ProcessModel als LoLA file.

Methods inherited from class java.lang.Object

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

Constructor Detail

LoLAExporter

public LoLAExporter()

Method Detail

serialize

public void serialize(java.io.File f,
                      ProcessModel m)
               throws java.lang.Exception

Serializes the ProcessModel als LoLA file.

Specified by:

serialize in interface Exporter

Parameters:

f -

m -

Throws:

java.lang.Exception

getDisplayName

public java.lang.String getDisplayName()

Description copied from interface: Exporter

Returns the display name of this Exporter.

Specified by:

getDisplayName in interface Exporter

Returns:

getFileTypes

public java.lang.String[] getFileTypes()

Description copied from interface: Exporter

Returns the set of file types supported by the Exporter.

Specified by:

getFileTypes in interface Exporter

Returns:

getSupportedModels

public java.util.Set<java.lang.Class<? extends ProcessModel>> getSupportedModels()

Description copied from interface: Exporter

Returns a set of supported ProcessModell classes.

Specified by:

getSupportedModels in interface Exporter

Returns: