diff options
Diffstat (limited to 'Domains/crossingScenario/src/queries')
-rw-r--r-- | Domains/crossingScenario/src/queries/queries.vql | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/Domains/crossingScenario/src/queries/queries.vql b/Domains/crossingScenario/src/queries/queries.vql deleted file mode 100644 index d00fae3f..00000000 --- a/Domains/crossingScenario/src/queries/queries.vql +++ /dev/null | |||
@@ -1,10 +0,0 @@ | |||
1 | package queries | ||
2 | |||
3 | import "http://www.example.com/crossingScenario" | ||
4 | import "http://www.eclipse.org/emf/2002/Ecore" | ||
5 | |||
6 | /////////pedestrian-width (4) //TODO Derived? | ||
7 | pattern x(p:Pedestrian) { | ||
8 | Pedestrian.length(p, l); | ||
9 | check(l != 1.0); | ||
10 | } \ No newline at end of file | ||