diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-04 17:31:16 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-04 17:31:16 -0500 |
commit | 2c05097ccbeeadd70b20f5001ebeb22ffdc465de (patch) | |
tree | 88662460674d49bff71d051d3a59a0929f1cfa5f /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner | |
parent | complete vsconfig files #19 (diff) | |
download | VIATRA-Generator-2c05097ccbeeadd70b20f5001ebeb22ffdc465de.tar.gz VIATRA-Generator-2c05097ccbeeadd70b20f5001ebeb22ffdc465de.tar.zst VIATRA-Generator-2c05097ccbeeadd70b20f5001ebeb22ffdc465de.zip |
Begin handing of scope and fix type definitions.
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.vql | 12 |
1 files changed, 12 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 new file mode 100644 index 00000000..013d0419 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/queries/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 | ||