Java GraphicalCPN类代码示例

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalCPN; //导入依赖的package包/类
private void openPNMLFile(String filename) throws Exception {
	if (!filename.toLowerCase().endsWith(".pnml")) {
		if(!filename.startsWith("-psn_"))//Catching OS X specific argument on the very first startup
                               JOptionPane.showMessageDialog(null, "File \""+filename+"\" is not in .pnml format", "Open Error", JOptionPane.ERROR_MESSAGE);
		filePaths = null;
		startApplication();
	} else {
		@SuppressWarnings("rawtypes")
		AbstractGraphicalPN net = new PNMLParser().parse(filename, EditorProperties.getInstance().getRequireNetType(), EditorProperties.getInstance().getPNValidation());
		switch (net.getPetriNet().getNetType()) {
		case CPN:
			new WolfgangCPN((GraphicalCPN) net).setUpGUI();
			break;
		case PTNet:
			new WolfgangPT((GraphicalPTNet) net).setUpGUI();
			break;
		default:
			throw new Exception("Incompatible net type: " + net.getPetriNet().getNetType());
		}
	}
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalCPN; //导入依赖的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.GraphicalCPN; //导入依赖的package包/类
@Override
protected void doFancyStuff(ActionEvent e) throws Exception {
	if (wolfgang.getEditorComponent() == null)
		return;
	success = true;
	setUpGui();

	int returnVal = fch.showDialog(wolfgang.getEditorComponent().getGraphComponent(), "load PNML");

	if (returnVal == JFileChooser.APPROVE_OPTION) {
		String filename = fch.getSelectedFile().getAbsolutePath();

		if (filename.toLowerCase().endsWith(".pnml")) {
			AbstractGraphicalPN net = new PNMLParser().parse(filename, EditorProperties.getInstance().getRequireNetType(), EditorProperties.getInstance().getPNValidation());
			switch (net.getPetriNet().getNetType()) {
			case CPN:
				wolfgang = new WolfgangCPN((GraphicalCPN) net);
				break;
			case PTNet:
				wolfgang = new WolfgangPT((GraphicalPTNet) net);
				break;
			default:
				throw new Exception("Incompatible net type: " + net.getPetriNet().getNetType());
			}
			wolfgang.setUpGUI();
		} else
			throw new Exception("File is not in .pnml format");
	}

}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalCPN; //导入依赖的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.GraphicalCPN; //导入依赖的package包/类
/**
 * Overrides super{@link #getNetContainer()} and returns a {@link GraphicalCPN}.
 */
@Override
protected GraphicalCPN getNetContainer() {
	return (GraphicalCPN) super.getNetContainer();
}
 

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

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

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalCPN; //导入依赖的package包/类
@Override
public GraphicalCPN createNetContainer() {
	return new GraphicalCPN(new CPN(), new CPNGraphics());
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalCPN; //导入依赖的package包/类
public WolfgangCPN(GraphicalCPN net, boolean askForLayout) throws Exception {
	super(net, askForLayout);
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalCPN; //导入依赖的package包/类
@Override
protected PNEditorComponent newEditorComponent(GraphicalCPN net, LayoutOption layoutOption) {
	return new CPNEditorComponent(net, layoutOption);
}
 

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

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalCPN; //导入依赖的package包/类
public CPNGraph(GraphicalCPN graphicalCPN, CPNProperties cpnProperties) throws ParameterException {
	super(graphicalCPN, cpnProperties);
}
 

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

	net = new CPN();
	graphics = new CPNGraphics();

	parseDocument(pnmlDocument);

	return new GraphicalCPN(net, graphics);
}
 

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