diff options
| author |  Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-20 08:44:27 +0100 |
|---|---|---|
| committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-20 08:44:27 +0100 |
| commit | 41a48543aea119acae321aae61b85d711610b652 (patch) | |
| tree | da29d1d172eaaa4c9744d77851966b727720ce06 /Domains/crossingScenario/plugin.xml | |
| parent | add Actor+CollisionExists constrs & adjust dreal parser & measurements (diff) | |
| download | VIATRA-Generator-41a48543aea119acae321aae61b85d711610b652.tar.gz VIATRA-Generator-41a48543aea119acae321aae61b85d711610b652.tar.zst VIATRA-Generator-41a48543aea119acae321aae61b85d711610b652.zip | |
almost finish crossscen VQL + implement ITE handling + prelim results
Diffstat (limited to 'Domains/crossingScenario/plugin.xml')
| -rw-r--r-- | Domains/crossingScenario/plugin.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Domains/crossingScenario/plugin.xml b/Domains/crossingScenario/plugin.xml index c8846e1b..39c9cd2b 100644 --- a/Domains/crossingScenario/plugin.xml +++ b/Domains/crossingScenario/plugin.xml | |||
| @@ -4,4 +4,9 @@ | |||
| 4 | <!-- @generated crossingScenario --> | 4 | <!-- @generated crossingScenario --> |
| 5 | <package class="crossingScenario.CrossingScenarioPackage" genModel="model/crossingScenario.genmodel" uri="http://www.example.com/crossingScenario"/> | 5 | <package class="crossingScenario.CrossingScenarioPackage" genModel="model/crossingScenario.genmodel" uri="http://www.example.com/crossingScenario"/> |
| 6 | </extension> | 6 | </extension> |
| 7 | <extension id="queries.Queries" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
| 8 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.Queries" id="queries.Queries"> | ||
| 9 | <query-specification fqn="queries.x"/> | ||
| 10 | </group> | ||
| 11 | </extension> | ||
| 7 | </plugin> | 12 | </plugin> |