de.uni.freiburg.iig.telematik.sepia.graphic.container.AbstractGraphicalIFNetContainer Maven / Gradle / Ivy

Go to download
/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */
package de.uni.freiburg.iig.telematik.sepia.graphic.container;

import de.invation.code.toval.debug.SimpleDebugger;
import de.uni.freiburg.iig.telematik.sepia.graphic.AbstractGraphicalIFNet;
import static de.uni.freiburg.iig.telematik.sepia.graphic.container.AbstractGraphicalCPNContainer.COMPONENT_DESCRIPTOR;
import de.uni.freiburg.iig.telematik.sepia.graphic.netgraphics.AbstractIFNetGraphics;
import de.uni.freiburg.iig.telematik.sepia.petrinet.NetType;
import de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.abstr.AbstractDeclassificationTransition;
import de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.abstr.AbstractIFNet;
import de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.abstr.AbstractIFNetFlowRelation;
import de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.abstr.AbstractIFNetMarking;
import de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.abstr.AbstractIFNetPlace;
import de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.abstr.AbstractIFNetTransition;
import de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.abstr.AbstractRegularIFNetTransition;

/**
 *
 * @author stocker
 */
public class AbstractGraphicalIFNetContainer, 
									T extends AbstractIFNetTransition, 
									F extends AbstractIFNetFlowRelation, 
									M extends AbstractIFNetMarking,
									R extends AbstractRegularIFNetTransition,
									D extends AbstractDeclassificationTransition,
									N extends AbstractIFNet,
	   							  	G extends AbstractIFNetGraphics,
                                                                        X extends AbstractGraphicalIFNet> extends AbstractGraphicalCPNContainer {

    public static final String COMPONENT_DESCRIPTOR = "IFNet";
    
    public AbstractGraphicalIFNetContainer(String serializationPath) {
        super(serializationPath);
    }

    public AbstractGraphicalIFNetContainer(String serializationPath, SimpleDebugger debugger) {
        super(serializationPath, debugger);
    }
    
    @Override
    protected NetType getExpectedNetType() {
        return NetType.IFNet;
    }

    @Override
    public String getComponentDescriptor() {
        return COMPONENT_DESCRIPTOR;
    }
}