org.processmining.plugins.petrify

Class PetrifyDotAny

java.lang.Object

org.processmining.plugins.petrify.PetrifyDotAny

Direct Known Subclasses:

PetrifyDotG, PetrifyDotSG

public class PetrifyDotAny
extends java.lang.Object

Generic support for both file formats supported by Petrify and Genet: 1. The state graph format (.sg), and 2. The Petri net format (.g).

Author:

HVERBEEK

Method Summary

Modifier and Type	Method and Description
java.io.InputStream	getInputStream() Returns an input stream to this file.
long	getLength()
java.lang.String	getName() Gets the name of this file.

Methods inherited from class java.lang.Object

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

Method Detail

getName

public java.lang.String getName()

Gets the name of this file.

Returns:

The name.

getInputStream

public java.io.InputStream getInputStream()
                                   throws java.lang.Exception

Returns an input stream to this file.

Returns:

An input stream for this file.

Throws:

java.lang.Exception

getLength

public long getLength()