diff options
author | 2019-02-17 15:11:07 -0500 | |
---|---|---|
committer | 2020-06-07 19:18:53 -0400 | |
commit | 1942180d760110c2b9664715bf8e30efec256954 (patch) | |
tree | 4d0e72dca29606dd840aafb4537054a447678452 /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner | |
parent | Integrate queries partially #19 (diff) | |
download | VIATRA-Generator-1942180d760110c2b9664715bf8e30efec256954.tar.gz VIATRA-Generator-1942180d760110c2b9664715bf8e30efec256954.tar.zst VIATRA-Generator-1942180d760110c2b9664715bf8e30efec256954.zip |
Commit before merge
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/ecore/queries/ecorePatterns.vql | 14 | ||||
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam/queries/famSPatterns.vql | 13 | ||||
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam/queries/famXPatterns.vql (renamed from Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam/queries/famPatterns.vql) | 2 |
3 files changed, 21 insertions, 8 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/ecore/queries/ecorePatterns.vql b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/ecore/queries/ecorePatterns.vql index 9af35b50..a4718150 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/ecore/queries/ecorePatterns.vql +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/ecore/queries/ecorePatterns.vql | |||
@@ -14,13 +14,13 @@ pattern loopInInheritence(a: EClass) { | |||
14 | pattern opposite(a:EReference, b: EReference) { | 14 | pattern opposite(a:EReference, b: EReference) { |
15 | EReference.eOpposite(a,b); | 15 | EReference.eOpposite(a,b); |
16 | } | 16 | } |
17 | @Constraint(key={a}, severity="error", message="error") | 17 | //@Constraint(key={a}, severity="error", message="error") |
18 | pattern oppositeDifferentClass(a:EReference) { | 18 | //pattern oppositeDifferentClass(a:EReference) { |
19 | EReference.eOpposite(a,b); | 19 | // EReference.eOpposite(a,b); |
20 | EReference.eContainingClass(a,aContaining); | 20 | // EReference.eContainingClass(a,aContaining); |
21 | EReference.eType(b,bTarget); | 21 | // EReference.eType(b,bTarget); |
22 | aContaining != bTarget; | 22 | // aContaining != bTarget; |
23 | } | 23 | //} |
24 | 24 | ||
25 | @Constraint(key={a}, severity="error", message="error") | 25 | @Constraint(key={a}, severity="error", message="error") |
26 | pattern nonSymmetricOpposite(a:EReference, b:EReference) { | 26 | pattern nonSymmetricOpposite(a:EReference, b:EReference) { |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam/queries/famSPatterns.vql b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam/queries/famSPatterns.vql new file mode 100644 index 00000000..307b0f9c --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam/queries/famSPatterns.vql | |||
@@ -0,0 +1,13 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.standalone.test.fam.queries | ||
2 | |||
3 | //import epackage "http://www.inf.mit.bme.hu/viatrasolver/example/fam" | ||
4 | import epackage "FamMetamodel" | ||
5 | |||
6 | @Constraint(message="terminatorAndInformation", severity="error", key={T}) | ||
7 | pattern terminatorAndInformation(T : FAMTerminator, I : InformationLink) = { | ||
8 | FunctionalOutput.outgoingLinks(Out,I); | ||
9 | FunctionalOutput.terminator(Out,T); | ||
10 | } or { | ||
11 | InformationLink.to(I,In); | ||
12 | FunctionalInput.terminator(In,T); | ||
13 | } \ No newline at end of file | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam/queries/famPatterns.vql b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam/queries/famXPatterns.vql index 02d34dcd..153fec91 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam/queries/famPatterns.vql +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam/queries/famXPatterns.vql | |||
@@ -1,6 +1,6 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.standalone.test.fam.queries | 1 | package ca.mcgill.ecse.dslreasoner.standalone.test.fam.queries |
2 | 2 | ||
3 | import "FamMetamodel" | 3 | import epackage "http://www.inf.mit.bme.hu/viatrasolver/example/fam" |
4 | 4 | ||
5 | @Constraint(message="terminatorAndInformation", severity="error", key={T}) | 5 | @Constraint(message="terminatorAndInformation", severity="error", key={T}) |
6 | pattern terminatorAndInformation(T : FAMTerminator, I : InformationLink) = { | 6 | pattern terminatorAndInformation(T : FAMTerminator, I : InformationLink) = { |