aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-02-17 20:15:58 -0500
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-02-17 20:15:58 -0500
commitbcbd697001571ce50fd4f5299423b9bc9f77d366 (patch)
tree10ea1c9d0c1df565ebec036e6a2a37476e1e32b7 /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries
parentMerge remote-tracking branch 'origin/master' into Vampire-New (diff)
downloadVIATRA-Generator-bcbd697001571ce50fd4f5299423b9bc9f77d366.tar.gz
VIATRA-Generator-bcbd697001571ce50fd4f5299423b9bc9f77d366.tar.zst
VIATRA-Generator-bcbd697001571ce50fd4f5299423b9bc9f77d366.zip
complete vsconfig files #19
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam/queries/famPatterns.vql (renamed from Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam/queries/famXPatterns.vql)3
1 files changed, 2 insertions, 1 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam/queries/famXPatterns.vql b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam/queries/famPatterns.vql
index 153fec91..1c6a545e 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam/queries/famXPatterns.vql
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam/queries/famPatterns.vql
@@ -1,6 +1,6 @@
1package ca.mcgill.ecse.dslreasoner.standalone.test.fam.queries 1package ca.mcgill.ecse.dslreasoner.standalone.test.fam.queries
2 2
3import epackage "http://www.inf.mit.bme.hu/viatrasolver/example/fam" 3import epackage "FamMetamodel"
4 4
5@Constraint(message="terminatorAndInformation", severity="error", key={T}) 5@Constraint(message="terminatorAndInformation", severity="error", key={T})
6pattern terminatorAndInformation(T : FAMTerminator, I : InformationLink) = { 6pattern terminatorAndInformation(T : FAMTerminator, I : InformationLink) = {
@@ -11,6 +11,7 @@ pattern terminatorAndInformation(T : FAMTerminator, I : InformationLink) = {
11 FunctionalInput.terminator(In,T); 11 FunctionalInput.terminator(In,T);
12} 12}
13 13
14/*
14@QueryBasedFeature 15@QueryBasedFeature
15pattern type(This : Function, Target : FunctionType) = { 16pattern type(This : Function, Target : FunctionType) = {
16 find rootElements(_Model, This); 17 find rootElements(_Model, This);