diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-08 03:00:08 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:43:10 -0400 |
| commit | d0e4ffcc9dfc85367ccc73bf070404416081a477 (patch) | |
| tree | 0db0134207f473f6a12d7c362512b008bd6449eb /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.vql | |
| parent | VAMPIRE: Implement Vampire measurement code (diff) | |
| download | VIATRA-Generator-d0e4ffcc9dfc85367ccc73bf070404416081a477.tar.gz VIATRA-Generator-d0e4ffcc9dfc85367ccc73bf070404416081a477.tar.zst VIATRA-Generator-d0e4ffcc9dfc85367ccc73bf070404416081a477.zip | |
VAMPIRE: fix bug in transformation, further implement measurement code
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.vql')
| -rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.vql | 8 |
1 files changed, 8 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 index 60679874..d9d6b881 100644 --- 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 | |||
| @@ -9,4 +9,12 @@ pattern terminatorAndInformation(T : FAMTerminator, I : InformationLink) = { | |||
| 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 | } | ||
| 13 | |||
| 14 | pattern rootElements(Model: FunctionalArchitectureModel, Root : Function) = { | ||
| 15 | FunctionalArchitectureModel.rootElements(Model, Root); | ||
| 16 | } | ||
| 17 | |||
| 18 | pattern parent(Func : Function, Par : Function) = { | ||
| 19 | Function.parent(Func, Par); | ||
| 12 | } \ No newline at end of file | 20 | } \ No newline at end of file |