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

merged Main.java with upstream

parents 52d582fb c1855efb
No related branches found
No related tags found
No related merge requests found
...@@ -30,9 +30,8 @@ public class Main { ...@@ -30,9 +30,8 @@ public class Main {
} }
// parse the global not flatted petri net // parse the global not flatted petri net
// String pnmlPath = "../pnml-relast-nets/src/main/resources/serviceTestNets/structureTestNets/service-structure-correct.pnml";*/ // pnmlPath = "../pnml-relast-nets/src/main/resources/useCaseNets/RoboticUseCase-TopLayer-Left.pnml";
// configPath = "src/main/config/siftConfig.json"; // configPath = "src/main/config/siftConfig.json";
PetriNet petriNet = PnmlParser.parsePnml(pnmlPath).get(0); PetriNet petriNet = PnmlParser.parsePnml(pnmlPath).get(0);
// read config for analyzer from file // read config for analyzer from file
...@@ -189,10 +188,6 @@ public class Main { ...@@ -189,10 +188,6 @@ public class Main {
for (Arc a : petriNet.allArcs()) { for (Arc a : petriNet.allArcs()) {
System.out.println("Arc: " + a.getId() + " -- source: " + a.getSource().getId() + " -- target: " + a.getTarget().getId()); System.out.println("Arc: " + a.getId() + " -- source: " + a.getSource().getId() + " -- target: " + a.getTarget().getId());
if (a.getNumToolspecific() > 0) {
// System.out.println("--- toolspecifics: " + a.getToolspecific(0).getFormattedXMLBuffer());
}
} }
System.out.println("--------------- T SIGNALS (STATIC)---------------"); System.out.println("--------------- T SIGNALS (STATIC)---------------");
...@@ -217,11 +212,11 @@ public class Main { ...@@ -217,11 +212,11 @@ public class Main {
// System.out.println("--------------- TOOL SPECIFIC ---------------"); // System.out.println("--------------- TOOL SPECIFIC ---------------");
for (Transition t : petriNet.allTransitions()) { /* for (Transition t : petriNet.allTransitions()) {
InputSignalTransition ist = t.asInputSignalTransition(); InputSignalTransition ist = t.asInputSignalTransition();
if (ist != null && ist.getNumToolspecific() > 0) { if (ist != null && ist.getNumToolspecific() > 0) {
// System.out.println("ToolSpecific: (" + ist.getName().getText() + ") " + ist.getToolspecific(0).getFormattedXMLBuffer().toString()); System.out.println("ToolSpecific: (" + ist.getName().getText() + ") " + ist.getToolspecific(0).getFormattedXMLBuffer().toString());
} }
} }*/
} }
} }
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment