From 9643b7b7a735afc408ca6a172e2719653553627a Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Mon, 4 Mar 2019 17:31:16 -0500
Subject: Begin handing of scope and fix type definitions.

---
 .../mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.vql  | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.vql

(limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner')

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.vql b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.vql
new file mode 100644
index 00000000..013d0419
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.vql
@@ -0,0 +1,12 @@
+package hu.bme.mit.inf.dslreasoner.domains.fam
+
+import epackage "http://www.inf.mit.bme.hu/viatrasolver/example/fam"
+
+@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);
+}
\ No newline at end of file
-- 
cgit v1.2.3-70-g09d2