diff options
author | 2018-03-24 22:16:37 -0400 | |
---|---|---|
committer | 2018-03-24 22:16:37 -0400 | |
commit | 4236f6735c91e8db3e4eb5641f5625f83024f434 (patch) | |
tree | 4daa916edd6d7f2e6d8908fe6582d166770193de /Domains/hu.bme.mit.inf.dslreasoner.domains.transima.fam/queries/hu/bme/mit/inf/dslreasoner/domains/transima | |
parent | example projects added (diff) | |
download | VIATRA-Generator-4236f6735c91e8db3e4eb5641f5625f83024f434.tar.gz VIATRA-Generator-4236f6735c91e8db3e4eb5641f5625f83024f434.tar.zst VIATRA-Generator-4236f6735c91e8db3e4eb5641f5625f83024f434.zip |
Removed unused projects
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.transima.fam/queries/hu/bme/mit/inf/dslreasoner/domains/transima')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.transima.fam/queries/hu/bme/mit/inf/dslreasoner/domains/transima/fam/patterns/pattern.vql | 114 |
1 files changed, 0 insertions, 114 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.transima.fam/queries/hu/bme/mit/inf/dslreasoner/domains/transima/fam/patterns/pattern.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.transima.fam/queries/hu/bme/mit/inf/dslreasoner/domains/transima/fam/patterns/pattern.vql deleted file mode 100644 index 60df0bef..00000000 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.transima.fam/queries/hu/bme/mit/inf/dslreasoner/domains/transima/fam/patterns/pattern.vql +++ /dev/null | |||
@@ -1,114 +0,0 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.domains.transima.fam.patterns | ||
2 | |||
3 | import epackage "FAM"; | ||
4 | |||
5 | @Constraint(message="terminatorAndInformation", severity="error", key={T}) | ||
6 | pattern terminatorAndInformation(T : FAMTerminator, I : InformationLink) = { | ||
7 | FunctionalOutput.outgoingLinks(Out,I); | ||
8 | FunctionalOutput.terminator(Out,T); | ||
9 | } or { | ||
10 | InformationLink.to(I,In); | ||
11 | FunctionalInput.terminator(In,T); | ||
12 | } | ||
13 | |||
14 | @QueryBasedFeature | ||
15 | pattern type(This : Function, Target : FunctionType) = { | ||
16 | find rootElements(_Model, This); | ||
17 | Target == FunctionType::Root; | ||
18 | } or { | ||
19 | neg find parent(_Child, This); | ||
20 | neg find rootElements(_Model, This); | ||
21 | Target == FunctionType::Leaf; | ||
22 | } or { | ||
23 | find parent(This, _Par); | ||
24 | find parent(_Child, This); | ||
25 | Target == FunctionType::Intermediate; | ||
26 | } | ||
27 | |||
28 | pattern rootElements(Model: FunctionalArchitectureModel, Root : Function) = { | ||
29 | FunctionalArchitectureModel.rootElements(Model, Root); | ||
30 | } | ||
31 | |||
32 | pattern parent(Func : Function, Par : Function) = { | ||
33 | Function.parent(Func, Par); | ||
34 | } | ||
35 | |||
36 | @QueryBasedFeature | ||
37 | pattern model(This:FunctionalElement, Target: FunctionalArchitectureModel) { | ||
38 | FunctionalElement(This); | ||
39 | FunctionalArchitectureModel(Target); | ||
40 | } | ||
41 | |||
42 | pattern hasRoot(F : Function) { | ||
43 | find rootElements(_Model, F); | ||
44 | } | ||
45 | pattern hasInt(F : Function) { | ||
46 | neg find parent(_Child, F); | ||
47 | neg find rootElements(_Model, F); | ||
48 | } | ||
49 | pattern hasLeaf(F : Function) { | ||
50 | find parent(F, _Par); | ||
51 | find parent(_Child, F); | ||
52 | } | ||
53 | |||
54 | @Constraint(message="noRoot", severity="error", key={fam}) | ||
55 | pattern noRoot(fam: FunctionalArchitectureModel) { | ||
56 | FunctionalArchitectureModel(fam); | ||
57 | neg find hasRoot(_); | ||
58 | } | ||
59 | @Constraint(message="noIntermediate", severity="error", key={fam}) | ||
60 | pattern noInt(fam: FunctionalArchitectureModel) { | ||
61 | FunctionalArchitectureModel(fam); | ||
62 | neg find hasInt(_); | ||
63 | } | ||
64 | @Constraint(message="noLeaf", severity="error", key={fam}) | ||
65 | pattern noLeaf(fam: FunctionalArchitectureModel) { | ||
66 | FunctionalArchitectureModel(fam); | ||
67 | neg find hasLeaf(_); | ||
68 | } | ||
69 | |||
70 | |||
71 | /* | ||
72 | @QueryBasedFeature | ||
73 | pattern model(This : FunctionalElement, Target : FunctionalArchitectureModel) = { | ||
74 | find parent+(This, Parent); | ||
75 | find rootElements(Target, Parent); | ||
76 | } or { | ||
77 | find rootElements(Target, This); | ||
78 | } | ||
79 | |||
80 | pattern interfaceData(FI : FunctionalInterface, FD : FunctionalData) = { | ||
81 | FunctionalInterface.data(FI, FD); | ||
82 | } | ||
83 | |||
84 | @QueryBasedFeature | ||
85 | pattern inputs(This : FunctionalInterface, Target : FunctionalInput) = { | ||
86 | find interfaceData(This, Target); | ||
87 | } | ||
88 | |||
89 | @QueryBasedFeature | ||
90 | pattern outputs(This : FunctionalInterface, Target : FunctionalOutput) = { | ||
91 | find interfaceData(This, Target); | ||
92 | } | ||
93 | |||
94 | @QueryBasedFeature | ||
95 | pattern outgoingLinks(This : FunctionalElement, Target : InformationLink) = { | ||
96 | FunctionalElement.interface.outputs(This, Output); | ||
97 | InformationLink.from(Target, Output); | ||
98 | } | ||
99 | |||
100 | @QueryBasedFeature | ||
101 | pattern incomingLinks(This : FunctionalElement, Target : InformationLink) = { | ||
102 | FunctionalElement.interface.inputs(This, Input); | ||
103 | InformationLink.to(Target, Input); | ||
104 | } | ||
105 | |||
106 | @QueryBasedFeature | ||
107 | pattern connects(This : FunctionalElement, Target : FunctionalElement) = { | ||
108 | FunctionalElement.outgoingLinks(This,Link); | ||
109 | FunctionalElement.incomingLinks(Target,Link); | ||
110 | }*/ | ||
111 | |||
112 | /*pattern frequency(a: Function, b : EInt) { | ||
113 | Function.minimumFrequency(a,b); | ||
114 | }*/ | ||