sgraph.ecore 8.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
  3. xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="sgraph" nsURI="http://www.yakindu.org/sct/sgraph/2.0.0" nsPrefix="sgraph">
  4. <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"/>
  5. <eClassifiers xsi:type="ecore:EClass" name="Pseudostate" abstract="true" eSuperTypes="#//Vertex"/>
  6. <eClassifiers xsi:type="ecore:EClass" name="Vertex" abstract="true" eSuperTypes="../../../org.yakindu.base.types/model/base.ecore#//NamedElement">
  7. <eStructuralFeatures xsi:type="ecore:EReference" name="parentRegion" ordered="false"
  8. lowerBound="1" eType="#//Region" eOpposite="#//Region/vertices"/>
  9. <eStructuralFeatures xsi:type="ecore:EReference" name="incomingTransitions" ordered="false"
  10. upperBound="-1" eType="#//Transition" eOpposite="#//Transition/target"/>
  11. <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingTransitions" ordered="false"
  12. upperBound="-1" eType="#//Transition" containment="true" eOpposite="#//Transition/source"/>
  13. </eClassifiers>
  14. <eClassifiers xsi:type="ecore:EClass" name="Region" eSuperTypes="../../../org.yakindu.base.types/model/base.ecore#//NamedElement">
  15. <eStructuralFeatures xsi:type="ecore:EReference" name="vertices" ordered="false"
  16. upperBound="-1" eType="#//Vertex" containment="true" eOpposite="#//Vertex/parentRegion"/>
  17. <eStructuralFeatures xsi:type="ecore:EAttribute" name="priority" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
  18. <eStructuralFeatures xsi:type="ecore:EReference" name="composite" lowerBound="1"
  19. eType="#//CompositeElement" eOpposite="#//CompositeElement/regions"/>
  20. </eClassifiers>
  21. <eClassifiers xsi:type="ecore:EClass" name="Transition" eSuperTypes="#//SpecificationElement #//Reaction ../../../org.yakindu.base.types/model/base.ecore#//DocumentedElement">
  22. <eStructuralFeatures xsi:type="ecore:EReference" name="target" ordered="false"
  23. lowerBound="1" eType="#//Vertex" eOpposite="#//Vertex/incomingTransitions"/>
  24. <eStructuralFeatures xsi:type="ecore:EReference" name="source" ordered="false"
  25. lowerBound="1" eType="#//Vertex" eOpposite="#//Vertex/outgoingTransitions"/>
  26. <eStructuralFeatures xsi:type="ecore:EAttribute" name="priority" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
  27. </eClassifiers>
  28. <eClassifiers xsi:type="ecore:EClass" name="FinalState" eSuperTypes="#//RegularState"/>
  29. <eClassifiers xsi:type="ecore:EClass" name="Variable" abstract="true" eSuperTypes="#//Declaration"/>
  30. <eClassifiers xsi:type="ecore:EClass" name="Event" abstract="true" eSuperTypes="#//Declaration"/>
  31. <eClassifiers xsi:type="ecore:EClass" name="Choice" eSuperTypes="#//Pseudostate">
  32. <eStructuralFeatures xsi:type="ecore:EAttribute" name="kind" eType="#//ChoiceKind"/>
  33. </eClassifiers>
  34. <eClassifiers xsi:type="ecore:EClass" name="Statechart" eSuperTypes="#//SpecificationElement #//ReactiveElement #//ScopedElement #//CompositeElement ../../../org.yakindu.base.types/model/base.ecore#//NamedElement ../../../org.yakindu.base.types/model/base.ecore#//DocumentedElement"/>
  35. <eClassifiers xsi:type="ecore:EClass" name="Entry" eSuperTypes="#//Pseudostate">
  36. <eStructuralFeatures xsi:type="ecore:EAttribute" name="kind" eType="#//EntryKind"/>
  37. </eClassifiers>
  38. <eClassifiers xsi:type="ecore:EEnum" name="EntryKind">
  39. <eLiterals name="initial" literal="INITIAL"/>
  40. <eLiterals name="shallowHistory" value="1" literal="SHALLOW_HISTORY"/>
  41. <eLiterals name="deepHistory" value="2" literal="DEEP_HISTORY"/>
  42. </eClassifiers>
  43. <eClassifiers xsi:type="ecore:EClass" name="Exit" eSuperTypes="#//Pseudostate"/>
  44. <eClassifiers xsi:type="ecore:EClass" name="ReactiveElement" abstract="true">
  45. <eStructuralFeatures xsi:type="ecore:EReference" name="reactions" upperBound="-1"
  46. eType="#//Reaction" changeable="false" volatile="true" transient="true" derived="true"/>
  47. <eStructuralFeatures xsi:type="ecore:EReference" name="localReactions" upperBound="-1"
  48. eType="#//Reaction" changeable="false" volatile="true" transient="true" derived="true"/>
  49. </eClassifiers>
  50. <eClassifiers xsi:type="ecore:EClass" name="Reaction" abstract="true">
  51. <eStructuralFeatures xsi:type="ecore:EReference" name="trigger" eType="#//Trigger"
  52. transient="true" containment="true"/>
  53. <eStructuralFeatures xsi:type="ecore:EReference" name="effect" eType="#//Effect"
  54. transient="true" containment="true"/>
  55. <eStructuralFeatures xsi:type="ecore:EReference" name="properties" upperBound="-1"
  56. eType="#//ReactionProperty" containment="true"/>
  57. </eClassifiers>
  58. <eClassifiers xsi:type="ecore:EClass" name="Trigger" abstract="true"/>
  59. <eClassifiers xsi:type="ecore:EClass" name="Effect" abstract="true"/>
  60. <eClassifiers xsi:type="ecore:EClass" name="ReactionProperty"/>
  61. <eClassifiers xsi:type="ecore:EClass" name="SpecificationElement" abstract="true">
  62. <eStructuralFeatures xsi:type="ecore:EAttribute" name="specification" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  63. </eClassifiers>
  64. <eClassifiers xsi:type="ecore:EClass" name="Declaration" abstract="true" eSuperTypes="../../../org.yakindu.base.types/model/base.ecore#//NamedElement"/>
  65. <eClassifiers xsi:type="ecore:EClass" name="Scope">
  66. <eStructuralFeatures xsi:type="ecore:EReference" name="declarations" upperBound="-1"
  67. eType="#//Declaration" containment="true"/>
  68. <eStructuralFeatures xsi:type="ecore:EReference" name="events" upperBound="-1"
  69. eType="#//Event" changeable="false" volatile="true" transient="true" derived="true"/>
  70. <eStructuralFeatures xsi:type="ecore:EReference" name="variables" unique="false"
  71. upperBound="-1" eType="#//Variable" changeable="false" volatile="true" transient="true"
  72. derived="true"/>
  73. </eClassifiers>
  74. <eClassifiers xsi:type="ecore:EClass" name="ScopedElement" abstract="true">
  75. <eStructuralFeatures xsi:type="ecore:EReference" name="scopes" upperBound="-1"
  76. eType="#//Scope" transient="true" containment="true"/>
  77. <eStructuralFeatures xsi:type="ecore:EAttribute" name="namespace" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  78. </eClassifiers>
  79. <eClassifiers xsi:type="ecore:EClass" name="Synchronization" eSuperTypes="#//Pseudostate"/>
  80. <eClassifiers xsi:type="ecore:EClass" name="State" eSuperTypes="#//SpecificationElement #//ReactiveElement #//ScopedElement #//RegularState #//CompositeElement ../../../org.yakindu.base.types/model/base.ecore#//DocumentedElement">
  81. <eStructuralFeatures xsi:type="ecore:EAttribute" name="orthogonal" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
  82. changeable="false" volatile="true" transient="true" derived="true"/>
  83. <eStructuralFeatures xsi:type="ecore:EReference" name="substatechart" eType="#//Statechart"
  84. transient="true"/>
  85. <eStructuralFeatures xsi:type="ecore:EAttribute" name="substatechartId" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  86. <eStructuralFeatures xsi:type="ecore:EAttribute" name="subchart" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
  87. changeable="false" volatile="true" transient="true" derived="true"/>
  88. <eStructuralFeatures xsi:type="ecore:EAttribute" name="simple" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
  89. changeable="false" volatile="true" transient="true" derived="true"/>
  90. <eStructuralFeatures xsi:type="ecore:EAttribute" name="composite" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
  91. changeable="false" volatile="true" transient="true" derived="true"/>
  92. <eStructuralFeatures xsi:type="ecore:EAttribute" name="leaf" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
  93. changeable="false" volatile="true" transient="true" derived="true"/>
  94. </eClassifiers>
  95. <eClassifiers xsi:type="ecore:EClass" name="Statement"/>
  96. <eClassifiers xsi:type="ecore:EClass" name="RegularState" eSuperTypes="#//Vertex"/>
  97. <eClassifiers xsi:type="ecore:EEnum" name="ChoiceKind">
  98. <eLiterals name="dynamic"/>
  99. <eLiterals name="static" value="1"/>
  100. </eClassifiers>
  101. <eClassifiers xsi:type="ecore:EClass" name="CompositeElement" abstract="true">
  102. <eStructuralFeatures xsi:type="ecore:EReference" name="regions" upperBound="-1"
  103. eType="#//Region" containment="true" eOpposite="#//Region/composite"/>
  104. </eClassifiers>
  105. </ecore:EPackage>