aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/crossingScenario/src/crossingScenario/run/QueryDebug.java
diff options
context:
space:
mode:
Diffstat (limited to 'Domains/crossingScenario/src/crossingScenario/run/QueryDebug.java')
-rw-r--r--Domains/crossingScenario/src/crossingScenario/run/QueryDebug.java34
1 files changed, 32 insertions, 2 deletions
diff --git a/Domains/crossingScenario/src/crossingScenario/run/QueryDebug.java b/Domains/crossingScenario/src/crossingScenario/run/QueryDebug.java
index 9f9b939b..51ace4b8 100644
--- a/Domains/crossingScenario/src/crossingScenario/run/QueryDebug.java
+++ b/Domains/crossingScenario/src/crossingScenario/run/QueryDebug.java
@@ -16,14 +16,16 @@ import org.eclipse.emf.ecore.resource.ResourceSet;
16import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl; 16import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl;
17import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl; 17import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl;
18 18
19import crossingScenario.Actor;
19import crossingScenario.CrossingScenario; 20import crossingScenario.CrossingScenario;
20import crossingScenario.CrossingScenarioPackage; 21import crossingScenario.CrossingScenarioPackage;
21import crossingScenario.Lane; 22import crossingScenario.Lane;
22 23
23public class QueryDebug { 24public class QueryDebug {
24 public static void main(String[] args) throws FileNotFoundException { 25 public static void main(String[] args) throws FileNotFoundException {
25// checkPrevLanes("outputs/models/1.xmi", "outputs/simplePrevLane.tgf"); 26 checkPrevLanes("outputs/models/1.xmi", "outputs/simplePrevLane.tgf");
26 testOnInstance(); 27// testOnInstance();
28// miniRETest("21/2");
27 } 29 }
28 30
29 public static void checkPrevLanes(String pathSrc, String pathTgt) throws FileNotFoundException { 31 public static void checkPrevLanes(String pathSrc, String pathTgt) throws FileNotFoundException {
@@ -35,6 +37,12 @@ public class QueryDebug {
35 PrintWriter printer = new PrintWriter(pathTgt); 37 PrintWriter printer = new PrintWriter(pathTgt);
36 38
37 CrossingScenario cs = ((CrossingScenario) res.getContents().get(0)); 39 CrossingScenario cs = ((CrossingScenario) res.getContents().get(0));
40
41 for (Actor o : cs.getActors()) {
42 String nodeName = "(" + o.getXPos()+","+o.getYPos() + ")";
43 printer.println(o.hashCode() + " " + nodeName);
44 }
45
38 for (Lane o : cs.getLanes()) { 46 for (Lane o : cs.getLanes()) {
39 String prefix = ""; 47 String prefix = "";
40 if (cs.getHorizontal_head().equals(o) || cs.getVertical_head().equals(o)) { 48 if (cs.getHorizontal_head().equals(o) || cs.getVertical_head().equals(o)) {
@@ -53,6 +61,13 @@ public class QueryDebug {
53 printer.println(curName + " " + curPrev + " " + edgeLabel); 61 printer.println(curName + " " + curPrev + " " + edgeLabel);
54 } 62 }
55 } 63 }
64
65 for (Actor o : cs.getActors()) {
66 int actName = o.hashCode();
67 int lanName = o.getPlacedOn().hashCode();
68 printer.println(actName + " " + lanName );
69 }
70
56 printer.flush(); 71 printer.flush();
57 printer.close(); 72 printer.close();
58 System.out.println("TGF CREATED"); 73 System.out.println("TGF CREATED");
@@ -168,5 +183,20 @@ public class QueryDebug {
168 } 183 }
169 return res; 184 return res;
170 } 185 }
186
187 public static void miniRETest(String in) {
188 Double oSol = 0.0;
189 String re = "([0-9]+)/([0-9]+)";
190 Pattern p = Pattern.compile(re);
191 Matcher ma = p.matcher(in);
192 if (ma.matches()) {
193 int numerator = Integer.parseInt(ma.group(1));
194 int denominator = Integer.parseInt(ma.group(2));
195 oSol = (double) numerator / denominator;
196 System.out.println(oSol);
197 } else {
198 System.err.println("Problem converting string: " + in);
199 }
200 }
171 201
172} 202}