aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamPatterns.vql
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamPatterns.vql')
-rw-r--r--Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamPatterns.vql8
1 files changed, 6 insertions, 2 deletions
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamPatterns.vql b/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamPatterns.vql
index 013d0419..96bb5f3a 100644
--- a/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamPatterns.vql
+++ b/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamPatterns.vql
@@ -5,8 +5,12 @@ import epackage "http://www.inf.mit.bme.hu/viatrasolver/example/fam"
5@Constraint(message="terminatorAndInformation", severity="error", key={T}) 5@Constraint(message="terminatorAndInformation", severity="error", key={T})
6pattern terminatorAndInformation(T : FAMTerminator, I : InformationLink) = { 6pattern terminatorAndInformation(T : FAMTerminator, I : InformationLink) = {
7 FunctionalOutput.outgoingLinks(Out,I); 7 FunctionalOutput.outgoingLinks(Out,I);
8 FunctionalOutput.terminator(Out,T); 8 FunctionalOutput.terminator(Out,T);
9} or { 9} or {
10 InformationLink.to(I,In); 10 InformationLink.to(I,In);
11 FunctionalInput.terminator(In,T); 11 FunctionalInput.terminator(In,T);
12} \ No newline at end of file 12}
13
14pattern functionalOutput(O : FunctionalOutput) {
15 FunctionalOutput(O);
16}