diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl')
14 files changed, 2761 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ErrorResultImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ErrorResultImpl.java new file mode 100644 index 00000000..579bc772 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ErrorResultImpl.java | |||
@@ -0,0 +1,162 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Notification; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EClass; | ||
11 | |||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
13 | |||
14 | /** | ||
15 | * <!-- begin-user-doc --> | ||
16 | * An implementation of the model object '<em><b>Error Result</b></em>'. | ||
17 | * <!-- end-user-doc --> | ||
18 | * <p> | ||
19 | * The following features are implemented: | ||
20 | * </p> | ||
21 | * <ul> | ||
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ErrorResultImpl#getMessage <em>Message</em>}</li> | ||
23 | * </ul> | ||
24 | * | ||
25 | * @generated | ||
26 | */ | ||
27 | public class ErrorResultImpl extends UnknownResultImpl implements ErrorResult { | ||
28 | /** | ||
29 | * The default value of the '{@link #getMessage() <em>Message</em>}' attribute. | ||
30 | * <!-- begin-user-doc --> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @see #getMessage() | ||
33 | * @generated | ||
34 | * @ordered | ||
35 | */ | ||
36 | protected static final String MESSAGE_EDEFAULT = null; | ||
37 | |||
38 | /** | ||
39 | * The cached value of the '{@link #getMessage() <em>Message</em>}' attribute. | ||
40 | * <!-- begin-user-doc --> | ||
41 | * <!-- end-user-doc --> | ||
42 | * @see #getMessage() | ||
43 | * @generated | ||
44 | * @ordered | ||
45 | */ | ||
46 | protected String message = MESSAGE_EDEFAULT; | ||
47 | |||
48 | /** | ||
49 | * <!-- begin-user-doc --> | ||
50 | * <!-- end-user-doc --> | ||
51 | * @generated | ||
52 | */ | ||
53 | protected ErrorResultImpl() { | ||
54 | super(); | ||
55 | } | ||
56 | |||
57 | /** | ||
58 | * <!-- begin-user-doc --> | ||
59 | * <!-- end-user-doc --> | ||
60 | * @generated | ||
61 | */ | ||
62 | @Override | ||
63 | protected EClass eStaticClass() { | ||
64 | return LogicresultPackage.Literals.ERROR_RESULT; | ||
65 | } | ||
66 | |||
67 | /** | ||
68 | * <!-- begin-user-doc --> | ||
69 | * <!-- end-user-doc --> | ||
70 | * @generated | ||
71 | */ | ||
72 | public String getMessage() { | ||
73 | return message; | ||
74 | } | ||
75 | |||
76 | /** | ||
77 | * <!-- begin-user-doc --> | ||
78 | * <!-- end-user-doc --> | ||
79 | * @generated | ||
80 | */ | ||
81 | public void setMessage(String newMessage) { | ||
82 | String oldMessage = message; | ||
83 | message = newMessage; | ||
84 | if (eNotificationRequired()) | ||
85 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.ERROR_RESULT__MESSAGE, oldMessage, message)); | ||
86 | } | ||
87 | |||
88 | /** | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | */ | ||
93 | @Override | ||
94 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
95 | switch (featureID) { | ||
96 | case LogicresultPackage.ERROR_RESULT__MESSAGE: | ||
97 | return getMessage(); | ||
98 | } | ||
99 | return super.eGet(featureID, resolve, coreType); | ||
100 | } | ||
101 | |||
102 | /** | ||
103 | * <!-- begin-user-doc --> | ||
104 | * <!-- end-user-doc --> | ||
105 | * @generated | ||
106 | */ | ||
107 | @Override | ||
108 | public void eSet(int featureID, Object newValue) { | ||
109 | switch (featureID) { | ||
110 | case LogicresultPackage.ERROR_RESULT__MESSAGE: | ||
111 | setMessage((String)newValue); | ||
112 | return; | ||
113 | } | ||
114 | super.eSet(featureID, newValue); | ||
115 | } | ||
116 | |||
117 | /** | ||
118 | * <!-- begin-user-doc --> | ||
119 | * <!-- end-user-doc --> | ||
120 | * @generated | ||
121 | */ | ||
122 | @Override | ||
123 | public void eUnset(int featureID) { | ||
124 | switch (featureID) { | ||
125 | case LogicresultPackage.ERROR_RESULT__MESSAGE: | ||
126 | setMessage(MESSAGE_EDEFAULT); | ||
127 | return; | ||
128 | } | ||
129 | super.eUnset(featureID); | ||
130 | } | ||
131 | |||
132 | /** | ||
133 | * <!-- begin-user-doc --> | ||
134 | * <!-- end-user-doc --> | ||
135 | * @generated | ||
136 | */ | ||
137 | @Override | ||
138 | public boolean eIsSet(int featureID) { | ||
139 | switch (featureID) { | ||
140 | case LogicresultPackage.ERROR_RESULT__MESSAGE: | ||
141 | return MESSAGE_EDEFAULT == null ? message != null : !MESSAGE_EDEFAULT.equals(message); | ||
142 | } | ||
143 | return super.eIsSet(featureID); | ||
144 | } | ||
145 | |||
146 | /** | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | @Override | ||
152 | public String toString() { | ||
153 | if (eIsProxy()) return super.toString(); | ||
154 | |||
155 | StringBuffer result = new StringBuffer(super.toString()); | ||
156 | result.append(" (message: "); | ||
157 | result.append(message); | ||
158 | result.append(')'); | ||
159 | return result.toString(); | ||
160 | } | ||
161 | |||
162 | } //ErrorResultImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/InconsistencyResultImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/InconsistencyResultImpl.java new file mode 100644 index 00000000..de24477d --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/InconsistencyResultImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>Inconsistency Result</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class InconsistencyResultImpl extends LogicResultImpl implements InconsistencyResult { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected InconsistencyResultImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return LogicresultPackage.Literals.INCONSISTENCY_RESULT; | ||
35 | } | ||
36 | |||
37 | } //InconsistencyResultImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/InsuficientResourcesResultImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/InsuficientResourcesResultImpl.java new file mode 100644 index 00000000..3f8d7ebf --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/InsuficientResourcesResultImpl.java | |||
@@ -0,0 +1,162 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Notification; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EClass; | ||
11 | |||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
13 | |||
14 | /** | ||
15 | * <!-- begin-user-doc --> | ||
16 | * An implementation of the model object '<em><b>Insuficient Resources Result</b></em>'. | ||
17 | * <!-- end-user-doc --> | ||
18 | * <p> | ||
19 | * The following features are implemented: | ||
20 | * </p> | ||
21 | * <ul> | ||
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InsuficientResourcesResultImpl#getResourceName <em>Resource Name</em>}</li> | ||
23 | * </ul> | ||
24 | * | ||
25 | * @generated | ||
26 | */ | ||
27 | public class InsuficientResourcesResultImpl extends UnknownResultImpl implements InsuficientResourcesResult { | ||
28 | /** | ||
29 | * The default value of the '{@link #getResourceName() <em>Resource Name</em>}' attribute. | ||
30 | * <!-- begin-user-doc --> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @see #getResourceName() | ||
33 | * @generated | ||
34 | * @ordered | ||
35 | */ | ||
36 | protected static final String RESOURCE_NAME_EDEFAULT = null; | ||
37 | |||
38 | /** | ||
39 | * The cached value of the '{@link #getResourceName() <em>Resource Name</em>}' attribute. | ||
40 | * <!-- begin-user-doc --> | ||
41 | * <!-- end-user-doc --> | ||
42 | * @see #getResourceName() | ||
43 | * @generated | ||
44 | * @ordered | ||
45 | */ | ||
46 | protected String resourceName = RESOURCE_NAME_EDEFAULT; | ||
47 | |||
48 | /** | ||
49 | * <!-- begin-user-doc --> | ||
50 | * <!-- end-user-doc --> | ||
51 | * @generated | ||
52 | */ | ||
53 | protected InsuficientResourcesResultImpl() { | ||
54 | super(); | ||
55 | } | ||
56 | |||
57 | /** | ||
58 | * <!-- begin-user-doc --> | ||
59 | * <!-- end-user-doc --> | ||
60 | * @generated | ||
61 | */ | ||
62 | @Override | ||
63 | protected EClass eStaticClass() { | ||
64 | return LogicresultPackage.Literals.INSUFICIENT_RESOURCES_RESULT; | ||
65 | } | ||
66 | |||
67 | /** | ||
68 | * <!-- begin-user-doc --> | ||
69 | * <!-- end-user-doc --> | ||
70 | * @generated | ||
71 | */ | ||
72 | public String getResourceName() { | ||
73 | return resourceName; | ||
74 | } | ||
75 | |||
76 | /** | ||
77 | * <!-- begin-user-doc --> | ||
78 | * <!-- end-user-doc --> | ||
79 | * @generated | ||
80 | */ | ||
81 | public void setResourceName(String newResourceName) { | ||
82 | String oldResourceName = resourceName; | ||
83 | resourceName = newResourceName; | ||
84 | if (eNotificationRequired()) | ||
85 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME, oldResourceName, resourceName)); | ||
86 | } | ||
87 | |||
88 | /** | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | */ | ||
93 | @Override | ||
94 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
95 | switch (featureID) { | ||
96 | case LogicresultPackage.INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME: | ||
97 | return getResourceName(); | ||
98 | } | ||
99 | return super.eGet(featureID, resolve, coreType); | ||
100 | } | ||
101 | |||
102 | /** | ||
103 | * <!-- begin-user-doc --> | ||
104 | * <!-- end-user-doc --> | ||
105 | * @generated | ||
106 | */ | ||
107 | @Override | ||
108 | public void eSet(int featureID, Object newValue) { | ||
109 | switch (featureID) { | ||
110 | case LogicresultPackage.INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME: | ||
111 | setResourceName((String)newValue); | ||
112 | return; | ||
113 | } | ||
114 | super.eSet(featureID, newValue); | ||
115 | } | ||
116 | |||
117 | /** | ||
118 | * <!-- begin-user-doc --> | ||
119 | * <!-- end-user-doc --> | ||
120 | * @generated | ||
121 | */ | ||
122 | @Override | ||
123 | public void eUnset(int featureID) { | ||
124 | switch (featureID) { | ||
125 | case LogicresultPackage.INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME: | ||
126 | setResourceName(RESOURCE_NAME_EDEFAULT); | ||
127 | return; | ||
128 | } | ||
129 | super.eUnset(featureID); | ||
130 | } | ||
131 | |||
132 | /** | ||
133 | * <!-- begin-user-doc --> | ||
134 | * <!-- end-user-doc --> | ||
135 | * @generated | ||
136 | */ | ||
137 | @Override | ||
138 | public boolean eIsSet(int featureID) { | ||
139 | switch (featureID) { | ||
140 | case LogicresultPackage.INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME: | ||
141 | return RESOURCE_NAME_EDEFAULT == null ? resourceName != null : !RESOURCE_NAME_EDEFAULT.equals(resourceName); | ||
142 | } | ||
143 | return super.eIsSet(featureID); | ||
144 | } | ||
145 | |||
146 | /** | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | @Override | ||
152 | public String toString() { | ||
153 | if (eIsProxy()) return super.toString(); | ||
154 | |||
155 | StringBuffer result = new StringBuffer(super.toString()); | ||
156 | result.append(" (resourceName: "); | ||
157 | result.append(resourceName); | ||
158 | result.append(')'); | ||
159 | return result.toString(); | ||
160 | } | ||
161 | |||
162 | } //InsuficientResourcesResultImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/IntStatisticEntryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/IntStatisticEntryImpl.java new file mode 100644 index 00000000..e8bedf70 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/IntStatisticEntryImpl.java | |||
@@ -0,0 +1,162 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Notification; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EClass; | ||
11 | |||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
13 | |||
14 | /** | ||
15 | * <!-- begin-user-doc --> | ||
16 | * An implementation of the model object '<em><b>Int Statistic Entry</b></em>'. | ||
17 | * <!-- end-user-doc --> | ||
18 | * <p> | ||
19 | * The following features are implemented: | ||
20 | * </p> | ||
21 | * <ul> | ||
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.IntStatisticEntryImpl#getValue <em>Value</em>}</li> | ||
23 | * </ul> | ||
24 | * | ||
25 | * @generated | ||
26 | */ | ||
27 | public class IntStatisticEntryImpl extends StatisticEntryImpl implements IntStatisticEntry { | ||
28 | /** | ||
29 | * The default value of the '{@link #getValue() <em>Value</em>}' attribute. | ||
30 | * <!-- begin-user-doc --> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @see #getValue() | ||
33 | * @generated | ||
34 | * @ordered | ||
35 | */ | ||
36 | protected static final int VALUE_EDEFAULT = 0; | ||
37 | |||
38 | /** | ||
39 | * The cached value of the '{@link #getValue() <em>Value</em>}' attribute. | ||
40 | * <!-- begin-user-doc --> | ||
41 | * <!-- end-user-doc --> | ||
42 | * @see #getValue() | ||
43 | * @generated | ||
44 | * @ordered | ||
45 | */ | ||
46 | protected int value = VALUE_EDEFAULT; | ||
47 | |||
48 | /** | ||
49 | * <!-- begin-user-doc --> | ||
50 | * <!-- end-user-doc --> | ||
51 | * @generated | ||
52 | */ | ||
53 | protected IntStatisticEntryImpl() { | ||
54 | super(); | ||
55 | } | ||
56 | |||
57 | /** | ||
58 | * <!-- begin-user-doc --> | ||
59 | * <!-- end-user-doc --> | ||
60 | * @generated | ||
61 | */ | ||
62 | @Override | ||
63 | protected EClass eStaticClass() { | ||
64 | return LogicresultPackage.Literals.INT_STATISTIC_ENTRY; | ||
65 | } | ||
66 | |||
67 | /** | ||
68 | * <!-- begin-user-doc --> | ||
69 | * <!-- end-user-doc --> | ||
70 | * @generated | ||
71 | */ | ||
72 | public int getValue() { | ||
73 | return value; | ||
74 | } | ||
75 | |||
76 | /** | ||
77 | * <!-- begin-user-doc --> | ||
78 | * <!-- end-user-doc --> | ||
79 | * @generated | ||
80 | */ | ||
81 | public void setValue(int newValue) { | ||
82 | int oldValue = value; | ||
83 | value = newValue; | ||
84 | if (eNotificationRequired()) | ||
85 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.INT_STATISTIC_ENTRY__VALUE, oldValue, value)); | ||
86 | } | ||
87 | |||
88 | /** | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | */ | ||
93 | @Override | ||
94 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
95 | switch (featureID) { | ||
96 | case LogicresultPackage.INT_STATISTIC_ENTRY__VALUE: | ||
97 | return getValue(); | ||
98 | } | ||
99 | return super.eGet(featureID, resolve, coreType); | ||
100 | } | ||
101 | |||
102 | /** | ||
103 | * <!-- begin-user-doc --> | ||
104 | * <!-- end-user-doc --> | ||
105 | * @generated | ||
106 | */ | ||
107 | @Override | ||
108 | public void eSet(int featureID, Object newValue) { | ||
109 | switch (featureID) { | ||
110 | case LogicresultPackage.INT_STATISTIC_ENTRY__VALUE: | ||
111 | setValue((Integer)newValue); | ||
112 | return; | ||
113 | } | ||
114 | super.eSet(featureID, newValue); | ||
115 | } | ||
116 | |||
117 | /** | ||
118 | * <!-- begin-user-doc --> | ||
119 | * <!-- end-user-doc --> | ||
120 | * @generated | ||
121 | */ | ||
122 | @Override | ||
123 | public void eUnset(int featureID) { | ||
124 | switch (featureID) { | ||
125 | case LogicresultPackage.INT_STATISTIC_ENTRY__VALUE: | ||
126 | setValue(VALUE_EDEFAULT); | ||
127 | return; | ||
128 | } | ||
129 | super.eUnset(featureID); | ||
130 | } | ||
131 | |||
132 | /** | ||
133 | * <!-- begin-user-doc --> | ||
134 | * <!-- end-user-doc --> | ||
135 | * @generated | ||
136 | */ | ||
137 | @Override | ||
138 | public boolean eIsSet(int featureID) { | ||
139 | switch (featureID) { | ||
140 | case LogicresultPackage.INT_STATISTIC_ENTRY__VALUE: | ||
141 | return value != VALUE_EDEFAULT; | ||
142 | } | ||
143 | return super.eIsSet(featureID); | ||
144 | } | ||
145 | |||
146 | /** | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | @Override | ||
152 | public String toString() { | ||
153 | if (eIsProxy()) return super.toString(); | ||
154 | |||
155 | StringBuffer result = new StringBuffer(super.toString()); | ||
156 | result.append(" (value: "); | ||
157 | result.append(value); | ||
158 | result.append(')'); | ||
159 | return result.toString(); | ||
160 | } | ||
161 | |||
162 | } //IntStatisticEntryImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicResultImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicResultImpl.java new file mode 100644 index 00000000..1bd5c833 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicResultImpl.java | |||
@@ -0,0 +1,346 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; | ||
6 | |||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics; | ||
10 | |||
11 | import java.util.Collection; | ||
12 | import org.eclipse.emf.common.notify.Notification; | ||
13 | import org.eclipse.emf.common.notify.NotificationChain; | ||
14 | |||
15 | import org.eclipse.emf.common.util.EList; | ||
16 | import org.eclipse.emf.ecore.EClass; | ||
17 | import org.eclipse.emf.ecore.InternalEObject; | ||
18 | |||
19 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
20 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
21 | import org.eclipse.emf.ecore.util.EDataTypeUniqueEList; | ||
22 | |||
23 | /** | ||
24 | * <!-- begin-user-doc --> | ||
25 | * An implementation of the model object '<em><b>Logic Result</b></em>'. | ||
26 | * <!-- end-user-doc --> | ||
27 | * <p> | ||
28 | * The following features are implemented: | ||
29 | * </p> | ||
30 | * <ul> | ||
31 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl#getProblem <em>Problem</em>}</li> | ||
32 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl#getStatistics <em>Statistics</em>}</li> | ||
33 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl#getTrace <em>Trace</em>}</li> | ||
34 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl#getRepresentation <em>Representation</em>}</li> | ||
35 | * </ul> | ||
36 | * | ||
37 | * @generated | ||
38 | */ | ||
39 | public abstract class LogicResultImpl extends MinimalEObjectImpl.Container implements LogicResult { | ||
40 | /** | ||
41 | * The cached value of the '{@link #getProblem() <em>Problem</em>}' reference. | ||
42 | * <!-- begin-user-doc --> | ||
43 | * <!-- end-user-doc --> | ||
44 | * @see #getProblem() | ||
45 | * @generated | ||
46 | * @ordered | ||
47 | */ | ||
48 | protected LogicProblem problem; | ||
49 | |||
50 | /** | ||
51 | * The cached value of the '{@link #getStatistics() <em>Statistics</em>}' containment reference. | ||
52 | * <!-- begin-user-doc --> | ||
53 | * <!-- end-user-doc --> | ||
54 | * @see #getStatistics() | ||
55 | * @generated | ||
56 | * @ordered | ||
57 | */ | ||
58 | protected Statistics statistics; | ||
59 | |||
60 | /** | ||
61 | * The default value of the '{@link #getTrace() <em>Trace</em>}' attribute. | ||
62 | * <!-- begin-user-doc --> | ||
63 | * <!-- end-user-doc --> | ||
64 | * @see #getTrace() | ||
65 | * @generated | ||
66 | * @ordered | ||
67 | */ | ||
68 | protected static final Object TRACE_EDEFAULT = null; | ||
69 | |||
70 | /** | ||
71 | * The cached value of the '{@link #getTrace() <em>Trace</em>}' attribute. | ||
72 | * <!-- begin-user-doc --> | ||
73 | * <!-- end-user-doc --> | ||
74 | * @see #getTrace() | ||
75 | * @generated | ||
76 | * @ordered | ||
77 | */ | ||
78 | protected Object trace = TRACE_EDEFAULT; | ||
79 | |||
80 | /** | ||
81 | * The cached value of the '{@link #getRepresentation() <em>Representation</em>}' attribute list. | ||
82 | * <!-- begin-user-doc --> | ||
83 | * <!-- end-user-doc --> | ||
84 | * @see #getRepresentation() | ||
85 | * @generated | ||
86 | * @ordered | ||
87 | */ | ||
88 | protected EList<Object> representation; | ||
89 | |||
90 | /** | ||
91 | * <!-- begin-user-doc --> | ||
92 | * <!-- end-user-doc --> | ||
93 | * @generated | ||
94 | */ | ||
95 | protected LogicResultImpl() { | ||
96 | super(); | ||
97 | } | ||
98 | |||
99 | /** | ||
100 | * <!-- begin-user-doc --> | ||
101 | * <!-- end-user-doc --> | ||
102 | * @generated | ||
103 | */ | ||
104 | @Override | ||
105 | protected EClass eStaticClass() { | ||
106 | return LogicresultPackage.Literals.LOGIC_RESULT; | ||
107 | } | ||
108 | |||
109 | /** | ||
110 | * <!-- begin-user-doc --> | ||
111 | * <!-- end-user-doc --> | ||
112 | * @generated | ||
113 | */ | ||
114 | public LogicProblem getProblem() { | ||
115 | if (problem != null && problem.eIsProxy()) { | ||
116 | InternalEObject oldProblem = (InternalEObject)problem; | ||
117 | problem = (LogicProblem)eResolveProxy(oldProblem); | ||
118 | if (problem != oldProblem) { | ||
119 | if (eNotificationRequired()) | ||
120 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, LogicresultPackage.LOGIC_RESULT__PROBLEM, oldProblem, problem)); | ||
121 | } | ||
122 | } | ||
123 | return problem; | ||
124 | } | ||
125 | |||
126 | /** | ||
127 | * <!-- begin-user-doc --> | ||
128 | * <!-- end-user-doc --> | ||
129 | * @generated | ||
130 | */ | ||
131 | public LogicProblem basicGetProblem() { | ||
132 | return problem; | ||
133 | } | ||
134 | |||
135 | /** | ||
136 | * <!-- begin-user-doc --> | ||
137 | * <!-- end-user-doc --> | ||
138 | * @generated | ||
139 | */ | ||
140 | public void setProblem(LogicProblem newProblem) { | ||
141 | LogicProblem oldProblem = problem; | ||
142 | problem = newProblem; | ||
143 | if (eNotificationRequired()) | ||
144 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.LOGIC_RESULT__PROBLEM, oldProblem, problem)); | ||
145 | } | ||
146 | |||
147 | /** | ||
148 | * <!-- begin-user-doc --> | ||
149 | * <!-- end-user-doc --> | ||
150 | * @generated | ||
151 | */ | ||
152 | public Statistics getStatistics() { | ||
153 | return statistics; | ||
154 | } | ||
155 | |||
156 | /** | ||
157 | * <!-- begin-user-doc --> | ||
158 | * <!-- end-user-doc --> | ||
159 | * @generated | ||
160 | */ | ||
161 | public NotificationChain basicSetStatistics(Statistics newStatistics, NotificationChain msgs) { | ||
162 | Statistics oldStatistics = statistics; | ||
163 | statistics = newStatistics; | ||
164 | if (eNotificationRequired()) { | ||
165 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, LogicresultPackage.LOGIC_RESULT__STATISTICS, oldStatistics, newStatistics); | ||
166 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
167 | } | ||
168 | return msgs; | ||
169 | } | ||
170 | |||
171 | /** | ||
172 | * <!-- begin-user-doc --> | ||
173 | * <!-- end-user-doc --> | ||
174 | * @generated | ||
175 | */ | ||
176 | public void setStatistics(Statistics newStatistics) { | ||
177 | if (newStatistics != statistics) { | ||
178 | NotificationChain msgs = null; | ||
179 | if (statistics != null) | ||
180 | msgs = ((InternalEObject)statistics).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - LogicresultPackage.LOGIC_RESULT__STATISTICS, null, msgs); | ||
181 | if (newStatistics != null) | ||
182 | msgs = ((InternalEObject)newStatistics).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - LogicresultPackage.LOGIC_RESULT__STATISTICS, null, msgs); | ||
183 | msgs = basicSetStatistics(newStatistics, msgs); | ||
184 | if (msgs != null) msgs.dispatch(); | ||
185 | } | ||
186 | else if (eNotificationRequired()) | ||
187 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.LOGIC_RESULT__STATISTICS, newStatistics, newStatistics)); | ||
188 | } | ||
189 | |||
190 | /** | ||
191 | * <!-- begin-user-doc --> | ||
192 | * <!-- end-user-doc --> | ||
193 | * @generated | ||
194 | */ | ||
195 | public Object getTrace() { | ||
196 | return trace; | ||
197 | } | ||
198 | |||
199 | /** | ||
200 | * <!-- begin-user-doc --> | ||
201 | * <!-- end-user-doc --> | ||
202 | * @generated | ||
203 | */ | ||
204 | public void setTrace(Object newTrace) { | ||
205 | Object oldTrace = trace; | ||
206 | trace = newTrace; | ||
207 | if (eNotificationRequired()) | ||
208 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.LOGIC_RESULT__TRACE, oldTrace, trace)); | ||
209 | } | ||
210 | |||
211 | /** | ||
212 | * <!-- begin-user-doc --> | ||
213 | * <!-- end-user-doc --> | ||
214 | * @generated | ||
215 | */ | ||
216 | public EList<Object> getRepresentation() { | ||
217 | if (representation == null) { | ||
218 | representation = new EDataTypeUniqueEList<Object>(Object.class, this, LogicresultPackage.LOGIC_RESULT__REPRESENTATION); | ||
219 | } | ||
220 | return representation; | ||
221 | } | ||
222 | |||
223 | /** | ||
224 | * <!-- begin-user-doc --> | ||
225 | * <!-- end-user-doc --> | ||
226 | * @generated | ||
227 | */ | ||
228 | @Override | ||
229 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
230 | switch (featureID) { | ||
231 | case LogicresultPackage.LOGIC_RESULT__STATISTICS: | ||
232 | return basicSetStatistics(null, msgs); | ||
233 | } | ||
234 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
235 | } | ||
236 | |||
237 | /** | ||
238 | * <!-- begin-user-doc --> | ||
239 | * <!-- end-user-doc --> | ||
240 | * @generated | ||
241 | */ | ||
242 | @Override | ||
243 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
244 | switch (featureID) { | ||
245 | case LogicresultPackage.LOGIC_RESULT__PROBLEM: | ||
246 | if (resolve) return getProblem(); | ||
247 | return basicGetProblem(); | ||
248 | case LogicresultPackage.LOGIC_RESULT__STATISTICS: | ||
249 | return getStatistics(); | ||
250 | case LogicresultPackage.LOGIC_RESULT__TRACE: | ||
251 | return getTrace(); | ||
252 | case LogicresultPackage.LOGIC_RESULT__REPRESENTATION: | ||
253 | return getRepresentation(); | ||
254 | } | ||
255 | return super.eGet(featureID, resolve, coreType); | ||
256 | } | ||
257 | |||
258 | /** | ||
259 | * <!-- begin-user-doc --> | ||
260 | * <!-- end-user-doc --> | ||
261 | * @generated | ||
262 | */ | ||
263 | @SuppressWarnings("unchecked") | ||
264 | @Override | ||
265 | public void eSet(int featureID, Object newValue) { | ||
266 | switch (featureID) { | ||
267 | case LogicresultPackage.LOGIC_RESULT__PROBLEM: | ||
268 | setProblem((LogicProblem)newValue); | ||
269 | return; | ||
270 | case LogicresultPackage.LOGIC_RESULT__STATISTICS: | ||
271 | setStatistics((Statistics)newValue); | ||
272 | return; | ||
273 | case LogicresultPackage.LOGIC_RESULT__TRACE: | ||
274 | setTrace(newValue); | ||
275 | return; | ||
276 | case LogicresultPackage.LOGIC_RESULT__REPRESENTATION: | ||
277 | getRepresentation().clear(); | ||
278 | getRepresentation().addAll((Collection<? extends Object>)newValue); | ||
279 | return; | ||
280 | } | ||
281 | super.eSet(featureID, newValue); | ||
282 | } | ||
283 | |||
284 | /** | ||
285 | * <!-- begin-user-doc --> | ||
286 | * <!-- end-user-doc --> | ||
287 | * @generated | ||
288 | */ | ||
289 | @Override | ||
290 | public void eUnset(int featureID) { | ||
291 | switch (featureID) { | ||
292 | case LogicresultPackage.LOGIC_RESULT__PROBLEM: | ||
293 | setProblem((LogicProblem)null); | ||
294 | return; | ||
295 | case LogicresultPackage.LOGIC_RESULT__STATISTICS: | ||
296 | setStatistics((Statistics)null); | ||
297 | return; | ||
298 | case LogicresultPackage.LOGIC_RESULT__TRACE: | ||
299 | setTrace(TRACE_EDEFAULT); | ||
300 | return; | ||
301 | case LogicresultPackage.LOGIC_RESULT__REPRESENTATION: | ||
302 | getRepresentation().clear(); | ||
303 | return; | ||
304 | } | ||
305 | super.eUnset(featureID); | ||
306 | } | ||
307 | |||
308 | /** | ||
309 | * <!-- begin-user-doc --> | ||
310 | * <!-- end-user-doc --> | ||
311 | * @generated | ||
312 | */ | ||
313 | @Override | ||
314 | public boolean eIsSet(int featureID) { | ||
315 | switch (featureID) { | ||
316 | case LogicresultPackage.LOGIC_RESULT__PROBLEM: | ||
317 | return problem != null; | ||
318 | case LogicresultPackage.LOGIC_RESULT__STATISTICS: | ||
319 | return statistics != null; | ||
320 | case LogicresultPackage.LOGIC_RESULT__TRACE: | ||
321 | return TRACE_EDEFAULT == null ? trace != null : !TRACE_EDEFAULT.equals(trace); | ||
322 | case LogicresultPackage.LOGIC_RESULT__REPRESENTATION: | ||
323 | return representation != null && !representation.isEmpty(); | ||
324 | } | ||
325 | return super.eIsSet(featureID); | ||
326 | } | ||
327 | |||
328 | /** | ||
329 | * <!-- begin-user-doc --> | ||
330 | * <!-- end-user-doc --> | ||
331 | * @generated | ||
332 | */ | ||
333 | @Override | ||
334 | public String toString() { | ||
335 | if (eIsProxy()) return super.toString(); | ||
336 | |||
337 | StringBuffer result = new StringBuffer(super.toString()); | ||
338 | result.append(" (trace: "); | ||
339 | result.append(trace); | ||
340 | result.append(", representation: "); | ||
341 | result.append(representation); | ||
342 | result.append(')'); | ||
343 | return result.toString(); | ||
344 | } | ||
345 | |||
346 | } //LogicResultImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultFactoryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultFactoryImpl.java new file mode 100644 index 00000000..5a102523 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultFactoryImpl.java | |||
@@ -0,0 +1,183 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.*; | ||
6 | |||
7 | import org.eclipse.emf.ecore.EClass; | ||
8 | import org.eclipse.emf.ecore.EObject; | ||
9 | import org.eclipse.emf.ecore.EPackage; | ||
10 | |||
11 | import org.eclipse.emf.ecore.impl.EFactoryImpl; | ||
12 | |||
13 | import org.eclipse.emf.ecore.plugin.EcorePlugin; | ||
14 | |||
15 | /** | ||
16 | * <!-- begin-user-doc --> | ||
17 | * An implementation of the model <b>Factory</b>. | ||
18 | * <!-- end-user-doc --> | ||
19 | * @generated | ||
20 | */ | ||
21 | public class LogicresultFactoryImpl extends EFactoryImpl implements LogicresultFactory { | ||
22 | /** | ||
23 | * Creates the default factory implementation. | ||
24 | * <!-- begin-user-doc --> | ||
25 | * <!-- end-user-doc --> | ||
26 | * @generated | ||
27 | */ | ||
28 | public static LogicresultFactory init() { | ||
29 | try { | ||
30 | LogicresultFactory theLogicresultFactory = (LogicresultFactory)EPackage.Registry.INSTANCE.getEFactory(LogicresultPackage.eNS_URI); | ||
31 | if (theLogicresultFactory != null) { | ||
32 | return theLogicresultFactory; | ||
33 | } | ||
34 | } | ||
35 | catch (Exception exception) { | ||
36 | EcorePlugin.INSTANCE.log(exception); | ||
37 | } | ||
38 | return new LogicresultFactoryImpl(); | ||
39 | } | ||
40 | |||
41 | /** | ||
42 | * Creates an instance of the factory. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @generated | ||
46 | */ | ||
47 | public LogicresultFactoryImpl() { | ||
48 | super(); | ||
49 | } | ||
50 | |||
51 | /** | ||
52 | * <!-- begin-user-doc --> | ||
53 | * <!-- end-user-doc --> | ||
54 | * @generated | ||
55 | */ | ||
56 | @Override | ||
57 | public EObject create(EClass eClass) { | ||
58 | switch (eClass.getClassifierID()) { | ||
59 | case LogicresultPackage.MODEL_RESULT: return createModelResult(); | ||
60 | case LogicresultPackage.INCONSISTENCY_RESULT: return createInconsistencyResult(); | ||
61 | case LogicresultPackage.INSUFICIENT_RESOURCES_RESULT: return createInsuficientResourcesResult(); | ||
62 | case LogicresultPackage.ERROR_RESULT: return createErrorResult(); | ||
63 | case LogicresultPackage.STATISTICS: return createStatistics(); | ||
64 | case LogicresultPackage.UNDECIDABLE_RESULT: return createUndecidableResult(); | ||
65 | case LogicresultPackage.INT_STATISTIC_ENTRY: return createIntStatisticEntry(); | ||
66 | case LogicresultPackage.REAL_STATISTIC_ENTRY: return createRealStatisticEntry(); | ||
67 | case LogicresultPackage.STRING_STATISTIC_ENTRY: return createStringStatisticEntry(); | ||
68 | default: | ||
69 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); | ||
70 | } | ||
71 | } | ||
72 | |||
73 | /** | ||
74 | * <!-- begin-user-doc --> | ||
75 | * <!-- end-user-doc --> | ||
76 | * @generated | ||
77 | */ | ||
78 | public ModelResult createModelResult() { | ||
79 | ModelResultImpl modelResult = new ModelResultImpl(); | ||
80 | return modelResult; | ||
81 | } | ||
82 | |||
83 | /** | ||
84 | * <!-- begin-user-doc --> | ||
85 | * <!-- end-user-doc --> | ||
86 | * @generated | ||
87 | */ | ||
88 | public InconsistencyResult createInconsistencyResult() { | ||
89 | InconsistencyResultImpl inconsistencyResult = new InconsistencyResultImpl(); | ||
90 | return inconsistencyResult; | ||
91 | } | ||
92 | |||
93 | /** | ||
94 | * <!-- begin-user-doc --> | ||
95 | * <!-- end-user-doc --> | ||
96 | * @generated | ||
97 | */ | ||
98 | public InsuficientResourcesResult createInsuficientResourcesResult() { | ||
99 | InsuficientResourcesResultImpl insuficientResourcesResult = new InsuficientResourcesResultImpl(); | ||
100 | return insuficientResourcesResult; | ||
101 | } | ||
102 | |||
103 | /** | ||
104 | * <!-- begin-user-doc --> | ||
105 | * <!-- end-user-doc --> | ||
106 | * @generated | ||
107 | */ | ||
108 | public ErrorResult createErrorResult() { | ||
109 | ErrorResultImpl errorResult = new ErrorResultImpl(); | ||
110 | return errorResult; | ||
111 | } | ||
112 | |||
113 | /** | ||
114 | * <!-- begin-user-doc --> | ||
115 | * <!-- end-user-doc --> | ||
116 | * @generated | ||
117 | */ | ||
118 | public Statistics createStatistics() { | ||
119 | StatisticsImpl statistics = new StatisticsImpl(); | ||
120 | return statistics; | ||
121 | } | ||
122 | |||
123 | /** | ||
124 | * <!-- begin-user-doc --> | ||
125 | * <!-- end-user-doc --> | ||
126 | * @generated | ||
127 | */ | ||
128 | public UndecidableResult createUndecidableResult() { | ||
129 | UndecidableResultImpl undecidableResult = new UndecidableResultImpl(); | ||
130 | return undecidableResult; | ||
131 | } | ||
132 | |||
133 | /** | ||
134 | * <!-- begin-user-doc --> | ||
135 | * <!-- end-user-doc --> | ||
136 | * @generated | ||
137 | */ | ||
138 | public IntStatisticEntry createIntStatisticEntry() { | ||
139 | IntStatisticEntryImpl intStatisticEntry = new IntStatisticEntryImpl(); | ||
140 | return intStatisticEntry; | ||
141 | } | ||
142 | |||
143 | /** | ||
144 | * <!-- begin-user-doc --> | ||
145 | * <!-- end-user-doc --> | ||
146 | * @generated | ||
147 | */ | ||
148 | public RealStatisticEntry createRealStatisticEntry() { | ||
149 | RealStatisticEntryImpl realStatisticEntry = new RealStatisticEntryImpl(); | ||
150 | return realStatisticEntry; | ||
151 | } | ||
152 | |||
153 | /** | ||
154 | * <!-- begin-user-doc --> | ||
155 | * <!-- end-user-doc --> | ||
156 | * @generated | ||
157 | */ | ||
158 | public StringStatisticEntry createStringStatisticEntry() { | ||
159 | StringStatisticEntryImpl stringStatisticEntry = new StringStatisticEntryImpl(); | ||
160 | return stringStatisticEntry; | ||
161 | } | ||
162 | |||
163 | /** | ||
164 | * <!-- begin-user-doc --> | ||
165 | * <!-- end-user-doc --> | ||
166 | * @generated | ||
167 | */ | ||
168 | public LogicresultPackage getLogicresultPackage() { | ||
169 | return (LogicresultPackage)getEPackage(); | ||
170 | } | ||
171 | |||
172 | /** | ||
173 | * <!-- begin-user-doc --> | ||
174 | * <!-- end-user-doc --> | ||
175 | * @deprecated | ||
176 | * @generated | ||
177 | */ | ||
178 | @Deprecated | ||
179 | public static LogicresultPackage getPackage() { | ||
180 | return LogicresultPackage.eINSTANCE; | ||
181 | } | ||
182 | |||
183 | } //LogicresultFactoryImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java new file mode 100644 index 00000000..8b0e0605 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java | |||
@@ -0,0 +1,602 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; | ||
6 | |||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl; | ||
8 | |||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
10 | |||
11 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl; | ||
12 | |||
13 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult; | ||
14 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult; | ||
15 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult; | ||
16 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry; | ||
17 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult; | ||
18 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultFactory; | ||
19 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
20 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult; | ||
21 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry; | ||
22 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry; | ||
23 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics; | ||
24 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry; | ||
25 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UndecidableResult; | ||
26 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult; | ||
27 | |||
28 | import org.eclipse.emf.ecore.EAttribute; | ||
29 | import org.eclipse.emf.ecore.EClass; | ||
30 | import org.eclipse.emf.ecore.EPackage; | ||
31 | import org.eclipse.emf.ecore.EReference; | ||
32 | |||
33 | import org.eclipse.emf.ecore.impl.EPackageImpl; | ||
34 | |||
35 | /** | ||
36 | * <!-- begin-user-doc --> | ||
37 | * An implementation of the model <b>Package</b>. | ||
38 | * <!-- end-user-doc --> | ||
39 | * @generated | ||
40 | */ | ||
41 | public class LogicresultPackageImpl extends EPackageImpl implements LogicresultPackage { | ||
42 | /** | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @generated | ||
46 | */ | ||
47 | private EClass logicResultEClass = null; | ||
48 | |||
49 | /** | ||
50 | * <!-- begin-user-doc --> | ||
51 | * <!-- end-user-doc --> | ||
52 | * @generated | ||
53 | */ | ||
54 | private EClass modelResultEClass = null; | ||
55 | |||
56 | /** | ||
57 | * <!-- begin-user-doc --> | ||
58 | * <!-- end-user-doc --> | ||
59 | * @generated | ||
60 | */ | ||
61 | private EClass inconsistencyResultEClass = null; | ||
62 | |||
63 | /** | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @generated | ||
67 | */ | ||
68 | private EClass unknownResultEClass = null; | ||
69 | |||
70 | /** | ||
71 | * <!-- begin-user-doc --> | ||
72 | * <!-- end-user-doc --> | ||
73 | * @generated | ||
74 | */ | ||
75 | private EClass insuficientResourcesResultEClass = null; | ||
76 | |||
77 | /** | ||
78 | * <!-- begin-user-doc --> | ||
79 | * <!-- end-user-doc --> | ||
80 | * @generated | ||
81 | */ | ||
82 | private EClass errorResultEClass = null; | ||
83 | |||
84 | /** | ||
85 | * <!-- begin-user-doc --> | ||
86 | * <!-- end-user-doc --> | ||
87 | * @generated | ||
88 | */ | ||
89 | private EClass statisticsEClass = null; | ||
90 | |||
91 | /** | ||
92 | * <!-- begin-user-doc --> | ||
93 | * <!-- end-user-doc --> | ||
94 | * @generated | ||
95 | */ | ||
96 | private EClass statisticEntryEClass = null; | ||
97 | |||
98 | /** | ||
99 | * <!-- begin-user-doc --> | ||
100 | * <!-- end-user-doc --> | ||
101 | * @generated | ||
102 | */ | ||
103 | private EClass undecidableResultEClass = null; | ||
104 | |||
105 | /** | ||
106 | * <!-- begin-user-doc --> | ||
107 | * <!-- end-user-doc --> | ||
108 | * @generated | ||
109 | */ | ||
110 | private EClass intStatisticEntryEClass = null; | ||
111 | |||
112 | /** | ||
113 | * <!-- begin-user-doc --> | ||
114 | * <!-- end-user-doc --> | ||
115 | * @generated | ||
116 | */ | ||
117 | private EClass realStatisticEntryEClass = null; | ||
118 | |||
119 | /** | ||
120 | * <!-- begin-user-doc --> | ||
121 | * <!-- end-user-doc --> | ||
122 | * @generated | ||
123 | */ | ||
124 | private EClass stringStatisticEntryEClass = null; | ||
125 | |||
126 | /** | ||
127 | * Creates an instance of the model <b>Package</b>, registered with | ||
128 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | ||
129 | * package URI value. | ||
130 | * <p>Note: the correct way to create the package is via the static | ||
131 | * factory method {@link #init init()}, which also performs | ||
132 | * initialization of the package, or returns the registered package, | ||
133 | * if one already exists. | ||
134 | * <!-- begin-user-doc --> | ||
135 | * <!-- end-user-doc --> | ||
136 | * @see org.eclipse.emf.ecore.EPackage.Registry | ||
137 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#eNS_URI | ||
138 | * @see #init() | ||
139 | * @generated | ||
140 | */ | ||
141 | private LogicresultPackageImpl() { | ||
142 | super(eNS_URI, LogicresultFactory.eINSTANCE); | ||
143 | } | ||
144 | |||
145 | /** | ||
146 | * <!-- begin-user-doc --> | ||
147 | * <!-- end-user-doc --> | ||
148 | * @generated | ||
149 | */ | ||
150 | private static boolean isInited = false; | ||
151 | |||
152 | /** | ||
153 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. | ||
154 | * | ||
155 | * <p>This method is used to initialize {@link LogicresultPackage#eINSTANCE} when that field is accessed. | ||
156 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. | ||
157 | * <!-- begin-user-doc --> | ||
158 | * <!-- end-user-doc --> | ||
159 | * @see #eNS_URI | ||
160 | * @see #createPackageContents() | ||
161 | * @see #initializePackageContents() | ||
162 | * @generated | ||
163 | */ | ||
164 | public static LogicresultPackage init() { | ||
165 | if (isInited) return (LogicresultPackage)EPackage.Registry.INSTANCE.getEPackage(LogicresultPackage.eNS_URI); | ||
166 | |||
167 | // Obtain or create and register package | ||
168 | LogicresultPackageImpl theLogicresultPackage = (LogicresultPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof LogicresultPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new LogicresultPackageImpl()); | ||
169 | |||
170 | isInited = true; | ||
171 | |||
172 | // Obtain or create and register interdependencies | ||
173 | LogiclanguagePackageImpl theLogiclanguagePackage = (LogiclanguagePackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI) instanceof LogiclanguagePackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI) : LogiclanguagePackage.eINSTANCE); | ||
174 | LogicproblemPackageImpl theLogicproblemPackage = (LogicproblemPackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI) instanceof LogicproblemPackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI) : LogicproblemPackage.eINSTANCE); | ||
175 | |||
176 | // Create package meta-data objects | ||
177 | theLogicresultPackage.createPackageContents(); | ||
178 | theLogiclanguagePackage.createPackageContents(); | ||
179 | theLogicproblemPackage.createPackageContents(); | ||
180 | |||
181 | // Initialize created meta-data | ||
182 | theLogicresultPackage.initializePackageContents(); | ||
183 | theLogiclanguagePackage.initializePackageContents(); | ||
184 | theLogicproblemPackage.initializePackageContents(); | ||
185 | |||
186 | // Mark meta-data to indicate it can't be changed | ||
187 | theLogicresultPackage.freeze(); | ||
188 | |||
189 | |||
190 | // Update the registry and return the package | ||
191 | EPackage.Registry.INSTANCE.put(LogicresultPackage.eNS_URI, theLogicresultPackage); | ||
192 | return theLogicresultPackage; | ||
193 | } | ||
194 | |||
195 | /** | ||
196 | * <!-- begin-user-doc --> | ||
197 | * <!-- end-user-doc --> | ||
198 | * @generated | ||
199 | */ | ||
200 | public EClass getLogicResult() { | ||
201 | return logicResultEClass; | ||
202 | } | ||
203 | |||
204 | /** | ||
205 | * <!-- begin-user-doc --> | ||
206 | * <!-- end-user-doc --> | ||
207 | * @generated | ||
208 | */ | ||
209 | public EReference getLogicResult_Problem() { | ||
210 | return (EReference)logicResultEClass.getEStructuralFeatures().get(0); | ||
211 | } | ||
212 | |||
213 | /** | ||
214 | * <!-- begin-user-doc --> | ||
215 | * <!-- end-user-doc --> | ||
216 | * @generated | ||
217 | */ | ||
218 | public EReference getLogicResult_Statistics() { | ||
219 | return (EReference)logicResultEClass.getEStructuralFeatures().get(1); | ||
220 | } | ||
221 | |||
222 | /** | ||
223 | * <!-- begin-user-doc --> | ||
224 | * <!-- end-user-doc --> | ||
225 | * @generated | ||
226 | */ | ||
227 | public EAttribute getLogicResult_Trace() { | ||
228 | return (EAttribute)logicResultEClass.getEStructuralFeatures().get(2); | ||
229 | } | ||
230 | |||
231 | /** | ||
232 | * <!-- begin-user-doc --> | ||
233 | * <!-- end-user-doc --> | ||
234 | * @generated | ||
235 | */ | ||
236 | public EAttribute getLogicResult_Representation() { | ||
237 | return (EAttribute)logicResultEClass.getEStructuralFeatures().get(3); | ||
238 | } | ||
239 | |||
240 | /** | ||
241 | * <!-- begin-user-doc --> | ||
242 | * <!-- end-user-doc --> | ||
243 | * @generated | ||
244 | */ | ||
245 | public EClass getModelResult() { | ||
246 | return modelResultEClass; | ||
247 | } | ||
248 | |||
249 | /** | ||
250 | * <!-- begin-user-doc --> | ||
251 | * <!-- end-user-doc --> | ||
252 | * @generated | ||
253 | */ | ||
254 | public EAttribute getModelResult_MaxInteger() { | ||
255 | return (EAttribute)modelResultEClass.getEStructuralFeatures().get(0); | ||
256 | } | ||
257 | |||
258 | /** | ||
259 | * <!-- begin-user-doc --> | ||
260 | * <!-- end-user-doc --> | ||
261 | * @generated | ||
262 | */ | ||
263 | public EAttribute getModelResult_MinInteger() { | ||
264 | return (EAttribute)modelResultEClass.getEStructuralFeatures().get(1); | ||
265 | } | ||
266 | |||
267 | /** | ||
268 | * <!-- begin-user-doc --> | ||
269 | * <!-- end-user-doc --> | ||
270 | * @generated | ||
271 | */ | ||
272 | public EClass getInconsistencyResult() { | ||
273 | return inconsistencyResultEClass; | ||
274 | } | ||
275 | |||
276 | /** | ||
277 | * <!-- begin-user-doc --> | ||
278 | * <!-- end-user-doc --> | ||
279 | * @generated | ||
280 | */ | ||
281 | public EClass getUnknownResult() { | ||
282 | return unknownResultEClass; | ||
283 | } | ||
284 | |||
285 | /** | ||
286 | * <!-- begin-user-doc --> | ||
287 | * <!-- end-user-doc --> | ||
288 | * @generated | ||
289 | */ | ||
290 | public EClass getInsuficientResourcesResult() { | ||
291 | return insuficientResourcesResultEClass; | ||
292 | } | ||
293 | |||
294 | /** | ||
295 | * <!-- begin-user-doc --> | ||
296 | * <!-- end-user-doc --> | ||
297 | * @generated | ||
298 | */ | ||
299 | public EAttribute getInsuficientResourcesResult_ResourceName() { | ||
300 | return (EAttribute)insuficientResourcesResultEClass.getEStructuralFeatures().get(0); | ||
301 | } | ||
302 | |||
303 | /** | ||
304 | * <!-- begin-user-doc --> | ||
305 | * <!-- end-user-doc --> | ||
306 | * @generated | ||
307 | */ | ||
308 | public EClass getErrorResult() { | ||
309 | return errorResultEClass; | ||
310 | } | ||
311 | |||
312 | /** | ||
313 | * <!-- begin-user-doc --> | ||
314 | * <!-- end-user-doc --> | ||
315 | * @generated | ||
316 | */ | ||
317 | public EAttribute getErrorResult_Message() { | ||
318 | return (EAttribute)errorResultEClass.getEStructuralFeatures().get(0); | ||
319 | } | ||
320 | |||
321 | /** | ||
322 | * <!-- begin-user-doc --> | ||
323 | * <!-- end-user-doc --> | ||
324 | * @generated | ||
325 | */ | ||
326 | public EClass getStatistics() { | ||
327 | return statisticsEClass; | ||
328 | } | ||
329 | |||
330 | /** | ||
331 | * <!-- begin-user-doc --> | ||
332 | * <!-- end-user-doc --> | ||
333 | * @generated | ||
334 | */ | ||
335 | public EReference getStatistics_Entries() { | ||
336 | return (EReference)statisticsEClass.getEStructuralFeatures().get(0); | ||
337 | } | ||
338 | |||
339 | /** | ||
340 | * <!-- begin-user-doc --> | ||
341 | * <!-- end-user-doc --> | ||
342 | * @generated | ||
343 | */ | ||
344 | public EAttribute getStatistics_TransformationTime() { | ||
345 | return (EAttribute)statisticsEClass.getEStructuralFeatures().get(1); | ||
346 | } | ||
347 | |||
348 | /** | ||
349 | * <!-- begin-user-doc --> | ||
350 | * <!-- end-user-doc --> | ||
351 | * @generated | ||
352 | */ | ||
353 | public EAttribute getStatistics_SolverTime() { | ||
354 | return (EAttribute)statisticsEClass.getEStructuralFeatures().get(2); | ||
355 | } | ||
356 | |||
357 | /** | ||
358 | * <!-- begin-user-doc --> | ||
359 | * <!-- end-user-doc --> | ||
360 | * @generated | ||
361 | */ | ||
362 | public EAttribute getStatistics_SolverMemory() { | ||
363 | return (EAttribute)statisticsEClass.getEStructuralFeatures().get(3); | ||
364 | } | ||
365 | |||
366 | /** | ||
367 | * <!-- begin-user-doc --> | ||
368 | * <!-- end-user-doc --> | ||
369 | * @generated | ||
370 | */ | ||
371 | public EClass getStatisticEntry() { | ||
372 | return statisticEntryEClass; | ||
373 | } | ||
374 | |||
375 | /** | ||
376 | * <!-- begin-user-doc --> | ||
377 | * <!-- end-user-doc --> | ||
378 | * @generated | ||
379 | */ | ||
380 | public EAttribute getStatisticEntry_Name() { | ||
381 | return (EAttribute)statisticEntryEClass.getEStructuralFeatures().get(0); | ||
382 | } | ||
383 | |||
384 | /** | ||
385 | * <!-- begin-user-doc --> | ||
386 | * <!-- end-user-doc --> | ||
387 | * @generated | ||
388 | */ | ||
389 | public EClass getUndecidableResult() { | ||
390 | return undecidableResultEClass; | ||
391 | } | ||
392 | |||
393 | /** | ||
394 | * <!-- begin-user-doc --> | ||
395 | * <!-- end-user-doc --> | ||
396 | * @generated | ||
397 | */ | ||
398 | public EClass getIntStatisticEntry() { | ||
399 | return intStatisticEntryEClass; | ||
400 | } | ||
401 | |||
402 | /** | ||
403 | * <!-- begin-user-doc --> | ||
404 | * <!-- end-user-doc --> | ||
405 | * @generated | ||
406 | */ | ||
407 | public EAttribute getIntStatisticEntry_Value() { | ||
408 | return (EAttribute)intStatisticEntryEClass.getEStructuralFeatures().get(0); | ||
409 | } | ||
410 | |||
411 | /** | ||
412 | * <!-- begin-user-doc --> | ||
413 | * <!-- end-user-doc --> | ||
414 | * @generated | ||
415 | */ | ||
416 | public EClass getRealStatisticEntry() { | ||
417 | return realStatisticEntryEClass; | ||
418 | } | ||
419 | |||
420 | /** | ||
421 | * <!-- begin-user-doc --> | ||
422 | * <!-- end-user-doc --> | ||
423 | * @generated | ||
424 | */ | ||
425 | public EAttribute getRealStatisticEntry_Value() { | ||
426 | return (EAttribute)realStatisticEntryEClass.getEStructuralFeatures().get(0); | ||
427 | } | ||
428 | |||
429 | /** | ||
430 | * <!-- begin-user-doc --> | ||
431 | * <!-- end-user-doc --> | ||
432 | * @generated | ||
433 | */ | ||
434 | public EClass getStringStatisticEntry() { | ||
435 | return stringStatisticEntryEClass; | ||
436 | } | ||
437 | |||
438 | /** | ||
439 | * <!-- begin-user-doc --> | ||
440 | * <!-- end-user-doc --> | ||
441 | * @generated | ||
442 | */ | ||
443 | public EAttribute getStringStatisticEntry_Value() { | ||
444 | return (EAttribute)stringStatisticEntryEClass.getEStructuralFeatures().get(0); | ||
445 | } | ||
446 | |||
447 | /** | ||
448 | * <!-- begin-user-doc --> | ||
449 | * <!-- end-user-doc --> | ||
450 | * @generated | ||
451 | */ | ||
452 | public LogicresultFactory getLogicresultFactory() { | ||
453 | return (LogicresultFactory)getEFactoryInstance(); | ||
454 | } | ||
455 | |||
456 | /** | ||
457 | * <!-- begin-user-doc --> | ||
458 | * <!-- end-user-doc --> | ||
459 | * @generated | ||
460 | */ | ||
461 | private boolean isCreated = false; | ||
462 | |||
463 | /** | ||
464 | * Creates the meta-model objects for the package. This method is | ||
465 | * guarded to have no affect on any invocation but its first. | ||
466 | * <!-- begin-user-doc --> | ||
467 | * <!-- end-user-doc --> | ||
468 | * @generated | ||
469 | */ | ||
470 | public void createPackageContents() { | ||
471 | if (isCreated) return; | ||
472 | isCreated = true; | ||
473 | |||
474 | // Create classes and their features | ||
475 | logicResultEClass = createEClass(LOGIC_RESULT); | ||
476 | createEReference(logicResultEClass, LOGIC_RESULT__PROBLEM); | ||
477 | createEReference(logicResultEClass, LOGIC_RESULT__STATISTICS); | ||
478 | createEAttribute(logicResultEClass, LOGIC_RESULT__TRACE); | ||
479 | createEAttribute(logicResultEClass, LOGIC_RESULT__REPRESENTATION); | ||
480 | |||
481 | modelResultEClass = createEClass(MODEL_RESULT); | ||
482 | createEAttribute(modelResultEClass, MODEL_RESULT__MAX_INTEGER); | ||
483 | createEAttribute(modelResultEClass, MODEL_RESULT__MIN_INTEGER); | ||
484 | |||
485 | inconsistencyResultEClass = createEClass(INCONSISTENCY_RESULT); | ||
486 | |||
487 | unknownResultEClass = createEClass(UNKNOWN_RESULT); | ||
488 | |||
489 | insuficientResourcesResultEClass = createEClass(INSUFICIENT_RESOURCES_RESULT); | ||
490 | createEAttribute(insuficientResourcesResultEClass, INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME); | ||
491 | |||
492 | errorResultEClass = createEClass(ERROR_RESULT); | ||
493 | createEAttribute(errorResultEClass, ERROR_RESULT__MESSAGE); | ||
494 | |||
495 | statisticsEClass = createEClass(STATISTICS); | ||
496 | createEReference(statisticsEClass, STATISTICS__ENTRIES); | ||
497 | createEAttribute(statisticsEClass, STATISTICS__TRANSFORMATION_TIME); | ||
498 | createEAttribute(statisticsEClass, STATISTICS__SOLVER_TIME); | ||
499 | createEAttribute(statisticsEClass, STATISTICS__SOLVER_MEMORY); | ||
500 | |||
501 | statisticEntryEClass = createEClass(STATISTIC_ENTRY); | ||
502 | createEAttribute(statisticEntryEClass, STATISTIC_ENTRY__NAME); | ||
503 | |||
504 | undecidableResultEClass = createEClass(UNDECIDABLE_RESULT); | ||
505 | |||
506 | intStatisticEntryEClass = createEClass(INT_STATISTIC_ENTRY); | ||
507 | createEAttribute(intStatisticEntryEClass, INT_STATISTIC_ENTRY__VALUE); | ||
508 | |||
509 | realStatisticEntryEClass = createEClass(REAL_STATISTIC_ENTRY); | ||
510 | createEAttribute(realStatisticEntryEClass, REAL_STATISTIC_ENTRY__VALUE); | ||
511 | |||
512 | stringStatisticEntryEClass = createEClass(STRING_STATISTIC_ENTRY); | ||
513 | createEAttribute(stringStatisticEntryEClass, STRING_STATISTIC_ENTRY__VALUE); | ||
514 | } | ||
515 | |||
516 | /** | ||
517 | * <!-- begin-user-doc --> | ||
518 | * <!-- end-user-doc --> | ||
519 | * @generated | ||
520 | */ | ||
521 | private boolean isInitialized = false; | ||
522 | |||
523 | /** | ||
524 | * Complete the initialization of the package and its meta-model. This | ||
525 | * method is guarded to have no affect on any invocation but its first. | ||
526 | * <!-- begin-user-doc --> | ||
527 | * <!-- end-user-doc --> | ||
528 | * @generated | ||
529 | */ | ||
530 | public void initializePackageContents() { | ||
531 | if (isInitialized) return; | ||
532 | isInitialized = true; | ||
533 | |||
534 | // Initialize package | ||
535 | setName(eNAME); | ||
536 | setNsPrefix(eNS_PREFIX); | ||
537 | setNsURI(eNS_URI); | ||
538 | |||
539 | // Obtain other dependent packages | ||
540 | LogicproblemPackage theLogicproblemPackage = (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI); | ||
541 | |||
542 | // Create type parameters | ||
543 | |||
544 | // Set bounds for type parameters | ||
545 | |||
546 | // Add supertypes to classes | ||
547 | modelResultEClass.getESuperTypes().add(this.getLogicResult()); | ||
548 | inconsistencyResultEClass.getESuperTypes().add(this.getLogicResult()); | ||
549 | unknownResultEClass.getESuperTypes().add(this.getLogicResult()); | ||
550 | insuficientResourcesResultEClass.getESuperTypes().add(this.getUnknownResult()); | ||
551 | errorResultEClass.getESuperTypes().add(this.getUnknownResult()); | ||
552 | undecidableResultEClass.getESuperTypes().add(this.getUnknownResult()); | ||
553 | intStatisticEntryEClass.getESuperTypes().add(this.getStatisticEntry()); | ||
554 | realStatisticEntryEClass.getESuperTypes().add(this.getStatisticEntry()); | ||
555 | stringStatisticEntryEClass.getESuperTypes().add(this.getStatisticEntry()); | ||
556 | |||
557 | // Initialize classes, features, and operations; add parameters | ||
558 | initEClass(logicResultEClass, LogicResult.class, "LogicResult", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
559 | initEReference(getLogicResult_Problem(), theLogicproblemPackage.getLogicProblem(), null, "problem", null, 0, 1, LogicResult.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
560 | initEReference(getLogicResult_Statistics(), this.getStatistics(), null, "statistics", null, 0, 1, LogicResult.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
561 | initEAttribute(getLogicResult_Trace(), ecorePackage.getEJavaObject(), "trace", null, 0, 1, LogicResult.class, IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
562 | initEAttribute(getLogicResult_Representation(), ecorePackage.getEJavaObject(), "representation", null, 0, -1, LogicResult.class, IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
563 | |||
564 | initEClass(modelResultEClass, ModelResult.class, "ModelResult", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
565 | initEAttribute(getModelResult_MaxInteger(), ecorePackage.getEInt(), "maxInteger", null, 1, 1, ModelResult.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
566 | initEAttribute(getModelResult_MinInteger(), ecorePackage.getEInt(), "minInteger", null, 1, 1, ModelResult.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
567 | |||
568 | initEClass(inconsistencyResultEClass, InconsistencyResult.class, "InconsistencyResult", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
569 | |||
570 | initEClass(unknownResultEClass, UnknownResult.class, "UnknownResult", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
571 | |||
572 | initEClass(insuficientResourcesResultEClass, InsuficientResourcesResult.class, "InsuficientResourcesResult", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
573 | initEAttribute(getInsuficientResourcesResult_ResourceName(), ecorePackage.getEString(), "resourceName", null, 1, 1, InsuficientResourcesResult.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
574 | |||
575 | initEClass(errorResultEClass, ErrorResult.class, "ErrorResult", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
576 | initEAttribute(getErrorResult_Message(), ecorePackage.getEString(), "message", null, 1, 1, ErrorResult.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
577 | |||
578 | initEClass(statisticsEClass, Statistics.class, "Statistics", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
579 | initEReference(getStatistics_Entries(), this.getStatisticEntry(), null, "entries", null, 0, -1, Statistics.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
580 | initEAttribute(getStatistics_TransformationTime(), ecorePackage.getEInt(), "transformationTime", "-1", 1, 1, Statistics.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
581 | initEAttribute(getStatistics_SolverTime(), ecorePackage.getEInt(), "solverTime", "-1", 1, 1, Statistics.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
582 | initEAttribute(getStatistics_SolverMemory(), ecorePackage.getEInt(), "solverMemory", "-1", 0, 1, Statistics.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
583 | |||
584 | initEClass(statisticEntryEClass, StatisticEntry.class, "StatisticEntry", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
585 | initEAttribute(getStatisticEntry_Name(), ecorePackage.getEString(), "name", null, 1, 1, StatisticEntry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
586 | |||
587 | initEClass(undecidableResultEClass, UndecidableResult.class, "UndecidableResult", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
588 | |||
589 | initEClass(intStatisticEntryEClass, IntStatisticEntry.class, "IntStatisticEntry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
590 | initEAttribute(getIntStatisticEntry_Value(), ecorePackage.getEInt(), "value", null, 1, 1, IntStatisticEntry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
591 | |||
592 | initEClass(realStatisticEntryEClass, RealStatisticEntry.class, "RealStatisticEntry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
593 | initEAttribute(getRealStatisticEntry_Value(), ecorePackage.getEDouble(), "value", null, 1, 1, RealStatisticEntry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
594 | |||
595 | initEClass(stringStatisticEntryEClass, StringStatisticEntry.class, "StringStatisticEntry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
596 | initEAttribute(getStringStatisticEntry_Value(), ecorePackage.getEString(), "value", "Unfilled", 1, 1, StringStatisticEntry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
597 | |||
598 | // Create resource | ||
599 | createResource(eNS_URI); | ||
600 | } | ||
601 | |||
602 | } //LogicresultPackageImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ModelResultImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ModelResultImpl.java new file mode 100644 index 00000000..63a15a81 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ModelResultImpl.java | |||
@@ -0,0 +1,216 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Notification; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EClass; | ||
11 | |||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
13 | |||
14 | /** | ||
15 | * <!-- begin-user-doc --> | ||
16 | * An implementation of the model object '<em><b>Model Result</b></em>'. | ||
17 | * <!-- end-user-doc --> | ||
18 | * <p> | ||
19 | * The following features are implemented: | ||
20 | * </p> | ||
21 | * <ul> | ||
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ModelResultImpl#getMaxInteger <em>Max Integer</em>}</li> | ||
23 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ModelResultImpl#getMinInteger <em>Min Integer</em>}</li> | ||
24 | * </ul> | ||
25 | * | ||
26 | * @generated | ||
27 | */ | ||
28 | public class ModelResultImpl extends LogicResultImpl implements ModelResult { | ||
29 | /** | ||
30 | * The default value of the '{@link #getMaxInteger() <em>Max Integer</em>}' attribute. | ||
31 | * <!-- begin-user-doc --> | ||
32 | * <!-- end-user-doc --> | ||
33 | * @see #getMaxInteger() | ||
34 | * @generated | ||
35 | * @ordered | ||
36 | */ | ||
37 | protected static final int MAX_INTEGER_EDEFAULT = 0; | ||
38 | |||
39 | /** | ||
40 | * The cached value of the '{@link #getMaxInteger() <em>Max Integer</em>}' attribute. | ||
41 | * <!-- begin-user-doc --> | ||
42 | * <!-- end-user-doc --> | ||
43 | * @see #getMaxInteger() | ||
44 | * @generated | ||
45 | * @ordered | ||
46 | */ | ||
47 | protected int maxInteger = MAX_INTEGER_EDEFAULT; | ||
48 | |||
49 | /** | ||
50 | * The default value of the '{@link #getMinInteger() <em>Min Integer</em>}' attribute. | ||
51 | * <!-- begin-user-doc --> | ||
52 | * <!-- end-user-doc --> | ||
53 | * @see #getMinInteger() | ||
54 | * @generated | ||
55 | * @ordered | ||
56 | */ | ||
57 | protected static final int MIN_INTEGER_EDEFAULT = 0; | ||
58 | |||
59 | /** | ||
60 | * The cached value of the '{@link #getMinInteger() <em>Min Integer</em>}' attribute. | ||
61 | * <!-- begin-user-doc --> | ||
62 | * <!-- end-user-doc --> | ||
63 | * @see #getMinInteger() | ||
64 | * @generated | ||
65 | * @ordered | ||
66 | */ | ||
67 | protected int minInteger = MIN_INTEGER_EDEFAULT; | ||
68 | |||
69 | /** | ||
70 | * <!-- begin-user-doc --> | ||
71 | * <!-- end-user-doc --> | ||
72 | * @generated | ||
73 | */ | ||
74 | protected ModelResultImpl() { | ||
75 | super(); | ||
76 | } | ||
77 | |||
78 | /** | ||
79 | * <!-- begin-user-doc --> | ||
80 | * <!-- end-user-doc --> | ||
81 | * @generated | ||
82 | */ | ||
83 | @Override | ||
84 | protected EClass eStaticClass() { | ||
85 | return LogicresultPackage.Literals.MODEL_RESULT; | ||
86 | } | ||
87 | |||
88 | /** | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | */ | ||
93 | public int getMaxInteger() { | ||
94 | return maxInteger; | ||
95 | } | ||
96 | |||
97 | /** | ||
98 | * <!-- begin-user-doc --> | ||
99 | * <!-- end-user-doc --> | ||
100 | * @generated | ||
101 | */ | ||
102 | public void setMaxInteger(int newMaxInteger) { | ||
103 | int oldMaxInteger = maxInteger; | ||
104 | maxInteger = newMaxInteger; | ||
105 | if (eNotificationRequired()) | ||
106 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.MODEL_RESULT__MAX_INTEGER, oldMaxInteger, maxInteger)); | ||
107 | } | ||
108 | |||
109 | /** | ||
110 | * <!-- begin-user-doc --> | ||
111 | * <!-- end-user-doc --> | ||
112 | * @generated | ||
113 | */ | ||
114 | public int getMinInteger() { | ||
115 | return minInteger; | ||
116 | } | ||
117 | |||
118 | /** | ||
119 | * <!-- begin-user-doc --> | ||
120 | * <!-- end-user-doc --> | ||
121 | * @generated | ||
122 | */ | ||
123 | public void setMinInteger(int newMinInteger) { | ||
124 | int oldMinInteger = minInteger; | ||
125 | minInteger = newMinInteger; | ||
126 | if (eNotificationRequired()) | ||
127 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.MODEL_RESULT__MIN_INTEGER, oldMinInteger, minInteger)); | ||
128 | } | ||
129 | |||
130 | /** | ||
131 | * <!-- begin-user-doc --> | ||
132 | * <!-- end-user-doc --> | ||
133 | * @generated | ||
134 | */ | ||
135 | @Override | ||
136 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
137 | switch (featureID) { | ||
138 | case LogicresultPackage.MODEL_RESULT__MAX_INTEGER: | ||
139 | return getMaxInteger(); | ||
140 | case LogicresultPackage.MODEL_RESULT__MIN_INTEGER: | ||
141 | return getMinInteger(); | ||
142 | } | ||
143 | return super.eGet(featureID, resolve, coreType); | ||
144 | } | ||
145 | |||
146 | /** | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | @Override | ||
152 | public void eSet(int featureID, Object newValue) { | ||
153 | switch (featureID) { | ||
154 | case LogicresultPackage.MODEL_RESULT__MAX_INTEGER: | ||
155 | setMaxInteger((Integer)newValue); | ||
156 | return; | ||
157 | case LogicresultPackage.MODEL_RESULT__MIN_INTEGER: | ||
158 | setMinInteger((Integer)newValue); | ||
159 | return; | ||
160 | } | ||
161 | super.eSet(featureID, newValue); | ||
162 | } | ||
163 | |||
164 | /** | ||
165 | * <!-- begin-user-doc --> | ||
166 | * <!-- end-user-doc --> | ||
167 | * @generated | ||
168 | */ | ||
169 | @Override | ||
170 | public void eUnset(int featureID) { | ||
171 | switch (featureID) { | ||
172 | case LogicresultPackage.MODEL_RESULT__MAX_INTEGER: | ||
173 | setMaxInteger(MAX_INTEGER_EDEFAULT); | ||
174 | return; | ||
175 | case LogicresultPackage.MODEL_RESULT__MIN_INTEGER: | ||
176 | setMinInteger(MIN_INTEGER_EDEFAULT); | ||
177 | return; | ||
178 | } | ||
179 | super.eUnset(featureID); | ||
180 | } | ||
181 | |||
182 | /** | ||
183 | * <!-- begin-user-doc --> | ||
184 | * <!-- end-user-doc --> | ||
185 | * @generated | ||
186 | */ | ||
187 | @Override | ||
188 | public boolean eIsSet(int featureID) { | ||
189 | switch (featureID) { | ||
190 | case LogicresultPackage.MODEL_RESULT__MAX_INTEGER: | ||
191 | return maxInteger != MAX_INTEGER_EDEFAULT; | ||
192 | case LogicresultPackage.MODEL_RESULT__MIN_INTEGER: | ||
193 | return minInteger != MIN_INTEGER_EDEFAULT; | ||
194 | } | ||
195 | return super.eIsSet(featureID); | ||
196 | } | ||
197 | |||
198 | /** | ||
199 | * <!-- begin-user-doc --> | ||
200 | * <!-- end-user-doc --> | ||
201 | * @generated | ||
202 | */ | ||
203 | @Override | ||
204 | public String toString() { | ||
205 | if (eIsProxy()) return super.toString(); | ||
206 | |||
207 | StringBuffer result = new StringBuffer(super.toString()); | ||
208 | result.append(" (maxInteger: "); | ||
209 | result.append(maxInteger); | ||
210 | result.append(", minInteger: "); | ||
211 | result.append(minInteger); | ||
212 | result.append(')'); | ||
213 | return result.toString(); | ||
214 | } | ||
215 | |||
216 | } //ModelResultImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/RealStatisticEntryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/RealStatisticEntryImpl.java new file mode 100644 index 00000000..ed09f0df --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/RealStatisticEntryImpl.java | |||
@@ -0,0 +1,162 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Notification; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EClass; | ||
11 | |||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
13 | |||
14 | /** | ||
15 | * <!-- begin-user-doc --> | ||
16 | * An implementation of the model object '<em><b>Real Statistic Entry</b></em>'. | ||
17 | * <!-- end-user-doc --> | ||
18 | * <p> | ||
19 | * The following features are implemented: | ||
20 | * </p> | ||
21 | * <ul> | ||
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.RealStatisticEntryImpl#getValue <em>Value</em>}</li> | ||
23 | * </ul> | ||
24 | * | ||
25 | * @generated | ||
26 | */ | ||
27 | public class RealStatisticEntryImpl extends StatisticEntryImpl implements RealStatisticEntry { | ||
28 | /** | ||
29 | * The default value of the '{@link #getValue() <em>Value</em>}' attribute. | ||
30 | * <!-- begin-user-doc --> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @see #getValue() | ||
33 | * @generated | ||
34 | * @ordered | ||
35 | */ | ||
36 | protected static final double VALUE_EDEFAULT = 0.0; | ||
37 | |||
38 | /** | ||
39 | * The cached value of the '{@link #getValue() <em>Value</em>}' attribute. | ||
40 | * <!-- begin-user-doc --> | ||
41 | * <!-- end-user-doc --> | ||
42 | * @see #getValue() | ||
43 | * @generated | ||
44 | * @ordered | ||
45 | */ | ||
46 | protected double value = VALUE_EDEFAULT; | ||
47 | |||
48 | /** | ||
49 | * <!-- begin-user-doc --> | ||
50 | * <!-- end-user-doc --> | ||
51 | * @generated | ||
52 | */ | ||
53 | protected RealStatisticEntryImpl() { | ||
54 | super(); | ||
55 | } | ||
56 | |||
57 | /** | ||
58 | * <!-- begin-user-doc --> | ||
59 | * <!-- end-user-doc --> | ||
60 | * @generated | ||
61 | */ | ||
62 | @Override | ||
63 | protected EClass eStaticClass() { | ||
64 | return LogicresultPackage.Literals.REAL_STATISTIC_ENTRY; | ||
65 | } | ||
66 | |||
67 | /** | ||
68 | * <!-- begin-user-doc --> | ||
69 | * <!-- end-user-doc --> | ||
70 | * @generated | ||
71 | */ | ||
72 | public double getValue() { | ||
73 | return value; | ||
74 | } | ||
75 | |||
76 | /** | ||
77 | * <!-- begin-user-doc --> | ||
78 | * <!-- end-user-doc --> | ||
79 | * @generated | ||
80 | */ | ||
81 | public void setValue(double newValue) { | ||
82 | double oldValue = value; | ||
83 | value = newValue; | ||
84 | if (eNotificationRequired()) | ||
85 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.REAL_STATISTIC_ENTRY__VALUE, oldValue, value)); | ||
86 | } | ||
87 | |||
88 | /** | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | */ | ||
93 | @Override | ||
94 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
95 | switch (featureID) { | ||
96 | case LogicresultPackage.REAL_STATISTIC_ENTRY__VALUE: | ||
97 | return getValue(); | ||
98 | } | ||
99 | return super.eGet(featureID, resolve, coreType); | ||
100 | } | ||
101 | |||
102 | /** | ||
103 | * <!-- begin-user-doc --> | ||
104 | * <!-- end-user-doc --> | ||
105 | * @generated | ||
106 | */ | ||
107 | @Override | ||
108 | public void eSet(int featureID, Object newValue) { | ||
109 | switch (featureID) { | ||
110 | case LogicresultPackage.REAL_STATISTIC_ENTRY__VALUE: | ||
111 | setValue((Double)newValue); | ||
112 | return; | ||
113 | } | ||
114 | super.eSet(featureID, newValue); | ||
115 | } | ||
116 | |||
117 | /** | ||
118 | * <!-- begin-user-doc --> | ||
119 | * <!-- end-user-doc --> | ||
120 | * @generated | ||
121 | */ | ||
122 | @Override | ||
123 | public void eUnset(int featureID) { | ||
124 | switch (featureID) { | ||
125 | case LogicresultPackage.REAL_STATISTIC_ENTRY__VALUE: | ||
126 | setValue(VALUE_EDEFAULT); | ||
127 | return; | ||
128 | } | ||
129 | super.eUnset(featureID); | ||
130 | } | ||
131 | |||
132 | /** | ||
133 | * <!-- begin-user-doc --> | ||
134 | * <!-- end-user-doc --> | ||
135 | * @generated | ||
136 | */ | ||
137 | @Override | ||
138 | public boolean eIsSet(int featureID) { | ||
139 | switch (featureID) { | ||
140 | case LogicresultPackage.REAL_STATISTIC_ENTRY__VALUE: | ||
141 | return value != VALUE_EDEFAULT; | ||
142 | } | ||
143 | return super.eIsSet(featureID); | ||
144 | } | ||
145 | |||
146 | /** | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | @Override | ||
152 | public String toString() { | ||
153 | if (eIsProxy()) return super.toString(); | ||
154 | |||
155 | StringBuffer result = new StringBuffer(super.toString()); | ||
156 | result.append(" (value: "); | ||
157 | result.append(value); | ||
158 | result.append(')'); | ||
159 | return result.toString(); | ||
160 | } | ||
161 | |||
162 | } //RealStatisticEntryImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StatisticEntryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StatisticEntryImpl.java new file mode 100644 index 00000000..bc1c5a92 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StatisticEntryImpl.java | |||
@@ -0,0 +1,163 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Notification; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EClass; | ||
11 | |||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
13 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
14 | |||
15 | /** | ||
16 | * <!-- begin-user-doc --> | ||
17 | * An implementation of the model object '<em><b>Statistic Entry</b></em>'. | ||
18 | * <!-- end-user-doc --> | ||
19 | * <p> | ||
20 | * The following features are implemented: | ||
21 | * </p> | ||
22 | * <ul> | ||
23 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticEntryImpl#getName <em>Name</em>}</li> | ||
24 | * </ul> | ||
25 | * | ||
26 | * @generated | ||
27 | */ | ||
28 | public abstract class StatisticEntryImpl extends MinimalEObjectImpl.Container implements StatisticEntry { | ||
29 | /** | ||
30 | * The default value of the '{@link #getName() <em>Name</em>}' attribute. | ||
31 | * <!-- begin-user-doc --> | ||
32 | * <!-- end-user-doc --> | ||
33 | * @see #getName() | ||
34 | * @generated | ||
35 | * @ordered | ||
36 | */ | ||
37 | protected static final String NAME_EDEFAULT = null; | ||
38 | |||
39 | /** | ||
40 | * The cached value of the '{@link #getName() <em>Name</em>}' attribute. | ||
41 | * <!-- begin-user-doc --> | ||
42 | * <!-- end-user-doc --> | ||
43 | * @see #getName() | ||
44 | * @generated | ||
45 | * @ordered | ||
46 | */ | ||
47 | protected String name = NAME_EDEFAULT; | ||
48 | |||
49 | /** | ||
50 | * <!-- begin-user-doc --> | ||
51 | * <!-- end-user-doc --> | ||
52 | * @generated | ||
53 | */ | ||
54 | protected StatisticEntryImpl() { | ||
55 | super(); | ||
56 | } | ||
57 | |||
58 | /** | ||
59 | * <!-- begin-user-doc --> | ||
60 | * <!-- end-user-doc --> | ||
61 | * @generated | ||
62 | */ | ||
63 | @Override | ||
64 | protected EClass eStaticClass() { | ||
65 | return LogicresultPackage.Literals.STATISTIC_ENTRY; | ||
66 | } | ||
67 | |||
68 | /** | ||
69 | * <!-- begin-user-doc --> | ||
70 | * <!-- end-user-doc --> | ||
71 | * @generated | ||
72 | */ | ||
73 | public String getName() { | ||
74 | return name; | ||
75 | } | ||
76 | |||
77 | /** | ||
78 | * <!-- begin-user-doc --> | ||
79 | * <!-- end-user-doc --> | ||
80 | * @generated | ||
81 | */ | ||
82 | public void setName(String newName) { | ||
83 | String oldName = name; | ||
84 | name = newName; | ||
85 | if (eNotificationRequired()) | ||
86 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.STATISTIC_ENTRY__NAME, oldName, name)); | ||
87 | } | ||
88 | |||
89 | /** | ||
90 | * <!-- begin-user-doc --> | ||
91 | * <!-- end-user-doc --> | ||
92 | * @generated | ||
93 | */ | ||
94 | @Override | ||
95 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
96 | switch (featureID) { | ||
97 | case LogicresultPackage.STATISTIC_ENTRY__NAME: | ||
98 | return getName(); | ||
99 | } | ||
100 | return super.eGet(featureID, resolve, coreType); | ||
101 | } | ||
102 | |||
103 | /** | ||
104 | * <!-- begin-user-doc --> | ||
105 | * <!-- end-user-doc --> | ||
106 | * @generated | ||
107 | */ | ||
108 | @Override | ||
109 | public void eSet(int featureID, Object newValue) { | ||
110 | switch (featureID) { | ||
111 | case LogicresultPackage.STATISTIC_ENTRY__NAME: | ||
112 | setName((String)newValue); | ||
113 | return; | ||
114 | } | ||
115 | super.eSet(featureID, newValue); | ||
116 | } | ||
117 | |||
118 | /** | ||
119 | * <!-- begin-user-doc --> | ||
120 | * <!-- end-user-doc --> | ||
121 | * @generated | ||
122 | */ | ||
123 | @Override | ||
124 | public void eUnset(int featureID) { | ||
125 | switch (featureID) { | ||
126 | case LogicresultPackage.STATISTIC_ENTRY__NAME: | ||
127 | setName(NAME_EDEFAULT); | ||
128 | return; | ||
129 | } | ||
130 | super.eUnset(featureID); | ||
131 | } | ||
132 | |||
133 | /** | ||
134 | * <!-- begin-user-doc --> | ||
135 | * <!-- end-user-doc --> | ||
136 | * @generated | ||
137 | */ | ||
138 | @Override | ||
139 | public boolean eIsSet(int featureID) { | ||
140 | switch (featureID) { | ||
141 | case LogicresultPackage.STATISTIC_ENTRY__NAME: | ||
142 | return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name); | ||
143 | } | ||
144 | return super.eIsSet(featureID); | ||
145 | } | ||
146 | |||
147 | /** | ||
148 | * <!-- begin-user-doc --> | ||
149 | * <!-- end-user-doc --> | ||
150 | * @generated | ||
151 | */ | ||
152 | @Override | ||
153 | public String toString() { | ||
154 | if (eIsProxy()) return super.toString(); | ||
155 | |||
156 | StringBuffer result = new StringBuffer(super.toString()); | ||
157 | result.append(" (name: "); | ||
158 | result.append(name); | ||
159 | result.append(')'); | ||
160 | return result.toString(); | ||
161 | } | ||
162 | |||
163 | } //StatisticEntryImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StatisticsImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StatisticsImpl.java new file mode 100644 index 00000000..77d43c97 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StatisticsImpl.java | |||
@@ -0,0 +1,330 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry; | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics; | ||
8 | |||
9 | import java.util.Collection; | ||
10 | |||
11 | import org.eclipse.emf.common.notify.Notification; | ||
12 | import org.eclipse.emf.common.notify.NotificationChain; | ||
13 | |||
14 | import org.eclipse.emf.common.util.EList; | ||
15 | |||
16 | import org.eclipse.emf.ecore.EClass; | ||
17 | import org.eclipse.emf.ecore.InternalEObject; | ||
18 | |||
19 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
20 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
21 | |||
22 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; | ||
23 | import org.eclipse.emf.ecore.util.InternalEList; | ||
24 | |||
25 | /** | ||
26 | * <!-- begin-user-doc --> | ||
27 | * An implementation of the model object '<em><b>Statistics</b></em>'. | ||
28 | * <!-- end-user-doc --> | ||
29 | * <p> | ||
30 | * The following features are implemented: | ||
31 | * </p> | ||
32 | * <ul> | ||
33 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl#getEntries <em>Entries</em>}</li> | ||
34 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl#getTransformationTime <em>Transformation Time</em>}</li> | ||
35 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl#getSolverTime <em>Solver Time</em>}</li> | ||
36 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl#getSolverMemory <em>Solver Memory</em>}</li> | ||
37 | * </ul> | ||
38 | * | ||
39 | * @generated | ||
40 | */ | ||
41 | public class StatisticsImpl extends MinimalEObjectImpl.Container implements Statistics { | ||
42 | /** | ||
43 | * The cached value of the '{@link #getEntries() <em>Entries</em>}' containment reference list. | ||
44 | * <!-- begin-user-doc --> | ||
45 | * <!-- end-user-doc --> | ||
46 | * @see #getEntries() | ||
47 | * @generated | ||
48 | * @ordered | ||
49 | */ | ||
50 | protected EList<StatisticEntry> entries; | ||
51 | |||
52 | /** | ||
53 | * The default value of the '{@link #getTransformationTime() <em>Transformation Time</em>}' attribute. | ||
54 | * <!-- begin-user-doc --> | ||
55 | * <!-- end-user-doc --> | ||
56 | * @see #getTransformationTime() | ||
57 | * @generated | ||
58 | * @ordered | ||
59 | */ | ||
60 | protected static final int TRANSFORMATION_TIME_EDEFAULT = -1; | ||
61 | |||
62 | /** | ||
63 | * The cached value of the '{@link #getTransformationTime() <em>Transformation Time</em>}' attribute. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @see #getTransformationTime() | ||
67 | * @generated | ||
68 | * @ordered | ||
69 | */ | ||
70 | protected int transformationTime = TRANSFORMATION_TIME_EDEFAULT; | ||
71 | |||
72 | /** | ||
73 | * The default value of the '{@link #getSolverTime() <em>Solver Time</em>}' attribute. | ||
74 | * <!-- begin-user-doc --> | ||
75 | * <!-- end-user-doc --> | ||
76 | * @see #getSolverTime() | ||
77 | * @generated | ||
78 | * @ordered | ||
79 | */ | ||
80 | protected static final int SOLVER_TIME_EDEFAULT = -1; | ||
81 | |||
82 | /** | ||
83 | * The cached value of the '{@link #getSolverTime() <em>Solver Time</em>}' attribute. | ||
84 | * <!-- begin-user-doc --> | ||
85 | * <!-- end-user-doc --> | ||
86 | * @see #getSolverTime() | ||
87 | * @generated | ||
88 | * @ordered | ||
89 | */ | ||
90 | protected int solverTime = SOLVER_TIME_EDEFAULT; | ||
91 | |||
92 | /** | ||
93 | * The default value of the '{@link #getSolverMemory() <em>Solver Memory</em>}' attribute. | ||
94 | * <!-- begin-user-doc --> | ||
95 | * <!-- end-user-doc --> | ||
96 | * @see #getSolverMemory() | ||
97 | * @generated | ||
98 | * @ordered | ||
99 | */ | ||
100 | protected static final int SOLVER_MEMORY_EDEFAULT = -1; | ||
101 | |||
102 | /** | ||
103 | * The cached value of the '{@link #getSolverMemory() <em>Solver Memory</em>}' attribute. | ||
104 | * <!-- begin-user-doc --> | ||
105 | * <!-- end-user-doc --> | ||
106 | * @see #getSolverMemory() | ||
107 | * @generated | ||
108 | * @ordered | ||
109 | */ | ||
110 | protected int solverMemory = SOLVER_MEMORY_EDEFAULT; | ||
111 | |||
112 | /** | ||
113 | * <!-- begin-user-doc --> | ||
114 | * <!-- end-user-doc --> | ||
115 | * @generated | ||
116 | */ | ||
117 | protected StatisticsImpl() { | ||
118 | super(); | ||
119 | } | ||
120 | |||
121 | /** | ||
122 | * <!-- begin-user-doc --> | ||
123 | * <!-- end-user-doc --> | ||
124 | * @generated | ||
125 | */ | ||
126 | @Override | ||
127 | protected EClass eStaticClass() { | ||
128 | return LogicresultPackage.Literals.STATISTICS; | ||
129 | } | ||
130 | |||
131 | /** | ||
132 | * <!-- begin-user-doc --> | ||
133 | * <!-- end-user-doc --> | ||
134 | * @generated | ||
135 | */ | ||
136 | public EList<StatisticEntry> getEntries() { | ||
137 | if (entries == null) { | ||
138 | entries = new EObjectContainmentEList<StatisticEntry>(StatisticEntry.class, this, LogicresultPackage.STATISTICS__ENTRIES); | ||
139 | } | ||
140 | return entries; | ||
141 | } | ||
142 | |||
143 | /** | ||
144 | * <!-- begin-user-doc --> | ||
145 | * <!-- end-user-doc --> | ||
146 | * @generated | ||
147 | */ | ||
148 | public int getTransformationTime() { | ||
149 | return transformationTime; | ||
150 | } | ||
151 | |||
152 | /** | ||
153 | * <!-- begin-user-doc --> | ||
154 | * <!-- end-user-doc --> | ||
155 | * @generated | ||
156 | */ | ||
157 | public void setTransformationTime(int newTransformationTime) { | ||
158 | int oldTransformationTime = transformationTime; | ||
159 | transformationTime = newTransformationTime; | ||
160 | if (eNotificationRequired()) | ||
161 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.STATISTICS__TRANSFORMATION_TIME, oldTransformationTime, transformationTime)); | ||
162 | } | ||
163 | |||
164 | /** | ||
165 | * <!-- begin-user-doc --> | ||
166 | * <!-- end-user-doc --> | ||
167 | * @generated | ||
168 | */ | ||
169 | public int getSolverTime() { | ||
170 | return solverTime; | ||
171 | } | ||
172 | |||
173 | /** | ||
174 | * <!-- begin-user-doc --> | ||
175 | * <!-- end-user-doc --> | ||
176 | * @generated | ||
177 | */ | ||
178 | public void setSolverTime(int newSolverTime) { | ||
179 | int oldSolverTime = solverTime; | ||
180 | solverTime = newSolverTime; | ||
181 | if (eNotificationRequired()) | ||
182 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.STATISTICS__SOLVER_TIME, oldSolverTime, solverTime)); | ||
183 | } | ||
184 | |||
185 | /** | ||
186 | * <!-- begin-user-doc --> | ||
187 | * <!-- end-user-doc --> | ||
188 | * @generated | ||
189 | */ | ||
190 | public int getSolverMemory() { | ||
191 | return solverMemory; | ||
192 | } | ||
193 | |||
194 | /** | ||
195 | * <!-- begin-user-doc --> | ||
196 | * <!-- end-user-doc --> | ||
197 | * @generated | ||
198 | */ | ||
199 | public void setSolverMemory(int newSolverMemory) { | ||
200 | int oldSolverMemory = solverMemory; | ||
201 | solverMemory = newSolverMemory; | ||
202 | if (eNotificationRequired()) | ||
203 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.STATISTICS__SOLVER_MEMORY, oldSolverMemory, solverMemory)); | ||
204 | } | ||
205 | |||
206 | /** | ||
207 | * <!-- begin-user-doc --> | ||
208 | * <!-- end-user-doc --> | ||
209 | * @generated | ||
210 | */ | ||
211 | @Override | ||
212 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
213 | switch (featureID) { | ||
214 | case LogicresultPackage.STATISTICS__ENTRIES: | ||
215 | return ((InternalEList<?>)getEntries()).basicRemove(otherEnd, msgs); | ||
216 | } | ||
217 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
218 | } | ||
219 | |||
220 | /** | ||
221 | * <!-- begin-user-doc --> | ||
222 | * <!-- end-user-doc --> | ||
223 | * @generated | ||
224 | */ | ||
225 | @Override | ||
226 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
227 | switch (featureID) { | ||
228 | case LogicresultPackage.STATISTICS__ENTRIES: | ||
229 | return getEntries(); | ||
230 | case LogicresultPackage.STATISTICS__TRANSFORMATION_TIME: | ||
231 | return getTransformationTime(); | ||
232 | case LogicresultPackage.STATISTICS__SOLVER_TIME: | ||
233 | return getSolverTime(); | ||
234 | case LogicresultPackage.STATISTICS__SOLVER_MEMORY: | ||
235 | return getSolverMemory(); | ||
236 | } | ||
237 | return super.eGet(featureID, resolve, coreType); | ||
238 | } | ||
239 | |||
240 | /** | ||
241 | * <!-- begin-user-doc --> | ||
242 | * <!-- end-user-doc --> | ||
243 | * @generated | ||
244 | */ | ||
245 | @SuppressWarnings("unchecked") | ||
246 | @Override | ||
247 | public void eSet(int featureID, Object newValue) { | ||
248 | switch (featureID) { | ||
249 | case LogicresultPackage.STATISTICS__ENTRIES: | ||
250 | getEntries().clear(); | ||
251 | getEntries().addAll((Collection<? extends StatisticEntry>)newValue); | ||
252 | return; | ||
253 | case LogicresultPackage.STATISTICS__TRANSFORMATION_TIME: | ||
254 | setTransformationTime((Integer)newValue); | ||
255 | return; | ||
256 | case LogicresultPackage.STATISTICS__SOLVER_TIME: | ||
257 | setSolverTime((Integer)newValue); | ||
258 | return; | ||
259 | case LogicresultPackage.STATISTICS__SOLVER_MEMORY: | ||
260 | setSolverMemory((Integer)newValue); | ||
261 | return; | ||
262 | } | ||
263 | super.eSet(featureID, newValue); | ||
264 | } | ||
265 | |||
266 | /** | ||
267 | * <!-- begin-user-doc --> | ||
268 | * <!-- end-user-doc --> | ||
269 | * @generated | ||
270 | */ | ||
271 | @Override | ||
272 | public void eUnset(int featureID) { | ||
273 | switch (featureID) { | ||
274 | case LogicresultPackage.STATISTICS__ENTRIES: | ||
275 | getEntries().clear(); | ||
276 | return; | ||
277 | case LogicresultPackage.STATISTICS__TRANSFORMATION_TIME: | ||
278 | setTransformationTime(TRANSFORMATION_TIME_EDEFAULT); | ||
279 | return; | ||
280 | case LogicresultPackage.STATISTICS__SOLVER_TIME: | ||
281 | setSolverTime(SOLVER_TIME_EDEFAULT); | ||
282 | return; | ||
283 | case LogicresultPackage.STATISTICS__SOLVER_MEMORY: | ||
284 | setSolverMemory(SOLVER_MEMORY_EDEFAULT); | ||
285 | return; | ||
286 | } | ||
287 | super.eUnset(featureID); | ||
288 | } | ||
289 | |||
290 | /** | ||
291 | * <!-- begin-user-doc --> | ||
292 | * <!-- end-user-doc --> | ||
293 | * @generated | ||
294 | */ | ||
295 | @Override | ||
296 | public boolean eIsSet(int featureID) { | ||
297 | switch (featureID) { | ||
298 | case LogicresultPackage.STATISTICS__ENTRIES: | ||
299 | return entries != null && !entries.isEmpty(); | ||
300 | case LogicresultPackage.STATISTICS__TRANSFORMATION_TIME: | ||
301 | return transformationTime != TRANSFORMATION_TIME_EDEFAULT; | ||
302 | case LogicresultPackage.STATISTICS__SOLVER_TIME: | ||
303 | return solverTime != SOLVER_TIME_EDEFAULT; | ||
304 | case LogicresultPackage.STATISTICS__SOLVER_MEMORY: | ||
305 | return solverMemory != SOLVER_MEMORY_EDEFAULT; | ||
306 | } | ||
307 | return super.eIsSet(featureID); | ||
308 | } | ||
309 | |||
310 | /** | ||
311 | * <!-- begin-user-doc --> | ||
312 | * <!-- end-user-doc --> | ||
313 | * @generated | ||
314 | */ | ||
315 | @Override | ||
316 | public String toString() { | ||
317 | if (eIsProxy()) return super.toString(); | ||
318 | |||
319 | StringBuffer result = new StringBuffer(super.toString()); | ||
320 | result.append(" (transformationTime: "); | ||
321 | result.append(transformationTime); | ||
322 | result.append(", solverTime: "); | ||
323 | result.append(solverTime); | ||
324 | result.append(", solverMemory: "); | ||
325 | result.append(solverMemory); | ||
326 | result.append(')'); | ||
327 | return result.toString(); | ||
328 | } | ||
329 | |||
330 | } //StatisticsImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StringStatisticEntryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StringStatisticEntryImpl.java new file mode 100644 index 00000000..8698f73b --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StringStatisticEntryImpl.java | |||
@@ -0,0 +1,162 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Notification; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EClass; | ||
11 | |||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
13 | |||
14 | /** | ||
15 | * <!-- begin-user-doc --> | ||
16 | * An implementation of the model object '<em><b>String Statistic Entry</b></em>'. | ||
17 | * <!-- end-user-doc --> | ||
18 | * <p> | ||
19 | * The following features are implemented: | ||
20 | * </p> | ||
21 | * <ul> | ||
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StringStatisticEntryImpl#getValue <em>Value</em>}</li> | ||
23 | * </ul> | ||
24 | * | ||
25 | * @generated | ||
26 | */ | ||
27 | public class StringStatisticEntryImpl extends StatisticEntryImpl implements StringStatisticEntry { | ||
28 | /** | ||
29 | * The default value of the '{@link #getValue() <em>Value</em>}' attribute. | ||
30 | * <!-- begin-user-doc --> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @see #getValue() | ||
33 | * @generated | ||
34 | * @ordered | ||
35 | */ | ||
36 | protected static final String VALUE_EDEFAULT = "Unfilled"; | ||
37 | |||
38 | /** | ||
39 | * The cached value of the '{@link #getValue() <em>Value</em>}' attribute. | ||
40 | * <!-- begin-user-doc --> | ||
41 | * <!-- end-user-doc --> | ||
42 | * @see #getValue() | ||
43 | * @generated | ||
44 | * @ordered | ||
45 | */ | ||
46 | protected String value = VALUE_EDEFAULT; | ||
47 | |||
48 | /** | ||
49 | * <!-- begin-user-doc --> | ||
50 | * <!-- end-user-doc --> | ||
51 | * @generated | ||
52 | */ | ||
53 | protected StringStatisticEntryImpl() { | ||
54 | super(); | ||
55 | } | ||
56 | |||
57 | /** | ||
58 | * <!-- begin-user-doc --> | ||
59 | * <!-- end-user-doc --> | ||
60 | * @generated | ||
61 | */ | ||
62 | @Override | ||
63 | protected EClass eStaticClass() { | ||
64 | return LogicresultPackage.Literals.STRING_STATISTIC_ENTRY; | ||
65 | } | ||
66 | |||
67 | /** | ||
68 | * <!-- begin-user-doc --> | ||
69 | * <!-- end-user-doc --> | ||
70 | * @generated | ||
71 | */ | ||
72 | public String getValue() { | ||
73 | return value; | ||
74 | } | ||
75 | |||
76 | /** | ||
77 | * <!-- begin-user-doc --> | ||
78 | * <!-- end-user-doc --> | ||
79 | * @generated | ||
80 | */ | ||
81 | public void setValue(String newValue) { | ||
82 | String oldValue = value; | ||
83 | value = newValue; | ||
84 | if (eNotificationRequired()) | ||
85 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.STRING_STATISTIC_ENTRY__VALUE, oldValue, value)); | ||
86 | } | ||
87 | |||
88 | /** | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | */ | ||
93 | @Override | ||
94 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
95 | switch (featureID) { | ||
96 | case LogicresultPackage.STRING_STATISTIC_ENTRY__VALUE: | ||
97 | return getValue(); | ||
98 | } | ||
99 | return super.eGet(featureID, resolve, coreType); | ||
100 | } | ||
101 | |||
102 | /** | ||
103 | * <!-- begin-user-doc --> | ||
104 | * <!-- end-user-doc --> | ||
105 | * @generated | ||
106 | */ | ||
107 | @Override | ||
108 | public void eSet(int featureID, Object newValue) { | ||
109 | switch (featureID) { | ||
110 | case LogicresultPackage.STRING_STATISTIC_ENTRY__VALUE: | ||
111 | setValue((String)newValue); | ||
112 | return; | ||
113 | } | ||
114 | super.eSet(featureID, newValue); | ||
115 | } | ||
116 | |||
117 | /** | ||
118 | * <!-- begin-user-doc --> | ||
119 | * <!-- end-user-doc --> | ||
120 | * @generated | ||
121 | */ | ||
122 | @Override | ||
123 | public void eUnset(int featureID) { | ||
124 | switch (featureID) { | ||
125 | case LogicresultPackage.STRING_STATISTIC_ENTRY__VALUE: | ||
126 | setValue(VALUE_EDEFAULT); | ||
127 | return; | ||
128 | } | ||
129 | super.eUnset(featureID); | ||
130 | } | ||
131 | |||
132 | /** | ||
133 | * <!-- begin-user-doc --> | ||
134 | * <!-- end-user-doc --> | ||
135 | * @generated | ||
136 | */ | ||
137 | @Override | ||
138 | public boolean eIsSet(int featureID) { | ||
139 | switch (featureID) { | ||
140 | case LogicresultPackage.STRING_STATISTIC_ENTRY__VALUE: | ||
141 | return VALUE_EDEFAULT == null ? value != null : !VALUE_EDEFAULT.equals(value); | ||
142 | } | ||
143 | return super.eIsSet(featureID); | ||
144 | } | ||
145 | |||
146 | /** | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | @Override | ||
152 | public String toString() { | ||
153 | if (eIsProxy()) return super.toString(); | ||
154 | |||
155 | StringBuffer result = new StringBuffer(super.toString()); | ||
156 | result.append(" (value: "); | ||
157 | result.append(value); | ||
158 | result.append(')'); | ||
159 | return result.toString(); | ||
160 | } | ||
161 | |||
162 | } //StringStatisticEntryImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/UndecidableResultImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/UndecidableResultImpl.java new file mode 100644 index 00000000..12da9c45 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/UndecidableResultImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UndecidableResult; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>Undecidable Result</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class UndecidableResultImpl extends UnknownResultImpl implements UndecidableResult { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected UndecidableResultImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return LogicresultPackage.Literals.UNDECIDABLE_RESULT; | ||
35 | } | ||
36 | |||
37 | } //UndecidableResultImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/UnknownResultImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/UnknownResultImpl.java new file mode 100644 index 00000000..2f8b416e --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/UnknownResultImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>Unknown Result</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public abstract class UnknownResultImpl extends LogicResultImpl implements UnknownResult { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected UnknownResultImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return LogicresultPackage.Literals.UNKNOWN_RESULT; | ||
35 | } | ||
36 | |||
37 | } //UnknownResultImpl | ||