From dbbf707d78c76f4bc001d7df2418bd6ceab12db3 Mon Sep 17 00:00:00 2001
From: OszkarSemerath <oszkar.semerath@gmail.com>
Date: Sat, 24 Mar 2018 22:08:23 -0400
Subject: example projects added

---
 .../inputs/FamPatterns.vql                         | 104 +++++++++++++++++++++
 1 file changed, 104 insertions(+)
 create mode 100644 Domains/Examples/ModelGenExampleFAM_standalone/inputs/FamPatterns.vql

(limited to 'Domains/Examples/ModelGenExampleFAM_standalone/inputs/FamPatterns.vql')

diff --git a/Domains/Examples/ModelGenExampleFAM_standalone/inputs/FamPatterns.vql b/Domains/Examples/ModelGenExampleFAM_standalone/inputs/FamPatterns.vql
new file mode 100644
index 00000000..34394ef6
--- /dev/null
+++ b/Domains/Examples/ModelGenExampleFAM_standalone/inputs/FamPatterns.vql
@@ -0,0 +1,104 @@
+package hu.bme.mit.inf.dslreasoner.domains.fam
+
+import epackage "http://www.inf.mit.bme.hu/viatrasolver/example/fam"
+//import epackage "platform:/resource/ModelGenExampleFAM/inputs/FamMetamodel.ecore";
+
+@Constraint(message="terminatorAndInformation", severity="error", key={T})
+pattern terminatorAndInformation(T : FAMTerminator, I : InformationLink) = {
+	FunctionalOutput.outgoingLinks(Out,I);
+	FunctionalOutput.terminator(Out,T); 
+} or {
+	InformationLink.to(I,In);
+	FunctionalInput.terminator(In,T);
+}
+
+@QueryBasedFeature 
+pattern type(This : Function, Target : FunctionType) = {
+	find rootElements(_Model, This);
+	Target == FunctionType::Root;
+} or {
+	neg find parent(_Child, This);
+	neg find rootElements(_Model, This);
+	Target == FunctionType::Leaf;
+} or  {
+	find parent(This, _Par);
+	find parent(_Child, This);
+	Target == FunctionType::Intermediate;
+}
+
+pattern rootElements(Model: FunctionalArchitectureModel, Root : Function) = {
+	FunctionalArchitectureModel.rootElements(Model, Root);
+}
+
+pattern parent(Func : Function, Par : Function) = {
+	Function.parent(Func, Par);
+}
+
+@QueryBasedFeature 
+pattern model(This:FunctionalElement, Target: FunctionalArchitectureModel) {
+	FunctionalElement(This);
+	FunctionalArchitectureModel(Target);
+}
+
+/*
+@Constraint(message="noRoot", severity="error", key={fam})
+pattern noRoot(fam: FunctionalArchitectureModel) {
+	FunctionalArchitectureModel(fam);
+	neg find hasRoot(_);
+}
+@Constraint(message="noIntermediate", severity="error", key={fam})
+pattern noInt(fam: FunctionalArchitectureModel) {
+	FunctionalArchitectureModel(fam);
+	neg find hasInt(_);
+}
+@Constraint(message="noLeaf", severity="error", key={fam})
+pattern noLeaf(fam: FunctionalArchitectureModel) {
+	FunctionalArchitectureModel(fam);
+	neg find hasLeaf(_);
+}
+*/
+
+/*
+@QueryBasedFeature
+pattern model(This : FunctionalElement, Target : FunctionalArchitectureModel) = {
+	find parent+(This, Parent);
+	find rootElements(Target, Parent);
+} or {
+	find rootElements(Target, This);
+}
+
+pattern interfaceData(FI : FunctionalInterface, FD : FunctionalData) = {
+	FunctionalInterface.data(FI, FD);
+}
+
+@QueryBasedFeature
+pattern inputs(This : FunctionalInterface, Target : FunctionalInput) = {
+	find interfaceData(This, Target);
+}
+
+@QueryBasedFeature
+pattern outputs(This : FunctionalInterface, Target : FunctionalOutput) = {
+	find interfaceData(This, Target);
+}
+
+@QueryBasedFeature
+pattern outgoingLinks(This : FunctionalElement, Target : InformationLink) = {
+	FunctionalElement.interface.outputs(This, Output);
+	InformationLink.from(Target, Output);
+}
+
+@QueryBasedFeature
+pattern incomingLinks(This : FunctionalElement, Target : InformationLink) = {
+	FunctionalElement.interface.inputs(This, Input);
+	InformationLink.to(Target, Input);
+}
+
+@QueryBasedFeature
+pattern connects(This : FunctionalElement, Target : FunctionalElement) = {
+	FunctionalElement.outgoingLinks(This,Link);
+	FunctionalElement.incomingLinks(Target,Link);
+}*/
+
+/*pattern frequency(a: Function, b : EInt) {
+	Function.minimumFrequency(a,b);
+}*/
-- 
cgit v1.2.3-54-g00ecf