aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl
diff options
context:
space:
mode:
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ErrorResultImpl.java162
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/InconsistencyResultImpl.java37
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/InsuficientResourcesResultImpl.java162
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/IntStatisticEntryImpl.java162
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicResultImpl.java346
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultFactoryImpl.java183
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java602
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ModelResultImpl.java216
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/RealStatisticEntryImpl.java162
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StatisticEntryImpl.java163
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StatisticsImpl.java330
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StringStatisticEntryImpl.java162
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/UndecidableResultImpl.java37
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/UnknownResultImpl.java37
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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import 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 */
27public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
7
8import 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 */
17public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import 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 */
27public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import 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 */
27public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
6
7import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult;
8import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
9import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics;
10
11import java.util.Collection;
12import org.eclipse.emf.common.notify.Notification;
13import org.eclipse.emf.common.notify.NotificationChain;
14
15import org.eclipse.emf.common.util.EList;
16import org.eclipse.emf.ecore.EClass;
17import org.eclipse.emf.ecore.InternalEObject;
18
19import org.eclipse.emf.ecore.impl.ENotificationImpl;
20import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
21import 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 */
39public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.*;
6
7import org.eclipse.emf.ecore.EClass;
8import org.eclipse.emf.ecore.EObject;
9import org.eclipse.emf.ecore.EPackage;
10
11import org.eclipse.emf.ecore.impl.EFactoryImpl;
12
13import 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 */
21public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
6
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl;
8
9import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
10
11import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl;
12
13import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult;
14import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult;
15import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult;
16import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry;
17import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult;
18import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultFactory;
19import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
20import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult;
21import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry;
22import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry;
23import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics;
24import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry;
25import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UndecidableResult;
26import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult;
27
28import org.eclipse.emf.ecore.EAttribute;
29import org.eclipse.emf.ecore.EClass;
30import org.eclipse.emf.ecore.EPackage;
31import org.eclipse.emf.ecore.EReference;
32
33import 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 */
41public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import 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 */
28public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import 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 */
27public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13import 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 */
28public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry;
7import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics;
8
9import java.util.Collection;
10
11import org.eclipse.emf.common.notify.Notification;
12import org.eclipse.emf.common.notify.NotificationChain;
13
14import org.eclipse.emf.common.util.EList;
15
16import org.eclipse.emf.ecore.EClass;
17import org.eclipse.emf.ecore.InternalEObject;
18
19import org.eclipse.emf.ecore.impl.ENotificationImpl;
20import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
21
22import org.eclipse.emf.ecore.util.EObjectContainmentEList;
23import 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 */
41public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import 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 */
27public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UndecidableResult;
7
8import 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 */
17public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult;
7
8import 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 */
17public 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-03 18:12:38 +0000