diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.genmodel')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.genmodel | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.genmodel b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.genmodel new file mode 100644 index 00000000..cfbafce6 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.genmodel | |||
@@ -0,0 +1,40 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" | ||
3 | xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/ca.mcgill.ecse.dslreasoner.vampire.test/src" modelPluginID="ca.mcgill.ecse.dslreasoner.vampire.test" | ||
4 | modelName="yakindu_simplified" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" | ||
5 | importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false" | ||
6 | operationReflection="true" importOrganizing="true"> | ||
7 | <foreignModel>yakindu_simplified.ecore</foreignModel> | ||
8 | <genPackages prefix="Yakindumm" basePackage="ca.mcgill.ecse.dslreasoner.vampire" | ||
9 | disposableProviderFactory="true" ecorePackage="yakindu_simplified.ecore#/"> | ||
10 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="yakindu_simplified.ecore#//EntryType"> | ||
11 | <genEnumLiterals ecoreEnumLiteral="yakindu_simplified.ecore#//EntryType/Normal"/> | ||
12 | <genEnumLiterals ecoreEnumLiteral="yakindu_simplified.ecore#//EntryType/History"/> | ||
13 | <genEnumLiterals ecoreEnumLiteral="yakindu_simplified.ecore#//EntryType/DeepHistory"/> | ||
14 | </genEnums> | ||
15 | <genClasses image="false" ecoreClass="yakindu_simplified.ecore#//Pseudostate"/> | ||
16 | <genClasses image="false" ecoreClass="yakindu_simplified.ecore#//Vertex"> | ||
17 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//Vertex/incomingTransitions"/> | ||
18 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//Vertex/outgoingTransitions"/> | ||
19 | </genClasses> | ||
20 | <genClasses ecoreClass="yakindu_simplified.ecore#//Region"> | ||
21 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//Region/vertices"/> | ||
22 | </genClasses> | ||
23 | <genClasses ecoreClass="yakindu_simplified.ecore#//Transition"> | ||
24 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//Transition/target"/> | ||
25 | <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//Transition/source"/> | ||
26 | </genClasses> | ||
27 | <genClasses ecoreClass="yakindu_simplified.ecore#//Statechart"/> | ||
28 | <genClasses ecoreClass="yakindu_simplified.ecore#//Entry"> | ||
29 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute yakindu_simplified.ecore#//Entry/Type"/> | ||
30 | </genClasses> | ||
31 | <genClasses ecoreClass="yakindu_simplified.ecore#//State"/> | ||
32 | <genClasses image="false" ecoreClass="yakindu_simplified.ecore#//RegularState"/> | ||
33 | <genClasses image="false" ecoreClass="yakindu_simplified.ecore#//CompositeElement"> | ||
34 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//CompositeElement/regions"/> | ||
35 | </genClasses> | ||
36 | <genClasses ecoreClass="yakindu_simplified.ecore#//Choice"/> | ||
37 | <genClasses ecoreClass="yakindu_simplified.ecore#//Exit"/> | ||
38 | <genClasses ecoreClass="yakindu_simplified.ecore#//FinalState"/> | ||
39 | </genPackages> | ||
40 | </genmodel:GenModel> | ||