net.frapu.code.converter

Class PNMLImporter

java.lang.Object

net.frapu.code.converter.PNMLImporter

All Implemented Interfaces:

Importer

public class PNMLImporter
extends java.lang.Object
implements Importer

Helper class for converting .PNML files to PetriNetModels.

Constructor Summary

Constructors

Constructor and Description
PNMLImporter()
PNMLImporter(org.w3c.dom.Document xmlDoc) Creates a new PNML-Parser based on Document.

Method Summary

Modifier and Type	Method and Description
java.lang.String	getDisplayName() Returns the display name of this Importer.
java.lang.String[]	getFileTypes() Returns the set of file types supported by the Importer.
java.util.List<ProcessModel>	getModels() Returns the PetriNetModels found in the PNML file.
static void	main(java.lang.String[] args)
java.util.List<ProcessModel>	parseSource(java.io.File f) Imports a set of ProcessModels from a source.

Methods inherited from class java.lang.Object

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

Constructor Detail

PNMLImporter

public PNMLImporter()

PNMLImporter

public PNMLImporter(org.w3c.dom.Document xmlDoc)
             throws java.lang.Exception

Creates a new PNML-Parser based on Document.

Parameters:

xmlDoc -

Throws:

java.lang.Exception

Method Detail

getModels

public java.util.List<ProcessModel> getModels()

Returns the PetriNetModels found in the PNML file.

Returns:

main

public static void main(java.lang.String[] args)

parseSource

public java.util.List<ProcessModel> parseSource(java.io.File f)
                                         throws java.lang.Exception

Description copied from interface: Importer

Imports a set of ProcessModels from a source.

Specified by:

parseSource in interface Importer

Returns:

Throws:

java.lang.Exception

getDisplayName

public java.lang.String getDisplayName()

Description copied from interface: Importer

Returns the display name of this Importer.

Specified by:

getDisplayName in interface Importer

Returns:

getFileTypes

public java.lang.String[] getFileTypes()

Description copied from interface: Importer

Returns the set of file types supported by the Importer.

Specified by:

getFileTypes in interface Importer

Returns: