diff options
author | 2019-10-07 00:35:42 -0400 | |
---|---|---|
committer | 2020-06-07 19:42:47 -0400 | |
commit | b503c81bee920c18806af25393d0a90b8f77dba6 (patch) | |
tree | 9b70f606bfa7fa450457c04714e045e5ac5f6199 /Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummPackage.java | |
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 'Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummPackage.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummPackage.java | 63 |
1 files changed, 62 insertions, 1 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummPackage.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummPackage.java index 18a4b105..a9269e05 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummPackage.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummPackage.java | |||
@@ -2,7 +2,9 @@ | |||
2 | */ | 2 | */ |
3 | package hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm; | 3 | package hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm; |
4 | 4 | ||
5 | import org.eclipse.emf.ecore.EAttribute; | ||
5 | import org.eclipse.emf.ecore.EClass; | 6 | import org.eclipse.emf.ecore.EClass; |
7 | import org.eclipse.emf.ecore.EEnum; | ||
6 | import org.eclipse.emf.ecore.EPackage; | 8 | import org.eclipse.emf.ecore.EPackage; |
7 | import org.eclipse.emf.ecore.EReference; | 9 | import org.eclipse.emf.ecore.EReference; |
8 | 10 | ||
@@ -333,13 +335,22 @@ public interface YakindummPackage extends EPackage { | |||
333 | int ENTRY__OUTGOING_TRANSITIONS = PSEUDOSTATE__OUTGOING_TRANSITIONS; | 335 | int ENTRY__OUTGOING_TRANSITIONS = PSEUDOSTATE__OUTGOING_TRANSITIONS; |
334 | 336 | ||
335 | /** | 337 | /** |
338 | * The feature id for the '<em><b>Type</b></em>' attribute. | ||
339 | * <!-- begin-user-doc --> | ||
340 | * <!-- end-user-doc --> | ||
341 | * @generated | ||
342 | * @ordered | ||
343 | */ | ||
344 | int ENTRY__TYPE = PSEUDOSTATE_FEATURE_COUNT + 0; | ||
345 | |||
346 | /** | ||
336 | * The number of structural features of the '<em>Entry</em>' class. | 347 | * The number of structural features of the '<em>Entry</em>' class. |
337 | * <!-- begin-user-doc --> | 348 | * <!-- begin-user-doc --> |
338 | * <!-- end-user-doc --> | 349 | * <!-- end-user-doc --> |
339 | * @generated | 350 | * @generated |
340 | * @ordered | 351 | * @ordered |
341 | */ | 352 | */ |
342 | int ENTRY_FEATURE_COUNT = PSEUDOSTATE_FEATURE_COUNT + 0; | 353 | int ENTRY_FEATURE_COUNT = PSEUDOSTATE_FEATURE_COUNT + 1; |
343 | 354 | ||
344 | /** | 355 | /** |
345 | * The number of operations of the '<em>Entry</em>' class. | 356 | * The number of operations of the '<em>Entry</em>' class. |
@@ -639,6 +650,17 @@ public interface YakindummPackage extends EPackage { | |||
639 | 650 | ||
640 | 651 | ||
641 | /** | 652 | /** |
653 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.EntryType <em>Entry Type</em>}' enum. | ||
654 | * <!-- begin-user-doc --> | ||
655 | * <!-- end-user-doc --> | ||
656 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.EntryType | ||
657 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.YakindummPackageImpl#getEntryType() | ||
658 | * @generated | ||
659 | */ | ||
660 | int ENTRY_TYPE = 13; | ||
661 | |||
662 | |||
663 | /** | ||
642 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Pseudostate <em>Pseudostate</em>}'. | 664 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Pseudostate <em>Pseudostate</em>}'. |
643 | * <!-- begin-user-doc --> | 665 | * <!-- begin-user-doc --> |
644 | * <!-- end-user-doc --> | 666 | * <!-- end-user-doc --> |
@@ -754,6 +776,17 @@ public interface YakindummPackage extends EPackage { | |||
754 | EClass getEntry(); | 776 | EClass getEntry(); |
755 | 777 | ||
756 | /** | 778 | /** |
779 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Entry#getType <em>Type</em>}'. | ||
780 | * <!-- begin-user-doc --> | ||
781 | * <!-- end-user-doc --> | ||
782 | * @return the meta object for the attribute '<em>Type</em>'. | ||
783 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Entry#getType() | ||
784 | * @see #getEntry() | ||
785 | * @generated | ||
786 | */ | ||
787 | EAttribute getEntry_Type(); | ||
788 | |||
789 | /** | ||
757 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Synchronization <em>Synchronization</em>}'. | 790 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Synchronization <em>Synchronization</em>}'. |
758 | * <!-- begin-user-doc --> | 791 | * <!-- begin-user-doc --> |
759 | * <!-- end-user-doc --> | 792 | * <!-- end-user-doc --> |
@@ -835,6 +868,16 @@ public interface YakindummPackage extends EPackage { | |||
835 | EClass getFinalState(); | 868 | EClass getFinalState(); |
836 | 869 | ||
837 | /** | 870 | /** |
871 | * Returns the meta object for enum '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.EntryType <em>Entry Type</em>}'. | ||
872 | * <!-- begin-user-doc --> | ||
873 | * <!-- end-user-doc --> | ||
874 | * @return the meta object for enum '<em>Entry Type</em>'. | ||
875 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.EntryType | ||
876 | * @generated | ||
877 | */ | ||
878 | EEnum getEntryType(); | ||
879 | |||
880 | /** | ||
838 | * Returns the factory that creates the instances of the model. | 881 | * Returns the factory that creates the instances of the model. |
839 | * <!-- begin-user-doc --> | 882 | * <!-- begin-user-doc --> |
840 | * <!-- end-user-doc --> | 883 | * <!-- end-user-doc --> |
@@ -958,6 +1001,14 @@ public interface YakindummPackage extends EPackage { | |||
958 | EClass ENTRY = eINSTANCE.getEntry(); | 1001 | EClass ENTRY = eINSTANCE.getEntry(); |
959 | 1002 | ||
960 | /** | 1003 | /** |
1004 | * The meta object literal for the '<em><b>Type</b></em>' attribute feature. | ||
1005 | * <!-- begin-user-doc --> | ||
1006 | * <!-- end-user-doc --> | ||
1007 | * @generated | ||
1008 | */ | ||
1009 | EAttribute ENTRY__TYPE = eINSTANCE.getEntry_Type(); | ||
1010 | |||
1011 | /** | ||
961 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.SynchronizationImpl <em>Synchronization</em>}' class. | 1012 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.SynchronizationImpl <em>Synchronization</em>}' class. |
962 | * <!-- begin-user-doc --> | 1013 | * <!-- begin-user-doc --> |
963 | * <!-- end-user-doc --> | 1014 | * <!-- end-user-doc --> |
@@ -1035,6 +1086,16 @@ public interface YakindummPackage extends EPackage { | |||
1035 | */ | 1086 | */ |
1036 | EClass FINAL_STATE = eINSTANCE.getFinalState(); | 1087 | EClass FINAL_STATE = eINSTANCE.getFinalState(); |
1037 | 1088 | ||
1089 | /** | ||
1090 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.EntryType <em>Entry Type</em>}' enum. | ||
1091 | * <!-- begin-user-doc --> | ||
1092 | * <!-- end-user-doc --> | ||
1093 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.EntryType | ||
1094 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.YakindummPackageImpl#getEntryType() | ||
1095 | * @generated | ||
1096 | */ | ||
1097 | EEnum ENTRY_TYPE = eINSTANCE.getEntryType(); | ||
1098 | |||
1038 | } | 1099 | } |
1039 | 1100 | ||
1040 | } //YakindummPackage | 1101 | } //YakindummPackage |