From c1f185fd8fc2c3dfc123d9271726c588963c7c01 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 8 Apr 2019 00:58:00 +0200 Subject: Objective POC implementation --- .../inputs/FamPatterns.vql | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamPatterns.vql') 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..31b9286e 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" @Constraint(message="terminatorAndInformation", severity="error", key={T}) pattern terminatorAndInformation(T : FAMTerminator, I : InformationLink) = { FunctionalOutput.outgoingLinks(Out,I); - FunctionalOutput.terminator(Out,T); + FunctionalOutput.terminator(Out,T); } or { InformationLink.to(I,In); FunctionalInput.terminator(In,T); -} \ No newline at end of file +} + +pattern informationLink(I : InformationLink) { + InformationLink(I); +} -- cgit v1.2.3-70-g09d2