de.uni.freiburg.iig.telematik.sepia.graphic.container.AbstractGraphicalPTNetContainer 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.AbstractGraphicalPTNet;
import de.uni.freiburg.iig.telematik.sepia.graphic.netgraphics.AbstractPTGraphics;
import de.uni.freiburg.iig.telematik.sepia.petrinet.NetType;
import de.uni.freiburg.iig.telematik.sepia.petrinet.pt.abstr.AbstractPTFlowRelation;
import de.uni.freiburg.iig.telematik.sepia.petrinet.pt.abstr.AbstractPTMarking;
import de.uni.freiburg.iig.telematik.sepia.petrinet.pt.abstr.AbstractPTNet;
import de.uni.freiburg.iig.telematik.sepia.petrinet.pt.abstr.AbstractPTPlace;
import de.uni.freiburg.iig.telematik.sepia.petrinet.pt.abstr.AbstractPTTransition;

/**
 *
 * @author stocker
 * @param 
 */
public abstract class AbstractGraphicalPTNetContainer, 
                                    T extends AbstractPTTransition, 
                                    F extends AbstractPTFlowRelation, 
                                    M extends AbstractPTMarking,
                                    N extends AbstractPTNet,
                                    G extends AbstractPTGraphics,
                                    X extends AbstractGraphicalPTNet> extends AbstractGraphicalPNContainer{
    
    public static final String COMPONENT_DESCRIPTOR = "PT-Net";

    public AbstractGraphicalPTNetContainer(String serializationPath) {
        super(serializationPath);
    }

    public AbstractGraphicalPTNetContainer(String serializationPath, SimpleDebugger debugger) {
        super(serializationPath, debugger);
    }

    @Override
    public String getComponentDescriptor() {
        return COMPONENT_DESCRIPTOR;
    }
    
    @Override
    protected NetType getExpectedNetType() {
        return NetType.PTNet;
    }

}