aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-03-20 20:39:28 -0400
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-03-20 20:39:28 -0400
commitb42fb7517302ff158a61920a63d8682c31565619 (patch)
treed0649992bf0ee4f01fac40ec5404a6c92da0448a /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries
parentMerge remote-tracking branch 'origin/master' into Vampire-New (diff)
downloadVIATRA-Generator-b42fb7517302ff158a61920a63d8682c31565619.tar.gz
VIATRA-Generator-b42fb7517302ff158a61920a63d8682c31565619.tar.zst
VIATRA-Generator-b42fb7517302ff158a61920a63d8682c31565619.zip
Add gitignore, commit everything
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.vql4
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam/queries/famSPatterns.vql13
2 files changed, 2 insertions, 15 deletions
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/famPatterns.vql
index 1c6a545e..7e0db222 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/famPatterns.vql
@@ -25,7 +25,7 @@ pattern type(This : Function, Target : FunctionType) = {
25 find parent(_Child, This); 25 find parent(_Child, This);
26 Target == FunctionType::Intermediate; 26 Target == FunctionType::Intermediate;
27} 27}
28 28*/
29pattern rootElements(Model: FunctionalArchitectureModel, Root : Function) = { 29pattern rootElements(Model: FunctionalArchitectureModel, Root : Function) = {
30 FunctionalArchitectureModel.rootElements(Model, Root); 30 FunctionalArchitectureModel.rootElements(Model, Root);
31} 31}
@@ -33,7 +33,7 @@ pattern rootElements(Model: FunctionalArchitectureModel, Root : Function) = {
33pattern parent(Func : Function, Par : Function) = { 33pattern parent(Func : Function, Par : Function) = {
34 Function.parent(Func, Par); 34 Function.parent(Func, Par);
35} 35}
36 36/*
37@QueryBasedFeature 37@QueryBasedFeature
38pattern model(This:FunctionalElement, Target: FunctionalArchitectureModel) { 38pattern model(This:FunctionalElement, Target: FunctionalArchitectureModel) {
39 FunctionalElement(This); 39 FunctionalElement(This);
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
deleted file mode 100644
index 307b0f9c..00000000
--- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/fam/queries/famSPatterns.vql
+++ /dev/null
@@ -1,13 +0,0 @@
1package ca.mcgill.ecse.dslreasoner.standalone.test.fam.queries
2
3//import epackage "http://www.inf.mit.bme.hu/viatrasolver/example/fam"
4import epackage "FamMetamodel"
5
6@Constraint(message="terminatorAndInformation", severity="error", key={T})
7pattern 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