import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalIFNet; //导入依赖的package包/类
public static void main(String[] args) throws ParserConfigurationException, SAXException, IOException {
    AristaFlowToPnmlConverter converter = new AristaFlowToPnmlConverter(new File("/tmp/af.template"));
    converter.parse();
    GraphicalIFNet ifnet = new GraphicalIFNet(new IFNet());
    ifnet.setPetriNet(converter.getNet());
    IFNetEditorComponent editor = new IFNetEditorComponent(ifnet);
    //ifnet, new File("/tmp/test.pnml")
    JFrame panel = new JFrame();
    panel.setSize(300, 300);
    panel.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
    panel.add(editor);
    panel.setVisible(true);
    LayoutAction la = new LayoutAction(editor, "horizontalHierarchical", false);
    la.actionPerformed(new ActionEvent(converter, 0, "command"));
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalIFNet; //导入依赖的package包/类
@Override
public void doFancyStuff(ActionEvent e) throws Exception{
	String netName = requestNetName("Please choose a name for the new net:", "New Petri-Net");
	if (swatNewNetToolbar != null)
		swatNewNetToolbar.getToolBar().disposeAllWindows();
	if (netName != null) {
		// Test new file name
		switch (type) {
		case NEW_CPN:
			GraphicalCPN newCPN = new GraphicalCPN();
			newCPN.getPetriNet().setName(netName);
                               SwatComponents.getInstance().getContainerPetriNets().addComponent(newCPN, true);
			//SwatComponents.getInstance().addPetriNet(newCPN);
			break;
		case NEW_PT:
			GraphicalPTNet newPTNet = new GraphicalPTNet();
			newPTNet.getPetriNet().setName(netName);
			SwatComponents.getInstance().getContainerPetriNets().addComponent(newPTNet, true);
			break;
		case NEW_IF:
			GraphicalIFNet newIFNet = new GraphicalIFNet(new IFNet());
			newIFNet.getPetriNet().setName(netName);
			SwatComponents.getInstance().getContainerPetriNets().addComponent(newIFNet, true);
			break;
		case NEW_RTPN:
			GraphicalTimedNet newRTPNet = new GraphicalTimedNet(new TimedNet());
			newRTPNet.getPetriNet().setName(netName);
			SwatComponents.getInstance().getContainerPetriNets().addComponent(newRTPNet,true);
			break;

		default:
			break;
		}
	}
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalIFNet; //导入依赖的package包/类
public AbstractGraphicalPN<?, ?, ?, ?, ?, ?, ?> getGraphicalPN() {
    GraphicalIFNet n = new GraphicalIFNet(new IFNet());
    n.setPetriNet(getNet());
    return n;
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalIFNet; //导入依赖的package包/类
public SwatIFNetEditorComponent(GraphicalIFNet netContainer, boolean askForLayout) {
	super(netContainer, askForLayout);
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalIFNet; //导入依赖的package包/类
public SwatIFNetGraph(GraphicalIFNet GraphicalIFNet, IFNetProperties IFNetProperties) throws ParameterException {
	super(GraphicalIFNet, IFNetProperties);
	// TODO Auto-generated constructor stub
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalIFNet; //导入依赖的package包/类
@SuppressWarnings({ "unchecked", "rawtypes" })
public static <	P extends AbstractPlace<F, S>, 
				T extends AbstractTransition<F, S>, 
				F extends AbstractFlowRelation<P, T, S>, 
				M extends AbstractMarking<S>, 
				S extends Object, 
				N extends AbstractPetriNet<P, T, F, M, S>, 
				G extends AbstractPNGraphics<P, T, F, M, S>>

PNSerializer<P, T, F, M, S, N, G>

getSerializer(AbstractGraphicalPN<P, T, F, M, S, N, G> net, PNSerializationFormat format) throws SerializationException {

	// ugly unbounded wildcards as work-around for bug JDK-6932571
	Object serializer = null;
	Object netObject = net;

	switch (format) {
	case PNML:
		if (netObject instanceof GraphicalIFNet) {
			serializer = new PNMLIFNetSerializer((AbstractGraphicalIFNet) net);
		}
		if (netObject instanceof GraphicalCPN) {
			serializer = new PNMLCPNSerializer((AbstractGraphicalCPN) net);
		}
		if (netObject instanceof GraphicalPTNet) {
			serializer = new PNMLPTNetSerializer((AbstractGraphicalPTNet) net);
		}
		if(netObject instanceof GraphicalTimedNet) {
			serializer = new PNMLTimedNetSerializer((AbstractGraphicalTimedNet)net);
		}
		
		break;
	case PETRIFY:
		if (netObject instanceof AbstractGraphicalPTNet)
			serializer = new PetrifyPTNetSerializer((AbstractGraphicalPTNet) net);
		break;
	default:
		throw new SerializationException(de.uni.freiburg.iig.telematik.sepia.serialize.SerializationException.ErrorCode.UNSUPPORTED_FORMAT, format);
	}

	if (serializer != null)
		return (PNSerializer<P, T, F, M, S, N, G>) serializer;
	else
		throw new SerializationException(de.uni.freiburg.iig.telematik.sepia.serialize.SerializationException.ErrorCode.UNSUPPORTED_NET_TYPE, net.getClass());
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalIFNet; //导入依赖的package包/类
/**
 * Overrides super{@link #getNetContainer()} and returns a {@link GraphicalIFNet}.
 */
@Override
protected GraphicalIFNet getNetContainer() {
	return (GraphicalIFNet) super.getNetContainer();
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalIFNet; //导入依赖的package包/类
public IFNetEditorComponent(GraphicalIFNet netContainer) {
	super(netContainer);
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalIFNet; //导入依赖的package包/类
@Override
protected GraphicalIFNet createNetContainer() {
	return new GraphicalIFNet(new IFNet(), new IFNetGraphics());
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalIFNet; //导入依赖的package包/类
@Override
public GraphicalIFNet getNetContainer() {
	return (GraphicalIFNet) super.getNetContainer();
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalIFNet; //导入依赖的package包/类
public IFNetGraph(GraphicalIFNet GraphicalIFNet, IFNetProperties IFNetProperties) throws ParameterException {
	super(GraphicalIFNet, IFNetProperties);
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalIFNet; //导入依赖的package包/类
@Override
public GraphicalIFNet parse(Document pnmlDocument) throws ParserException {

	net = new IFNet();
	graphics = new IFNetGraphics();

	parseDocument(pnmlDocument);

	return new GraphicalIFNet(net, graphics);
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalIFNet; //导入依赖的package包/类
/**
 * Creates a new PTProperties object with the given graphical P/T-Net.
 * @param GraphicalIFNet The graphical P/T-Net to use.
 * @throws ParameterException ParameterException If the given net container is <code>null</code>.
 */
public IFNetProperties(GraphicalIFNet GraphicalIFNet) throws ParameterException{
	super(GraphicalIFNet);
}