org.jbpt.petri.io

Class WoflanSerializer

java.lang.Object

org.jbpt.petri.io.WoflanSerializer

public class WoflanSerializer
extends Object

Woflan parser/serializer

Author:

Artem Polyvyanyy, Matthias Weidlich

Field Summary

Fields

Modifier and Type	Field and Description
protected static int	counter

Constructor Summary

Constructors

Constructor and Description
WoflanSerializer()

Method Summary

Methods

Modifier and Type	Method and Description
static String	formatId(String id)
protected static String	getId()
static NetSystem	parse(File file)
static void	serialize(File file, NetSystem sys)

Methods inherited from class java.lang.Object

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

Field Detail

counter

protected static int counter

Constructor Detail

WoflanSerializer

public WoflanSerializer()

Method Detail

getId

protected static String getId()

formatId

public static String formatId(String id)

parse

public static NetSystem parse(File file)

serialize

public static void serialize(File file,
             NetSystem sys)