diff options
author | 2019-10-07 00:35:42 -0400 | |
---|---|---|
committer | 2020-06-07 19:42:47 -0400 | |
commit | b503c81bee920c18806af25393d0a90b8f77dba6 (patch) | |
tree | 9b70f606bfa7fa450457c04714e045e5ac5f6199 /Tests/ca.mcgill.ecse.dslreasoner.standalone.test | |
parent | VAMPIRE: fix model generation (diff) | |
download | VIATRA-Generator-b503c81bee920c18806af25393d0a90b8f77dba6.tar.gz VIATRA-Generator-b503c81bee920c18806af25393d0a90b8f77dba6.tar.zst VIATRA-Generator-b503c81bee920c18806af25393d0a90b8f77dba6.zip |
VAMPIRE: Implement Vampire measurement code
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test')
3 files changed, 11 insertions, 3 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/META-INF/MANIFEST.MF b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/META-INF/MANIFEST.MF index 0b81cb7f..bca8e840 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/META-INF/MANIFEST.MF +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/META-INF/MANIFEST.MF | |||
@@ -26,7 +26,8 @@ Require-Bundle: org.eclipse.viatra.addon.querybasedfeatures.runtime, | |||
26 | org.eclipse.viatra.query.runtime.rete;bundle-version="2.1.0", | 26 | org.eclipse.viatra.query.runtime.rete;bundle-version="2.1.0", |
27 | org.eclipse.viatra.query.runtime.localsearch;bundle-version="2.1.0", | 27 | org.eclipse.viatra.query.runtime.localsearch;bundle-version="2.1.0", |
28 | org.eclipse.xtext.xbase.lib;bundle-version="2.12.0", | 28 | org.eclipse.xtext.xbase.lib;bundle-version="2.12.0", |
29 | hu.bme.mit.inf.dslreasoner.application;bundle-version="1.0.0" | 29 | hu.bme.mit.inf.dslreasoner.application;bundle-version="1.0.0", |
30 | hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph;bundle-version="1.0.0" | ||
30 | Import-Package: org.apache.log4j | 31 | Import-Package: org.apache.log4j |
31 | Automatic-Module-Name: ca.mcgill.ecse.dslreasoner.standalone.test | 32 | Automatic-Module-Name: ca.mcgill.ecse.dslreasoner.standalone.test |
32 | Bundle-ActivationPolicy: lazy | 33 | Bundle-ActivationPolicy: lazy |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/yakindu.ecore b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/yakindu.ecore index 0e800e4a..f0bab228 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/yakindu.ecore +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/yakindu.ecore | |||
@@ -19,7 +19,9 @@ | |||
19 | eType="#//Vertex" eOpposite="#//Vertex/outgoingTransitions"/> | 19 | eType="#//Vertex" eOpposite="#//Vertex/outgoingTransitions"/> |
20 | </eClassifiers> | 20 | </eClassifiers> |
21 | <eClassifiers xsi:type="ecore:EClass" name="Statechart" eSuperTypes="#//CompositeElement"/> | 21 | <eClassifiers xsi:type="ecore:EClass" name="Statechart" eSuperTypes="#//CompositeElement"/> |
22 | <eClassifiers xsi:type="ecore:EClass" name="Entry" eSuperTypes="#//Pseudostate"/> | 22 | <eClassifiers xsi:type="ecore:EClass" name="Entry" eSuperTypes="#//Pseudostate"> |
23 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" eType="#//EntryType"/> | ||
24 | </eClassifiers> | ||
23 | <eClassifiers xsi:type="ecore:EClass" name="Synchronization" eSuperTypes="#//Pseudostate"/> | 25 | <eClassifiers xsi:type="ecore:EClass" name="Synchronization" eSuperTypes="#//Pseudostate"/> |
24 | <eClassifiers xsi:type="ecore:EClass" name="State" eSuperTypes="#//RegularState #//CompositeElement"/> | 26 | <eClassifiers xsi:type="ecore:EClass" name="State" eSuperTypes="#//RegularState #//CompositeElement"/> |
25 | <eClassifiers xsi:type="ecore:EClass" name="RegularState" abstract="true" eSuperTypes="#//Vertex"/> | 27 | <eClassifiers xsi:type="ecore:EClass" name="RegularState" abstract="true" eSuperTypes="#//Vertex"/> |
@@ -30,4 +32,9 @@ | |||
30 | <eClassifiers xsi:type="ecore:EClass" name="Choice" eSuperTypes="#//Pseudostate"/> | 32 | <eClassifiers xsi:type="ecore:EClass" name="Choice" eSuperTypes="#//Pseudostate"/> |
31 | <eClassifiers xsi:type="ecore:EClass" name="Exit" eSuperTypes="#//Pseudostate"/> | 33 | <eClassifiers xsi:type="ecore:EClass" name="Exit" eSuperTypes="#//Pseudostate"/> |
32 | <eClassifiers xsi:type="ecore:EClass" name="FinalState" eSuperTypes="#//RegularState"/> | 34 | <eClassifiers xsi:type="ecore:EClass" name="FinalState" eSuperTypes="#//RegularState"/> |
35 | <eClassifiers xsi:type="ecore:EEnum" name="EntryType"> | ||
36 | <eLiterals name="Normal"/> | ||
37 | <eLiterals name="History"/> | ||
38 | <eLiterals name="DeepHistory"/> | ||
39 | </eClassifiers> | ||
33 | </ecore:EPackage> | 40 | </ecore:EPackage> |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/yakinduPatterns.vql b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/yakinduPatterns.vql index ea8184de..ec9db980 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/yakinduPatterns.vql +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/yakinduPatterns.vql | |||
@@ -1,6 +1,6 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.queries | 1 | package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.queries |
2 | 2 | ||
3 | import epackage "YakinduMetamodel" | 3 | import epackage "hu.bme.mit.inf.yakindumm" |
4 | 4 | ||
5 | ///////// | 5 | ///////// |
6 | // Entry | 6 | // Entry |