diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-08-15 15:36:05 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-15 15:36:05 +0200 |
| commit | 110268c8e8937df8d67075caebd6d31460d0f81a (patch) | |
| tree | f52bd65d0cc8516e5fb1f68c5cdf1e89d6390ebd /Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/plugin.xml | |
| parent | Measurements WIP (diff) | |
| download | VIATRA-Generator-110268c8e8937df8d67075caebd6d31460d0f81a.tar.gz VIATRA-Generator-110268c8e8937df8d67075caebd6d31460d0f81a.tar.zst VIATRA-Generator-110268c8e8937df8d67075caebd6d31460d0f81a.zip | |
Measurements WIP
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/plugin.xml')
| -rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/plugin.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/plugin.xml b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/plugin.xml index d7fd112a..6eae8535 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/plugin.xml +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/plugin.xml | |||
| @@ -21,6 +21,8 @@ | |||
| 21 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.patternContent"/> | 21 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.patternContent"/> |
| 22 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.live"/> | 22 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.live"/> |
| 23 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.contentInNotLive"/> | 23 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.contentInNotLive"/> |
| 24 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.dir"/> | ||
| 25 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.rootIsNotDir"/> | ||
| 24 | </group> | 26 | </group> |
| 25 | </extension> | 27 | </extension> |
| 26 | </plugin> | 28 | </plugin> |