1 files changed, 78 insertions, 0 deletions

diff --git a/Domains/traffic.scenarios.simplified/queries/simpleScenarioQueries.vql b/Domains/traffic.scenarios.simplified/queries/simpleScenarioQueries.vql
new file mode 100644
index 00000000..a59715c7
--- /dev/null
+++ b/Domains/traffic.scenarios.simplified/queries/simpleScenarioQueries.vql
@@ -0,0 +1,78 @@
+package queries
+
+import "http://www.example.com/simpleScenario"
+
+
+//lanes and lane+widths are in simpleScenarioBoundingBox
+
+// actor coords within simpleScenarioBoundingBox
+
+//@Constraint(severity = "error", key = {a}, message = "this defines the placedOn relation for vertical lanes")
+//pattern actorOnVerticalLane(a : Actor) {
+//    Actor.placedOn(a, l);
+//    Lane.orientation(l, Orientation::Vertical);
+//    Actor.xPos(a, x);
+//    Lane.referenceCoord(l, r);
+//    check(x <= r);
+//} or {
+//    Actor.placedOn(a, l);
+//    Lane.orientation(l, Orientation::Vertical);
+//    Actor.xPos(a, x);
+//    Lane.referenceCoord(l, r);
+//    Lane.widthNum(l, w);
+//    check(x >= (r + w));
+//}
+//
+//@Constraint(severity = "error", key = {a}, message = "this defines the placedOn relation for horizontal lanes")
+//pattern actorOnHorizontalLane(a : Actor) {
+//    Actor.placedOn(a, l);
+//    Lane.orientation(l, Orientation::Horizontal);
+//    Actor.yPos(a, y);
+//    Lane.referenceCoord(l, r);
+//    check(y <= r);
+//} or {
+//    Actor.placedOn(a, l);
+//    Lane.orientation(l, Orientation::Horizontal);
+//    Actor.yPos(a, y);
+//    Lane.referenceCoord(l, r);
+//    Lane.widthNum(l, w);
+//    check(y >= (r + w));
+//}
+
+@Constraint(severity = "error", key = {a}, message = "this defines the placedOn relation")
+pattern actorOnLane(a : Actor) {
+        find actorOnVerticalLane(a);
+//      neg find actorOnHorizontalLane(a);
+}
+
+private pattern actorOnVerticalLane(a : Actor) {
+    Actor.placedOn(a, l);
+    Lane.orientation(l, Orientation::Vertical);
+    Actor.xPos(a, x);
+    Lane.referenceCoord(l, r);
+    Lane.widthNum(l, w);
+    check(x >= r);
+    check(x <= (r + w));
+}
+
+@Constraint(severity = "error", key = {l}, message = "this defines the placedOn relation")
+pattern widthSpec(l : Lane) {
+        Lane.widthNum(l, w);
+        check(w != 5);
+}
+
+@Constraint(severity = "error", key = {l}, message = "this defines the placedOn relation")
+pattern refSpec(l : Lane) {
+        Lane.referenceCoord(l, w);
+        check(w != 2);
+}
+
+private pattern actorOnHorizontalLane(a : Actor) {
+    Actor.placedOn(a, l);
+    Lane.orientation(l, Orientation::Vertical);
+    Actor.yPos(a, y);
+    Lane.referenceCoord(l, r);
+    Lane.widthNum(l, w);
+    check(y >= r);
+    check(y <= (r + w));
+}
\ No newline at end of file