de.uni.freiburg.iig.telematik.sepia.parser.PNParserInterface Maven / Gradle / Ivy

Go to download
package de.uni.freiburg.iig.telematik.sepia.parser;

import java.io.File;
import java.io.IOException;

import de.invation.code.toval.parser.ParserException;
import de.uni.freiburg.iig.telematik.sepia.graphic.AbstractGraphicalPN;
import de.uni.freiburg.iig.telematik.sepia.graphic.netgraphics.AbstractPNGraphics;
import de.uni.freiburg.iig.telematik.sepia.petrinet.abstr.AbstractFlowRelation;
import de.uni.freiburg.iig.telematik.sepia.petrinet.abstr.AbstractMarking;
import de.uni.freiburg.iig.telematik.sepia.petrinet.abstr.AbstractPetriNet;
import de.uni.freiburg.iig.telematik.sepia.petrinet.abstr.AbstractPlace;
import de.uni.freiburg.iig.telematik.sepia.petrinet.abstr.AbstractTransition;

/**
 * 
 * A parser for graphical petri nets must serve a parsing method.
 * 
 * 
 * @author Adrian Lange
 */
public interface PNParserInterface {

	/**
	 * Parses the given file and returns a {@link AbstractGraphicalPN}.
	 */
	public ,
	    	T extends AbstractTransition,
	    	F extends AbstractFlowRelation,
	    	M extends AbstractMarking,
	    	S extends Object,
	    	N extends AbstractPetriNet,
	    	G extends AbstractPNGraphics>
	
			AbstractGraphicalPN parse(File file) throws IOException, ParserException;
	
	public PNParsingFormat getParsingFormat();
}