diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-02-01 16:03:30 -0500 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-02-01 16:03:30 -0500 |
| commit | 717916e99b2c8e7965fb31f4448b4336d8c2f19a (patch) | |
| tree | 074c77b8465f1e47e7a28af2d95f79c1f5abaf86 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/initialModels/FAM/FamPatterns.vql | |
| parent | FAM MM transformation works (diff) | |
| download | VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.tar.gz VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.tar.zst VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.zip | |
Fix FAM Test. Begin Grammar Fix.
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/initialModels/FAM/FamPatterns.vql')
| -rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/initialModels/FAM/FamPatterns.vql | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/initialModels/FAM/FamPatterns.vql b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/initialModels/FAM/FamPatterns.vql new file mode 100644 index 00000000..013d0419 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/initialModels/FAM/FamPatterns.vql | |||
| @@ -0,0 +1,12 @@ | |||
| 1 | package hu.bme.mit.inf.dslreasoner.domains.fam | ||
| 2 | |||
| 3 | import epackage "http://www.inf.mit.bme.hu/viatrasolver/example/fam" | ||
| 4 | |||
| 5 | @Constraint(message="terminatorAndInformation", severity="error", key={T}) | ||
| 6 | pattern terminatorAndInformation(T : FAMTerminator, I : InformationLink) = { | ||
| 7 | FunctionalOutput.outgoingLinks(Out,I); | ||
| 8 | FunctionalOutput.terminator(Out,T); | ||
| 9 | } or { | ||
| 10 | InformationLink.to(I,In); | ||
| 11 | FunctionalInput.terminator(In,T); | ||
| 12 | } \ No newline at end of file | ||