diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-02-17 15:11:07 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:18:53 -0400 |
commit | 1942180d760110c2b9664715bf8e30efec256954 (patch) | |
tree | 4d0e72dca29606dd840aafb4537054a447678452 /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam | |
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/standalone/test/fam')
-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 |
2 files changed, 14 insertions, 1 deletions
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) = { |