diff options
author | 20001LastOrder <boqi.chen@mail.mcgill.ca> | 2020-11-03 22:52:26 -0500 |
---|---|---|
committer | 20001LastOrder <boqi.chen@mail.mcgill.ca> | 2020-11-03 22:52:26 -0500 |
commit | 945f487a08b643392a5d5918c631640b9a0e4605 (patch) | |
tree | b537c456e395950ce98daaabb9468c7c17d5a72b /Domains/github-graph/bin | |
parent | Fix numeric-solver-at-end (diff) | |
download | VIATRA-Generator-945f487a08b643392a5d5918c631640b9a0e4605.tar.gz VIATRA-Generator-945f487a08b643392a5d5918c631640b9a0e4605.tar.zst VIATRA-Generator-945f487a08b643392a5d5918c631640b9a0e4605.zip |
add realistic solver
Diffstat (limited to 'Domains/github-graph/bin')
-rw-r--r-- | Domains/github-graph/bin/queries/.gitignore | 10 | ||||
-rw-r--r-- | Domains/github-graph/bin/queries/github.vql | 11 |
2 files changed, 21 insertions, 0 deletions
diff --git a/Domains/github-graph/bin/queries/.gitignore b/Domains/github-graph/bin/queries/.gitignore new file mode 100644 index 00000000..e1fd9766 --- /dev/null +++ b/Domains/github-graph/bin/queries/.gitignore | |||
@@ -0,0 +1,10 @@ | |||
1 | /.DirectParent.java._trace | ||
2 | /.Github.java._trace | ||
3 | /.LoopInParent.java._trace | ||
4 | /.MultipleClosedEvent.java._trace | ||
5 | /.MultipleSubscribed.java._trace | ||
6 | /DirectParent.java | ||
7 | /Github.java | ||
8 | /LoopInParent.java | ||
9 | /MultipleClosedEvent.java | ||
10 | /MultipleSubscribed.java | ||
diff --git a/Domains/github-graph/bin/queries/github.vql b/Domains/github-graph/bin/queries/github.vql new file mode 100644 index 00000000..10b23d40 --- /dev/null +++ b/Domains/github-graph/bin/queries/github.vql | |||
@@ -0,0 +1,11 @@ | |||
1 | package queries | ||
2 | import epackage "sure.ghtorrent.github" | ||
3 | |||
4 | pattern directParent(a : Commit, b: Commit) { | ||
5 | Commit.parents(a,b); | ||
6 | } | ||
7 | |||
8 | @Constraint(key={a}, severity="error", message="error") | ||
9 | pattern loopInParent(a){ | ||
10 | find directParent+(a,a); | ||
11 | } \ No newline at end of file | ||