diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-05 13:37:02 -0500 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:22:39 -0400 |
| commit | f019f3ec81976f8e05d0c7458aba2f29b18461d0 (patch) | |
| tree | d9c338f8ddf33bbdd35018404b57608782796b26 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/plugin.xml | |
| parent | Begin handing of scope and fix type definitions. (diff) | |
| download | VIATRA-Generator-f019f3ec81976f8e05d0c7458aba2f29b18461d0.tar.gz VIATRA-Generator-f019f3ec81976f8e05d0c7458aba2f29b18461d0.tar.zst VIATRA-Generator-f019f3ec81976f8e05d0c7458aba2f29b18461d0.zip | |
Implement type scope handling
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/plugin.xml')
| -rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/plugin.xml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/plugin.xml b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/plugin.xml index 2f4febdb..38efb459 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/plugin.xml +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/plugin.xml | |||
| @@ -1 +1,7 @@ | |||
| 1 | <?xml version="1.0" encoding="UTF-8"?><plugin/> | 1 | <?xml version="1.0" encoding="UTF-8"?><plugin> |
| 2 | <extension id="ca.mcgill.ecse.dslreasoner.vampire.queries.FamPatterns" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
| 3 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:ca.mcgill.ecse.dslreasoner.vampire.queries.FamPatterns" id="ca.mcgill.ecse.dslreasoner.vampire.queries.FamPatterns"> | ||
| 4 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.terminatorAndInformation"/> | ||
| 5 | </group> | ||
| 6 | </extension> | ||
| 7 | </plugin> | ||