Skip to content
Snippets Groups Projects
Commit 2e3a2b5f authored by Sebastian Ebert's avatar Sebastian Ebert
Browse files

refactoring on keys

parent b32d68ff
No related branches found
No related tags found
No related merge requests found
package de.tudresden.inf.st.pnml;
package de.tudresden.inf.st.constants;
public final class PnmlConstants {
......
package de.tudresden.inf.st.constants;
public final class SplitterPnmlConstants {
public static final String SPLITTER_TOOL_VERSION = "0.0.1";
public static final String SPLITTER_TOOL_NAME = "de.tudresden.inf.st.pnml.distributedPN";
public static final String TOOL_KEY = "tool";
public static final String VERSION_KEY = "version";
public static final String TOOLSPECIFIC_KEY = "toolspecific";
}
\ No newline at end of file
package de.tudresden.inf.st.pnml;
import de.tudresden.inf.st.constants.PnmlConstants;
import de.tudresden.inf.st.pnml.jastadd.model.JastAddList;
import de.tudresden.inf.st.pnml.jastadd.model.PlaceInformation;
import de.tudresden.inf.st.pnml.jastadd.model.ToolInfo;
......@@ -9,8 +10,6 @@ import javax.xml.parsers.DocumentBuilder;
import javax.xml.parsers.ParserConfigurationException;
import de.tudresden.inf.st.pnml.jastadd.model.TransitionInformation;
import fr.lip6.move.pnml.framework.utils.PNMLUtils;
import fr.lip6.move.pnml.ptnet.hlapi.PetriNetDocHLAPI;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;
import org.w3c.dom.Document;
......
package de.tudresden.inf.st.postprocessing;
import de.tudresden.inf.st.pnml.PnmlConstants;
import de.tudresden.inf.st.constants.SplitterPnmlConstants;
import de.tudresden.inf.st.constants.PnmlConstants;
import de.tudresden.inf.st.pnml.jastadd.model.*;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;
......@@ -161,47 +162,47 @@ public class GlobalToLocalNetsPostProcessor implements PostProcessor<PetriNet> {
DocumentBuilder docBuilder = docFactory.newDocumentBuilder();
Document doc = docBuilder.newDocument();
Element rootElement = doc.createElement("toolspecific");
rootElement.setAttribute("tool", "de.tudresden.inf.st.pnml.distributedPN");
rootElement.setAttribute("version", "0.0.1");
Element rootElement = doc.createElement(SplitterPnmlConstants.TOOLSPECIFIC_KEY);
rootElement.setAttribute(SplitterPnmlConstants.TOOL_KEY, SplitterPnmlConstants.SPLITTER_TOOL_NAME);
rootElement.setAttribute(SplitterPnmlConstants.VERSION_KEY, SplitterPnmlConstants.SPLITTER_TOOL_VERSION);
doc.appendChild(rootElement);
Element loc = doc.createElement("location");
Element loc = doc.createElement(PnmlConstants.LOCATION_KEY);
loc.appendChild(doc.createTextNode(location));
rootElement.appendChild(loc);
Element ctype = doc.createElement("type");
Element ctype = doc.createElement(PnmlConstants.TYPE_KEY);
ctype.appendChild(doc.createTextNode(type));
rootElement.appendChild(ctype);
Element net = doc.createElement("subnet");
Element net = doc.createElement(PnmlConstants.SUBNET_KEY);
net.appendChild(doc.createTextNode(subnet));
rootElement.appendChild(net);
Element inLimit = doc.createElement("inputlimit");
Element inLimit = doc.createElement(PnmlConstants.INPUT_LIMIT_KEY);
inLimit.appendChild(doc.createTextNode(String.valueOf(inputLimit)));
rootElement.appendChild(inLimit);
Element outLimit = doc.createElement("outputlimit");
Element outLimit = doc.createElement(PnmlConstants.OUTPUT_LIMIT_KEY);
outLimit.appendChild(doc.createTextNode(String.valueOf(outputLimit)));
rootElement.appendChild(outLimit);
Element bindings = doc.createElement("inputsignalbindings");
Element bindings = doc.createElement(PnmlConstants.INPUT_SIGNAL_BINDINGS_KEY);
if(inputSignalBindings != null) {
for (InputSignalBinding isb : inputSignalBindings) {
Element binding = doc.createElement("inputsignalbinding");
Element binding = doc.createElement(PnmlConstants.INPUT_SIGNAL_BINDING_KEY);
Element transitionID = doc.createElement("transitionID");
Element transitionID = doc.createElement(PnmlConstants.TRANSITION_ID_KEY);
transitionID.appendChild(doc.createTextNode(isb.getTransitionID()));
binding.appendChild(transitionID);
Element inputsignalID = doc.createElement("inputsignalID");
Element inputsignalID = doc.createElement(PnmlConstants.INPUT_SIGNAL_ID_KEY);
inputsignalID.appendChild(doc.createTextNode(isb.getInputSignalID()));
binding.appendChild(inputsignalID);
Element initialvalue = doc.createElement("initialvalue");
Element initialvalue = doc.createElement(PnmlConstants.CURRENT_VALUE_KEY);
initialvalue.appendChild(doc.createTextNode(String.valueOf(isb.getInputSignalValue())));
binding.appendChild(initialvalue);
......@@ -218,8 +219,8 @@ public class GlobalToLocalNetsPostProcessor implements PostProcessor<PetriNet> {
ToolInfo toolInfo = new ToolInfo();
toolInfo.setFormattedXMLBuffer(sw.getBuffer());
toolInfo.setVersion("0.0.1");
toolInfo.setTool("de.tudresden.inf.st.pnml.distributedPN");
toolInfo.setVersion(SplitterPnmlConstants.SPLITTER_TOOL_VERSION);
toolInfo.setTool(SplitterPnmlConstants.SPLITTER_TOOL_NAME);
System.out.println("ToolInfo: " + toolInfo.getFormattedXMLBuffer().toString());
......
package de.tudresden.inf.st.postprocessing;
import de.tudresden.inf.st.pnml.PnmlConstants;
import de.tudresden.inf.st.constants.PnmlConstants;
import de.tudresden.inf.st.pnml.jastadd.model.*;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment