SText.ecore 9.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121
  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="stext" nsURI="http://www.yakindu.org/sct/statechart/SText" nsPrefix="stext">
  4. <eClassifiers xsi:type="ecore:EClass" name="Root">
  5. <eStructuralFeatures xsi:type="ecore:EReference" name="roots" upperBound="-1"
  6. eType="#//DefRoot" containment="true"/>
  7. </eClassifiers>
  8. <eClassifiers xsi:type="ecore:EClass" name="DefRoot"/>
  9. <eClassifiers xsi:type="ecore:EClass" name="StatechartRoot" eSuperTypes="#//DefRoot">
  10. <eStructuralFeatures xsi:type="ecore:EReference" name="def" eType="#//StatechartSpecification"
  11. containment="true"/>
  12. </eClassifiers>
  13. <eClassifiers xsi:type="ecore:EClass" name="StateRoot" eSuperTypes="#//DefRoot">
  14. <eStructuralFeatures xsi:type="ecore:EReference" name="def" eType="#//StateSpecification"
  15. containment="true"/>
  16. </eClassifiers>
  17. <eClassifiers xsi:type="ecore:EClass" name="TransitionRoot" eSuperTypes="#//DefRoot">
  18. <eStructuralFeatures xsi:type="ecore:EReference" name="def" eType="#//TransitionSpecification"
  19. containment="true"/>
  20. </eClassifiers>
  21. <eClassifiers xsi:type="ecore:EClass" name="StatechartSpecification" eSuperTypes="../../org.yakindu.sct.model.sgraph/model/emf/sgraph.ecore#//ScopedElement"/>
  22. <eClassifiers xsi:type="ecore:EClass" name="StateSpecification">
  23. <eStructuralFeatures xsi:type="ecore:EReference" name="scope" eType="ecore:EClass ../../org.yakindu.sct.model.sgraph/model/emf/sgraph.ecore#//Scope"
  24. containment="true"/>
  25. </eClassifiers>
  26. <eClassifiers xsi:type="ecore:EClass" name="TransitionSpecification">
  27. <eStructuralFeatures xsi:type="ecore:EReference" name="reaction" eType="#//TransitionReaction"
  28. containment="true"/>
  29. </eClassifiers>
  30. <eClassifiers xsi:type="ecore:EClass" name="StatechartScope" eSuperTypes="../../org.yakindu.sct.model.sgraph/model/emf/sgraph.ecore#//Scope"/>
  31. <eClassifiers xsi:type="ecore:EClass" name="InterfaceScope" eSuperTypes="#//StatechartScope ../../org.yakindu.base.types/model/base.ecore#//NamedElement"/>
  32. <eClassifiers xsi:type="ecore:EClass" name="InternalScope" eSuperTypes="#//StatechartScope"/>
  33. <eClassifiers xsi:type="ecore:EClass" name="ImportScope" eSuperTypes="#//StatechartScope">
  34. <eStructuralFeatures xsi:type="ecore:EReference" name="imports" upperBound="-1"
  35. eType="#//Import" containment="true"/>
  36. </eClassifiers>
  37. <eClassifiers xsi:type="ecore:EClass" name="Import">
  38. <eStructuralFeatures xsi:type="ecore:EAttribute" name="importedNamespace" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  39. </eClassifiers>
  40. <eClassifiers xsi:type="ecore:EClass" name="EventDefinition" eSuperTypes="../../org.yakindu.sct.model.sgraph/model/emf/sgraph.ecore#//Event ../../org.yakindu.base.types/model/types.ecore#//Event">
  41. <eStructuralFeatures xsi:type="ecore:EAttribute" name="direction" eType="#//Direction"/>
  42. </eClassifiers>
  43. <eClassifiers xsi:type="ecore:EEnum" name="Direction">
  44. <eLiterals name="LOCAL" literal="local"/>
  45. <eLiterals name="IN" value="1" literal="in"/>
  46. <eLiterals name="OUT" value="2" literal="out"/>
  47. </eClassifiers>
  48. <eClassifiers xsi:type="ecore:EClass" name="VariableDefinition" eSuperTypes="../../org.yakindu.sct.model.sgraph/model/emf/sgraph.ecore#//Variable ../../org.yakindu.base.types/model/types.ecore#//Property">
  49. <eStructuralFeatures xsi:type="ecore:EAttribute" name="const" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
  50. <eStructuralFeatures xsi:type="ecore:EAttribute" name="readonly" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
  51. <eStructuralFeatures xsi:type="ecore:EAttribute" name="external" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
  52. <eStructuralFeatures xsi:type="ecore:EReference" name="initialValue" eType="ecore:EClass ../../org.yakindu.base.expressions/model/Expressions.ecore#//Expression"
  53. containment="true"/>
  54. </eClassifiers>
  55. <eClassifiers xsi:type="ecore:EClass" name="OperationDefinition" eSuperTypes="../../org.yakindu.sct.model.sgraph/model/emf/sgraph.ecore#//Declaration ../../org.yakindu.base.types/model/types.ecore#//Operation"/>
  56. <eClassifiers xsi:type="ecore:EClass" name="TypeAliasDefinition" eSuperTypes="../../org.yakindu.base.types/model/types.ecore#//TypeAlias ../../org.yakindu.sct.model.sgraph/model/emf/sgraph.ecore#//Declaration"/>
  57. <eClassifiers xsi:type="ecore:EClass" name="LocalReaction" eSuperTypes="../../org.yakindu.sct.model.sgraph/model/emf/sgraph.ecore#//Declaration ../../org.yakindu.sct.model.sgraph/model/emf/sgraph.ecore#//Reaction"/>
  58. <eClassifiers xsi:type="ecore:EClass" name="TransitionReaction" eSuperTypes="../../org.yakindu.sct.model.sgraph/model/emf/sgraph.ecore#//Reaction"/>
  59. <eClassifiers xsi:type="ecore:EClass" name="Guard">
  60. <eStructuralFeatures xsi:type="ecore:EReference" name="expression" eType="ecore:EClass ../../org.yakindu.base.expressions/model/Expressions.ecore#//Expression"
  61. containment="true"/>
  62. </eClassifiers>
  63. <eClassifiers xsi:type="ecore:EClass" name="EntryPointSpec" eSuperTypes="../../org.yakindu.sct.model.sgraph/model/emf/sgraph.ecore#//ReactionProperty">
  64. <eStructuralFeatures xsi:type="ecore:EAttribute" name="entrypoint" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  65. </eClassifiers>
  66. <eClassifiers xsi:type="ecore:EClass" name="ExitPointSpec" eSuperTypes="../../org.yakindu.sct.model.sgraph/model/emf/sgraph.ecore#//ReactionProperty">
  67. <eStructuralFeatures xsi:type="ecore:EAttribute" name="exitpoint" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  68. </eClassifiers>
  69. <eClassifiers xsi:type="ecore:EClass" name="EventSpec"/>
  70. <eClassifiers xsi:type="ecore:EClass" name="RegularEventSpec" eSuperTypes="#//EventSpec">
  71. <eStructuralFeatures xsi:type="ecore:EReference" name="event" eType="ecore:EClass ../../org.yakindu.base.expressions/model/Expressions.ecore#//Expression"
  72. containment="true"/>
  73. </eClassifiers>
  74. <eClassifiers xsi:type="ecore:EClass" name="TimeEventSpec" eSuperTypes="#//EventSpec">
  75. <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" eType="#//TimeEventType"/>
  76. <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="ecore:EClass ../../org.yakindu.base.expressions/model/Expressions.ecore#//Expression"
  77. containment="true"/>
  78. <eStructuralFeatures xsi:type="ecore:EAttribute" name="unit" eType="#//TimeUnit"/>
  79. </eClassifiers>
  80. <eClassifiers xsi:type="ecore:EEnum" name="TimeEventType">
  81. <eLiterals name="after" literal="after"/>
  82. <eLiterals name="every" value="1" literal="every"/>
  83. </eClassifiers>
  84. <eClassifiers xsi:type="ecore:EClass" name="BuiltinEventSpec" eSuperTypes="#//EventSpec"/>
  85. <eClassifiers xsi:type="ecore:EClass" name="EntryEvent" eSuperTypes="#//BuiltinEventSpec"/>
  86. <eClassifiers xsi:type="ecore:EClass" name="ExitEvent" eSuperTypes="#//BuiltinEventSpec"/>
  87. <eClassifiers xsi:type="ecore:EClass" name="AlwaysEvent" eSuperTypes="#//BuiltinEventSpec"/>
  88. <eClassifiers xsi:type="ecore:EEnum" name="TimeUnit">
  89. <eLiterals name="second" literal="s"/>
  90. <eLiterals name="millisecond" value="1" literal="ms"/>
  91. <eLiterals name="microsecond" value="2" literal="us"/>
  92. <eLiterals name="nanosecond" value="3" literal="ns"/>
  93. </eClassifiers>
  94. <eClassifiers xsi:type="ecore:EClass" name="SimpleScope" eSuperTypes="../../org.yakindu.sct.model.sgraph/model/emf/sgraph.ecore#//Scope"/>
  95. <eClassifiers xsi:type="ecore:EClass" name="ReactionTrigger" eSuperTypes="../../org.yakindu.sct.model.sgraph/model/emf/sgraph.ecore#//Trigger">
  96. <eStructuralFeatures xsi:type="ecore:EReference" name="triggers" upperBound="-1"
  97. eType="#//EventSpec" containment="true"/>
  98. <eStructuralFeatures xsi:type="ecore:EReference" name="guard" eType="#//Guard"
  99. containment="true"/>
  100. </eClassifiers>
  101. <eClassifiers xsi:type="ecore:EClass" name="DefaultTrigger" eSuperTypes="../../org.yakindu.sct.model.sgraph/model/emf/sgraph.ecore#//Trigger"/>
  102. <eClassifiers xsi:type="ecore:EClass" name="ReactionEffect" eSuperTypes="../../org.yakindu.sct.model.sgraph/model/emf/sgraph.ecore#//Effect">
  103. <eStructuralFeatures xsi:type="ecore:EReference" name="actions" upperBound="-1"
  104. eType="ecore:EClass ../../org.yakindu.base.expressions/model/Expressions.ecore#//Expression"
  105. containment="true"/>
  106. </eClassifiers>
  107. <eClassifiers xsi:type="ecore:EClass" name="EventRaisingExpression" eSuperTypes="../../org.yakindu.base.expressions/model/Expressions.ecore#//Expression">
  108. <eStructuralFeatures xsi:type="ecore:EReference" name="event" eType="ecore:EClass ../../org.yakindu.base.expressions/model/Expressions.ecore#//Expression"
  109. containment="true"/>
  110. <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="ecore:EClass ../../org.yakindu.base.expressions/model/Expressions.ecore#//Expression"
  111. containment="true"/>
  112. </eClassifiers>
  113. <eClassifiers xsi:type="ecore:EClass" name="EventValueReferenceExpression" eSuperTypes="../../org.yakindu.base.expressions/model/Expressions.ecore#//Expression">
  114. <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="ecore:EClass ../../org.yakindu.base.expressions/model/Expressions.ecore#//Expression"
  115. containment="true"/>
  116. </eClassifiers>
  117. <eClassifiers xsi:type="ecore:EClass" name="ActiveStateReferenceExpression" eSuperTypes="../../org.yakindu.base.expressions/model/Expressions.ecore#//Expression">
  118. <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="ecore:EClass ../../org.yakindu.sct.model.sgraph/model/emf/sgraph.ecore#//State"/>
  119. </eClassifiers>
  120. </ecore:EPackage>