diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-07 00:35:42 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-07 00:35:42 -0400 |
| commit | 5d1165ceef23e20c4bbe46fe6f88e95f317234b5 (patch) | |
| tree | 9ed155a9e8d74b0f1ce7173aacd50e0e01c96f22 /Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore | |
| parent | VAMPIRE: fix model generation (diff) | |
| download | VIATRA-Generator-5d1165ceef23e20c4bbe46fe6f88e95f317234b5.tar.gz VIATRA-Generator-5d1165ceef23e20c4bbe46fe6f88e95f317234b5.tar.zst VIATRA-Generator-5d1165ceef23e20c4bbe46fe6f88e95f317234b5.zip | |
VAMPIRE: Implement Vampire measurement code
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore')
| -rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore index 0d6b4ac6..51b0ca5b 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.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> |