1 files changed, 12 insertions, 0 deletions

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