org.jbpt.petri.io

Class PNMLSerializer

java.lang.Object

org.xml.sax.helpers.DefaultHandler

org.jbpt.petri.io.PNMLSerializer

All Implemented Interfaces:

ContentHandler, DTDHandler, EntityResolver, ErrorHandler

public class PNMLSerializer
extends org.xml.sax.helpers.DefaultHandler

Class of Type DefaultHandler that overrides some methods to extract PNML-Data from given files. Main method: parse(String filename)

Since:

09.11.2011

Author:

johannes...@gmail.com, Matthias Weidlich, Artem Polyvyanyy, Tobias Hoppe

Field Summary

Fields

Modifier and Type	Field and Description
static int	DEFAULT
static int	LOLA

Constructor Summary

Constructors

Constructor and Description
PNMLSerializer()

Method Summary

Methods

Modifier and Type	Method and Description
void	characters(char[] ch, int start, int length)
void	clear() Clear the internal data structures of the parser
void	endElement(String uri, String localName, String qName)
void	error(SAXParseException e) Called, if an error occurs while XML-Doc is parsed.
NetSystem	parse(byte[] pnmlContent) Parses a NetSystem out of the given PNML XML-File.
NetSystem	parse(String file) Parses a NetSystem out of a predefined PNML-file
static Document	serialize(NetSystem net) Serializes the given PetriNet to PNML and returns the according Document object.
static Document	serialize(NetSystem net, int tool) Serializes the given PetriNet to PNML and returns the according Document object.
static String	serializePetriNet(NetSystem net) Creates a PNML XML string from the given PetriNet.
static String	serializePetriNet(NetSystem net, int tool) Creates a PNML XML string from the given PetriNet.
void	startElement(String uri, String localName, String qName, Attributes attributes)

Methods inherited from class org.xml.sax.helpers.DefaultHandler

endDocument, endPrefixMapping, fatalError, ignorableWhitespace, notationDecl, processingInstruction, resolveEntity, setDocumentLocator, skippedEntity, startDocument, startPrefixMapping, unparsedEntityDecl, warning

Methods inherited from class java.lang.Object

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

Field Detail

DEFAULT

public static int DEFAULT

LOLA

public static int LOLA

Constructor Detail

PNMLSerializer

public PNMLSerializer()

Method Detail

clear

public void clear()

Clear the internal data structures of the parser

parse

public NetSystem parse(byte[] pnmlContent)

Parses a NetSystem out of the given PNML XML-File.

Parameters:

pnmlContent - A process description based on the PNML-Standard as byte array.

Returns:

The NetSystem parsed from the given PNML-content.

parse

public NetSystem parse(String file)

Parses a NetSystem out of a predefined PNML-file

Parameters:

file - File containing a process description based on the PNML-Standard.

Returns:

The NetSystem parsed from the given File.

startElement

public void startElement(String uri,
                String localName,
                String qName,
                Attributes attributes)
                  throws SAXException

Specified by:

startElement in interface ContentHandler

Overrides:

startElement in class org.xml.sax.helpers.DefaultHandler

Throws:

SAXException

characters

public void characters(char[] ch,
              int start,
              int length)
                throws SAXException

Specified by:

characters in interface ContentHandler

Overrides:

characters in class org.xml.sax.helpers.DefaultHandler

Throws:

SAXException

endElement

public void endElement(String uri,
              String localName,
              String qName)
                throws SAXException

Specified by:

endElement in interface ContentHandler

Overrides:

endElement in class org.xml.sax.helpers.DefaultHandler

Throws:

SAXException

error

public void error(SAXParseException e)
           throws SAXException

Called, if an error occurs while XML-Doc is parsed.

Specified by:

error in interface ErrorHandler

Overrides:

error in class org.xml.sax.helpers.DefaultHandler

Throws:

SAXException

serializePetriNet

public static String serializePetriNet(NetSystem net)
                                throws SerializationException

Creates a PNML XML string from the given PetriNet.

Parameters:

net - PetriNet to transform into PNML-String

Returns:

PNML string.

Throws:

SerializationException

serializePetriNet

public static String serializePetriNet(NetSystem net,
                       int tool)
                                throws SerializationException

Creates a PNML XML string from the given PetriNet.

Parameters:

net - PetriNet to transform into PNML-String

tool - integer indicating the tool

Returns:

PNML string

Throws:

SerializationException

serialize

public static Document serialize(NetSystem net)
                          throws SerializationException

Serializes the given PetriNet to PNML and returns the according Document object.

Parameters:

net - PetriNet to serialize

Returns:

PNML object.

Throws:

SerializationException

serialize

public static Document serialize(NetSystem net,
                 int tool)
                          throws SerializationException

Serializes the given PetriNet to PNML and returns the according Document object.

Parameters:

the - PetriNet

tool - integer indicating the tool

Returns:

Document object

Throws:

SerializationException