blob: d9d6b88100dd92b0656f3f860f52d056ca5e0a99 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
package ca.mcgill.ecse.dslreasoner.vampire.queries
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);
}
pattern rootElements(Model: FunctionalArchitectureModel, Root : Function) = {
FunctionalArchitectureModel.rootElements(Model, Root);
}
pattern parent(Func : Function, Par : Function) = {
Function.parent(Func, Par);
}
|
