Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamPatterns.vql


1
2
3
4
5
6
7
8
9
10
11
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);
}