diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult')
11 files changed, 85 insertions, 14 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 index 579bc772..979f4778 100644 --- 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 | |||
@@ -69,6 +69,7 @@ public class ErrorResultImpl extends UnknownResultImpl implements ErrorResult { | |||
69 | * <!-- end-user-doc --> | 69 | * <!-- end-user-doc --> |
70 | * @generated | 70 | * @generated |
71 | */ | 71 | */ |
72 | @Override | ||
72 | public String getMessage() { | 73 | public String getMessage() { |
73 | return message; | 74 | return message; |
74 | } | 75 | } |
@@ -78,6 +79,7 @@ public class ErrorResultImpl extends UnknownResultImpl implements ErrorResult { | |||
78 | * <!-- end-user-doc --> | 79 | * <!-- end-user-doc --> |
79 | * @generated | 80 | * @generated |
80 | */ | 81 | */ |
82 | @Override | ||
81 | public void setMessage(String newMessage) { | 83 | public void setMessage(String newMessage) { |
82 | String oldMessage = message; | 84 | String oldMessage = message; |
83 | message = newMessage; | 85 | message = newMessage; |
@@ -152,7 +154,7 @@ public class ErrorResultImpl extends UnknownResultImpl implements ErrorResult { | |||
152 | public String toString() { | 154 | public String toString() { |
153 | if (eIsProxy()) return super.toString(); | 155 | if (eIsProxy()) return super.toString(); |
154 | 156 | ||
155 | StringBuffer result = new StringBuffer(super.toString()); | 157 | StringBuilder result = new StringBuilder(super.toString()); |
156 | result.append(" (message: "); | 158 | result.append(" (message: "); |
157 | result.append(message); | 159 | result.append(message); |
158 | result.append(')'); | 160 | result.append(')'); |
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 index 3f8d7ebf..3febc803 100644 --- 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 | |||
@@ -69,6 +69,7 @@ public class InsuficientResourcesResultImpl extends UnknownResultImpl implements | |||
69 | * <!-- end-user-doc --> | 69 | * <!-- end-user-doc --> |
70 | * @generated | 70 | * @generated |
71 | */ | 71 | */ |
72 | @Override | ||
72 | public String getResourceName() { | 73 | public String getResourceName() { |
73 | return resourceName; | 74 | return resourceName; |
74 | } | 75 | } |
@@ -78,6 +79,7 @@ public class InsuficientResourcesResultImpl extends UnknownResultImpl implements | |||
78 | * <!-- end-user-doc --> | 79 | * <!-- end-user-doc --> |
79 | * @generated | 80 | * @generated |
80 | */ | 81 | */ |
82 | @Override | ||
81 | public void setResourceName(String newResourceName) { | 83 | public void setResourceName(String newResourceName) { |
82 | String oldResourceName = resourceName; | 84 | String oldResourceName = resourceName; |
83 | resourceName = newResourceName; | 85 | resourceName = newResourceName; |
@@ -152,7 +154,7 @@ public class InsuficientResourcesResultImpl extends UnknownResultImpl implements | |||
152 | public String toString() { | 154 | public String toString() { |
153 | if (eIsProxy()) return super.toString(); | 155 | if (eIsProxy()) return super.toString(); |
154 | 156 | ||
155 | StringBuffer result = new StringBuffer(super.toString()); | 157 | StringBuilder result = new StringBuilder(super.toString()); |
156 | result.append(" (resourceName: "); | 158 | result.append(" (resourceName: "); |
157 | result.append(resourceName); | 159 | result.append(resourceName); |
158 | result.append(')'); | 160 | result.append(')'); |
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 index e8bedf70..663f9014 100644 --- 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 | |||
@@ -69,6 +69,7 @@ public class IntStatisticEntryImpl extends StatisticEntryImpl implements IntStat | |||
69 | * <!-- end-user-doc --> | 69 | * <!-- end-user-doc --> |
70 | * @generated | 70 | * @generated |
71 | */ | 71 | */ |
72 | @Override | ||
72 | public int getValue() { | 73 | public int getValue() { |
73 | return value; | 74 | return value; |
74 | } | 75 | } |
@@ -78,6 +79,7 @@ public class IntStatisticEntryImpl extends StatisticEntryImpl implements IntStat | |||
78 | * <!-- end-user-doc --> | 79 | * <!-- end-user-doc --> |
79 | * @generated | 80 | * @generated |
80 | */ | 81 | */ |
82 | @Override | ||
81 | public void setValue(int newValue) { | 83 | public void setValue(int newValue) { |
82 | int oldValue = value; | 84 | int oldValue = value; |
83 | value = newValue; | 85 | value = newValue; |
@@ -152,7 +154,7 @@ public class IntStatisticEntryImpl extends StatisticEntryImpl implements IntStat | |||
152 | public String toString() { | 154 | public String toString() { |
153 | if (eIsProxy()) return super.toString(); | 155 | if (eIsProxy()) return super.toString(); |
154 | 156 | ||
155 | StringBuffer result = new StringBuffer(super.toString()); | 157 | StringBuilder result = new StringBuilder(super.toString()); |
156 | result.append(" (value: "); | 158 | result.append(" (value: "); |
157 | result.append(value); | 159 | result.append(value); |
158 | result.append(')'); | 160 | result.append(')'); |
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 index 1bd5c833..a49e0bce 100644 --- 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 | |||
@@ -111,6 +111,7 @@ public abstract class LogicResultImpl extends MinimalEObjectImpl.Container imple | |||
111 | * <!-- end-user-doc --> | 111 | * <!-- end-user-doc --> |
112 | * @generated | 112 | * @generated |
113 | */ | 113 | */ |
114 | @Override | ||
114 | public LogicProblem getProblem() { | 115 | public LogicProblem getProblem() { |
115 | if (problem != null && problem.eIsProxy()) { | 116 | if (problem != null && problem.eIsProxy()) { |
116 | InternalEObject oldProblem = (InternalEObject)problem; | 117 | InternalEObject oldProblem = (InternalEObject)problem; |
@@ -137,6 +138,7 @@ public abstract class LogicResultImpl extends MinimalEObjectImpl.Container imple | |||
137 | * <!-- end-user-doc --> | 138 | * <!-- end-user-doc --> |
138 | * @generated | 139 | * @generated |
139 | */ | 140 | */ |
141 | @Override | ||
140 | public void setProblem(LogicProblem newProblem) { | 142 | public void setProblem(LogicProblem newProblem) { |
141 | LogicProblem oldProblem = problem; | 143 | LogicProblem oldProblem = problem; |
142 | problem = newProblem; | 144 | problem = newProblem; |
@@ -149,6 +151,7 @@ public abstract class LogicResultImpl extends MinimalEObjectImpl.Container imple | |||
149 | * <!-- end-user-doc --> | 151 | * <!-- end-user-doc --> |
150 | * @generated | 152 | * @generated |
151 | */ | 153 | */ |
154 | @Override | ||
152 | public Statistics getStatistics() { | 155 | public Statistics getStatistics() { |
153 | return statistics; | 156 | return statistics; |
154 | } | 157 | } |
@@ -173,6 +176,7 @@ public abstract class LogicResultImpl extends MinimalEObjectImpl.Container imple | |||
173 | * <!-- end-user-doc --> | 176 | * <!-- end-user-doc --> |
174 | * @generated | 177 | * @generated |
175 | */ | 178 | */ |
179 | @Override | ||
176 | public void setStatistics(Statistics newStatistics) { | 180 | public void setStatistics(Statistics newStatistics) { |
177 | if (newStatistics != statistics) { | 181 | if (newStatistics != statistics) { |
178 | NotificationChain msgs = null; | 182 | NotificationChain msgs = null; |
@@ -192,6 +196,7 @@ public abstract class LogicResultImpl extends MinimalEObjectImpl.Container imple | |||
192 | * <!-- end-user-doc --> | 196 | * <!-- end-user-doc --> |
193 | * @generated | 197 | * @generated |
194 | */ | 198 | */ |
199 | @Override | ||
195 | public Object getTrace() { | 200 | public Object getTrace() { |
196 | return trace; | 201 | return trace; |
197 | } | 202 | } |
@@ -201,6 +206,7 @@ public abstract class LogicResultImpl extends MinimalEObjectImpl.Container imple | |||
201 | * <!-- end-user-doc --> | 206 | * <!-- end-user-doc --> |
202 | * @generated | 207 | * @generated |
203 | */ | 208 | */ |
209 | @Override | ||
204 | public void setTrace(Object newTrace) { | 210 | public void setTrace(Object newTrace) { |
205 | Object oldTrace = trace; | 211 | Object oldTrace = trace; |
206 | trace = newTrace; | 212 | trace = newTrace; |
@@ -213,6 +219,7 @@ public abstract class LogicResultImpl extends MinimalEObjectImpl.Container imple | |||
213 | * <!-- end-user-doc --> | 219 | * <!-- end-user-doc --> |
214 | * @generated | 220 | * @generated |
215 | */ | 221 | */ |
222 | @Override | ||
216 | public EList<Object> getRepresentation() { | 223 | public EList<Object> getRepresentation() { |
217 | if (representation == null) { | 224 | if (representation == null) { |
218 | representation = new EDataTypeUniqueEList<Object>(Object.class, this, LogicresultPackage.LOGIC_RESULT__REPRESENTATION); | 225 | representation = new EDataTypeUniqueEList<Object>(Object.class, this, LogicresultPackage.LOGIC_RESULT__REPRESENTATION); |
@@ -334,7 +341,7 @@ public abstract class LogicResultImpl extends MinimalEObjectImpl.Container imple | |||
334 | public String toString() { | 341 | public String toString() { |
335 | if (eIsProxy()) return super.toString(); | 342 | if (eIsProxy()) return super.toString(); |
336 | 343 | ||
337 | StringBuffer result = new StringBuffer(super.toString()); | 344 | StringBuilder result = new StringBuilder(super.toString()); |
338 | result.append(" (trace: "); | 345 | result.append(" (trace: "); |
339 | result.append(trace); | 346 | result.append(trace); |
340 | result.append(", representation: "); | 347 | result.append(", representation: "); |
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 index 5a102523..1bbc4942 100644 --- 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 | |||
@@ -75,6 +75,7 @@ public class LogicresultFactoryImpl extends EFactoryImpl implements LogicresultF | |||
75 | * <!-- end-user-doc --> | 75 | * <!-- end-user-doc --> |
76 | * @generated | 76 | * @generated |
77 | */ | 77 | */ |
78 | @Override | ||
78 | public ModelResult createModelResult() { | 79 | public ModelResult createModelResult() { |
79 | ModelResultImpl modelResult = new ModelResultImpl(); | 80 | ModelResultImpl modelResult = new ModelResultImpl(); |
80 | return modelResult; | 81 | return modelResult; |
@@ -85,6 +86,7 @@ public class LogicresultFactoryImpl extends EFactoryImpl implements LogicresultF | |||
85 | * <!-- end-user-doc --> | 86 | * <!-- end-user-doc --> |
86 | * @generated | 87 | * @generated |
87 | */ | 88 | */ |
89 | @Override | ||
88 | public InconsistencyResult createInconsistencyResult() { | 90 | public InconsistencyResult createInconsistencyResult() { |
89 | InconsistencyResultImpl inconsistencyResult = new InconsistencyResultImpl(); | 91 | InconsistencyResultImpl inconsistencyResult = new InconsistencyResultImpl(); |
90 | return inconsistencyResult; | 92 | return inconsistencyResult; |
@@ -95,6 +97,7 @@ public class LogicresultFactoryImpl extends EFactoryImpl implements LogicresultF | |||
95 | * <!-- end-user-doc --> | 97 | * <!-- end-user-doc --> |
96 | * @generated | 98 | * @generated |
97 | */ | 99 | */ |
100 | @Override | ||
98 | public InsuficientResourcesResult createInsuficientResourcesResult() { | 101 | public InsuficientResourcesResult createInsuficientResourcesResult() { |
99 | InsuficientResourcesResultImpl insuficientResourcesResult = new InsuficientResourcesResultImpl(); | 102 | InsuficientResourcesResultImpl insuficientResourcesResult = new InsuficientResourcesResultImpl(); |
100 | return insuficientResourcesResult; | 103 | return insuficientResourcesResult; |
@@ -105,6 +108,7 @@ public class LogicresultFactoryImpl extends EFactoryImpl implements LogicresultF | |||
105 | * <!-- end-user-doc --> | 108 | * <!-- end-user-doc --> |
106 | * @generated | 109 | * @generated |
107 | */ | 110 | */ |
111 | @Override | ||
108 | public ErrorResult createErrorResult() { | 112 | public ErrorResult createErrorResult() { |
109 | ErrorResultImpl errorResult = new ErrorResultImpl(); | 113 | ErrorResultImpl errorResult = new ErrorResultImpl(); |
110 | return errorResult; | 114 | return errorResult; |
@@ -115,6 +119,7 @@ public class LogicresultFactoryImpl extends EFactoryImpl implements LogicresultF | |||
115 | * <!-- end-user-doc --> | 119 | * <!-- end-user-doc --> |
116 | * @generated | 120 | * @generated |
117 | */ | 121 | */ |
122 | @Override | ||
118 | public Statistics createStatistics() { | 123 | public Statistics createStatistics() { |
119 | StatisticsImpl statistics = new StatisticsImpl(); | 124 | StatisticsImpl statistics = new StatisticsImpl(); |
120 | return statistics; | 125 | return statistics; |
@@ -125,6 +130,7 @@ public class LogicresultFactoryImpl extends EFactoryImpl implements LogicresultF | |||
125 | * <!-- end-user-doc --> | 130 | * <!-- end-user-doc --> |
126 | * @generated | 131 | * @generated |
127 | */ | 132 | */ |
133 | @Override | ||
128 | public UndecidableResult createUndecidableResult() { | 134 | public UndecidableResult createUndecidableResult() { |
129 | UndecidableResultImpl undecidableResult = new UndecidableResultImpl(); | 135 | UndecidableResultImpl undecidableResult = new UndecidableResultImpl(); |
130 | return undecidableResult; | 136 | return undecidableResult; |
@@ -135,6 +141,7 @@ public class LogicresultFactoryImpl extends EFactoryImpl implements LogicresultF | |||
135 | * <!-- end-user-doc --> | 141 | * <!-- end-user-doc --> |
136 | * @generated | 142 | * @generated |
137 | */ | 143 | */ |
144 | @Override | ||
138 | public IntStatisticEntry createIntStatisticEntry() { | 145 | public IntStatisticEntry createIntStatisticEntry() { |
139 | IntStatisticEntryImpl intStatisticEntry = new IntStatisticEntryImpl(); | 146 | IntStatisticEntryImpl intStatisticEntry = new IntStatisticEntryImpl(); |
140 | return intStatisticEntry; | 147 | return intStatisticEntry; |
@@ -145,6 +152,7 @@ public class LogicresultFactoryImpl extends EFactoryImpl implements LogicresultF | |||
145 | * <!-- end-user-doc --> | 152 | * <!-- end-user-doc --> |
146 | * @generated | 153 | * @generated |
147 | */ | 154 | */ |
155 | @Override | ||
148 | public RealStatisticEntry createRealStatisticEntry() { | 156 | public RealStatisticEntry createRealStatisticEntry() { |
149 | RealStatisticEntryImpl realStatisticEntry = new RealStatisticEntryImpl(); | 157 | RealStatisticEntryImpl realStatisticEntry = new RealStatisticEntryImpl(); |
150 | return realStatisticEntry; | 158 | return realStatisticEntry; |
@@ -155,6 +163,7 @@ public class LogicresultFactoryImpl extends EFactoryImpl implements LogicresultF | |||
155 | * <!-- end-user-doc --> | 163 | * <!-- end-user-doc --> |
156 | * @generated | 164 | * @generated |
157 | */ | 165 | */ |
166 | @Override | ||
158 | public StringStatisticEntry createStringStatisticEntry() { | 167 | public StringStatisticEntry createStringStatisticEntry() { |
159 | StringStatisticEntryImpl stringStatisticEntry = new StringStatisticEntryImpl(); | 168 | StringStatisticEntryImpl stringStatisticEntry = new StringStatisticEntryImpl(); |
160 | return stringStatisticEntry; | 169 | return stringStatisticEntry; |
@@ -165,6 +174,7 @@ public class LogicresultFactoryImpl extends EFactoryImpl implements LogicresultF | |||
165 | * <!-- end-user-doc --> | 174 | * <!-- end-user-doc --> |
166 | * @generated | 175 | * @generated |
167 | */ | 176 | */ |
177 | @Override | ||
168 | public LogicresultPackage getLogicresultPackage() { | 178 | public LogicresultPackage getLogicresultPackage() { |
169 | return (LogicresultPackage)getEPackage(); | 179 | return (LogicresultPackage)getEPackage(); |
170 | } | 180 | } |
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 index 8b0e0605..e67784d2 100644 --- 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 | |||
@@ -151,7 +151,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
151 | 151 | ||
152 | /** | 152 | /** |
153 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. | 153 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. |
154 | * | 154 | * |
155 | * <p>This method is used to initialize {@link LogicresultPackage#eINSTANCE} when that field is accessed. | 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. | 156 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. |
157 | * <!-- begin-user-doc --> | 157 | * <!-- begin-user-doc --> |
@@ -165,13 +165,16 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
165 | if (isInited) return (LogicresultPackage)EPackage.Registry.INSTANCE.getEPackage(LogicresultPackage.eNS_URI); | 165 | if (isInited) return (LogicresultPackage)EPackage.Registry.INSTANCE.getEPackage(LogicresultPackage.eNS_URI); |
166 | 166 | ||
167 | // Obtain or create and register package | 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()); | 168 | Object registeredLogicresultPackage = EPackage.Registry.INSTANCE.get(eNS_URI); |
169 | LogicresultPackageImpl theLogicresultPackage = registeredLogicresultPackage instanceof LogicresultPackageImpl ? (LogicresultPackageImpl)registeredLogicresultPackage : new LogicresultPackageImpl(); | ||
169 | 170 | ||
170 | isInited = true; | 171 | isInited = true; |
171 | 172 | ||
172 | // Obtain or create and register interdependencies | 173 | // 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 | Object registeredPackage = EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI); |
174 | LogicproblemPackageImpl theLogicproblemPackage = (LogicproblemPackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI) instanceof LogicproblemPackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI) : LogicproblemPackage.eINSTANCE); | 175 | LogiclanguagePackageImpl theLogiclanguagePackage = (LogiclanguagePackageImpl)(registeredPackage instanceof LogiclanguagePackageImpl ? registeredPackage : LogiclanguagePackage.eINSTANCE); |
176 | registeredPackage = EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI); | ||
177 | LogicproblemPackageImpl theLogicproblemPackage = (LogicproblemPackageImpl)(registeredPackage instanceof LogicproblemPackageImpl ? registeredPackage : LogicproblemPackage.eINSTANCE); | ||
175 | 178 | ||
176 | // Create package meta-data objects | 179 | // Create package meta-data objects |
177 | theLogicresultPackage.createPackageContents(); | 180 | theLogicresultPackage.createPackageContents(); |
@@ -186,7 +189,6 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
186 | // Mark meta-data to indicate it can't be changed | 189 | // Mark meta-data to indicate it can't be changed |
187 | theLogicresultPackage.freeze(); | 190 | theLogicresultPackage.freeze(); |
188 | 191 | ||
189 | |||
190 | // Update the registry and return the package | 192 | // Update the registry and return the package |
191 | EPackage.Registry.INSTANCE.put(LogicresultPackage.eNS_URI, theLogicresultPackage); | 193 | EPackage.Registry.INSTANCE.put(LogicresultPackage.eNS_URI, theLogicresultPackage); |
192 | return theLogicresultPackage; | 194 | return theLogicresultPackage; |
@@ -197,6 +199,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
197 | * <!-- end-user-doc --> | 199 | * <!-- end-user-doc --> |
198 | * @generated | 200 | * @generated |
199 | */ | 201 | */ |
202 | @Override | ||
200 | public EClass getLogicResult() { | 203 | public EClass getLogicResult() { |
201 | return logicResultEClass; | 204 | return logicResultEClass; |
202 | } | 205 | } |
@@ -206,6 +209,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
206 | * <!-- end-user-doc --> | 209 | * <!-- end-user-doc --> |
207 | * @generated | 210 | * @generated |
208 | */ | 211 | */ |
212 | @Override | ||
209 | public EReference getLogicResult_Problem() { | 213 | public EReference getLogicResult_Problem() { |
210 | return (EReference)logicResultEClass.getEStructuralFeatures().get(0); | 214 | return (EReference)logicResultEClass.getEStructuralFeatures().get(0); |
211 | } | 215 | } |
@@ -215,6 +219,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
215 | * <!-- end-user-doc --> | 219 | * <!-- end-user-doc --> |
216 | * @generated | 220 | * @generated |
217 | */ | 221 | */ |
222 | @Override | ||
218 | public EReference getLogicResult_Statistics() { | 223 | public EReference getLogicResult_Statistics() { |
219 | return (EReference)logicResultEClass.getEStructuralFeatures().get(1); | 224 | return (EReference)logicResultEClass.getEStructuralFeatures().get(1); |
220 | } | 225 | } |
@@ -224,6 +229,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
224 | * <!-- end-user-doc --> | 229 | * <!-- end-user-doc --> |
225 | * @generated | 230 | * @generated |
226 | */ | 231 | */ |
232 | @Override | ||
227 | public EAttribute getLogicResult_Trace() { | 233 | public EAttribute getLogicResult_Trace() { |
228 | return (EAttribute)logicResultEClass.getEStructuralFeatures().get(2); | 234 | return (EAttribute)logicResultEClass.getEStructuralFeatures().get(2); |
229 | } | 235 | } |
@@ -233,6 +239,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
233 | * <!-- end-user-doc --> | 239 | * <!-- end-user-doc --> |
234 | * @generated | 240 | * @generated |
235 | */ | 241 | */ |
242 | @Override | ||
236 | public EAttribute getLogicResult_Representation() { | 243 | public EAttribute getLogicResult_Representation() { |
237 | return (EAttribute)logicResultEClass.getEStructuralFeatures().get(3); | 244 | return (EAttribute)logicResultEClass.getEStructuralFeatures().get(3); |
238 | } | 245 | } |
@@ -242,6 +249,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
242 | * <!-- end-user-doc --> | 249 | * <!-- end-user-doc --> |
243 | * @generated | 250 | * @generated |
244 | */ | 251 | */ |
252 | @Override | ||
245 | public EClass getModelResult() { | 253 | public EClass getModelResult() { |
246 | return modelResultEClass; | 254 | return modelResultEClass; |
247 | } | 255 | } |
@@ -251,6 +259,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
251 | * <!-- end-user-doc --> | 259 | * <!-- end-user-doc --> |
252 | * @generated | 260 | * @generated |
253 | */ | 261 | */ |
262 | @Override | ||
254 | public EAttribute getModelResult_MaxInteger() { | 263 | public EAttribute getModelResult_MaxInteger() { |
255 | return (EAttribute)modelResultEClass.getEStructuralFeatures().get(0); | 264 | return (EAttribute)modelResultEClass.getEStructuralFeatures().get(0); |
256 | } | 265 | } |
@@ -260,6 +269,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
260 | * <!-- end-user-doc --> | 269 | * <!-- end-user-doc --> |
261 | * @generated | 270 | * @generated |
262 | */ | 271 | */ |
272 | @Override | ||
263 | public EAttribute getModelResult_MinInteger() { | 273 | public EAttribute getModelResult_MinInteger() { |
264 | return (EAttribute)modelResultEClass.getEStructuralFeatures().get(1); | 274 | return (EAttribute)modelResultEClass.getEStructuralFeatures().get(1); |
265 | } | 275 | } |
@@ -269,6 +279,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
269 | * <!-- end-user-doc --> | 279 | * <!-- end-user-doc --> |
270 | * @generated | 280 | * @generated |
271 | */ | 281 | */ |
282 | @Override | ||
272 | public EClass getInconsistencyResult() { | 283 | public EClass getInconsistencyResult() { |
273 | return inconsistencyResultEClass; | 284 | return inconsistencyResultEClass; |
274 | } | 285 | } |
@@ -278,6 +289,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
278 | * <!-- end-user-doc --> | 289 | * <!-- end-user-doc --> |
279 | * @generated | 290 | * @generated |
280 | */ | 291 | */ |
292 | @Override | ||
281 | public EClass getUnknownResult() { | 293 | public EClass getUnknownResult() { |
282 | return unknownResultEClass; | 294 | return unknownResultEClass; |
283 | } | 295 | } |
@@ -287,6 +299,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
287 | * <!-- end-user-doc --> | 299 | * <!-- end-user-doc --> |
288 | * @generated | 300 | * @generated |
289 | */ | 301 | */ |
302 | @Override | ||
290 | public EClass getInsuficientResourcesResult() { | 303 | public EClass getInsuficientResourcesResult() { |
291 | return insuficientResourcesResultEClass; | 304 | return insuficientResourcesResultEClass; |
292 | } | 305 | } |
@@ -296,6 +309,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
296 | * <!-- end-user-doc --> | 309 | * <!-- end-user-doc --> |
297 | * @generated | 310 | * @generated |
298 | */ | 311 | */ |
312 | @Override | ||
299 | public EAttribute getInsuficientResourcesResult_ResourceName() { | 313 | public EAttribute getInsuficientResourcesResult_ResourceName() { |
300 | return (EAttribute)insuficientResourcesResultEClass.getEStructuralFeatures().get(0); | 314 | return (EAttribute)insuficientResourcesResultEClass.getEStructuralFeatures().get(0); |
301 | } | 315 | } |
@@ -305,6 +319,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
305 | * <!-- end-user-doc --> | 319 | * <!-- end-user-doc --> |
306 | * @generated | 320 | * @generated |
307 | */ | 321 | */ |
322 | @Override | ||
308 | public EClass getErrorResult() { | 323 | public EClass getErrorResult() { |
309 | return errorResultEClass; | 324 | return errorResultEClass; |
310 | } | 325 | } |
@@ -314,6 +329,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
314 | * <!-- end-user-doc --> | 329 | * <!-- end-user-doc --> |
315 | * @generated | 330 | * @generated |
316 | */ | 331 | */ |
332 | @Override | ||
317 | public EAttribute getErrorResult_Message() { | 333 | public EAttribute getErrorResult_Message() { |
318 | return (EAttribute)errorResultEClass.getEStructuralFeatures().get(0); | 334 | return (EAttribute)errorResultEClass.getEStructuralFeatures().get(0); |
319 | } | 335 | } |
@@ -323,6 +339,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
323 | * <!-- end-user-doc --> | 339 | * <!-- end-user-doc --> |
324 | * @generated | 340 | * @generated |
325 | */ | 341 | */ |
342 | @Override | ||
326 | public EClass getStatistics() { | 343 | public EClass getStatistics() { |
327 | return statisticsEClass; | 344 | return statisticsEClass; |
328 | } | 345 | } |
@@ -332,6 +349,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
332 | * <!-- end-user-doc --> | 349 | * <!-- end-user-doc --> |
333 | * @generated | 350 | * @generated |
334 | */ | 351 | */ |
352 | @Override | ||
335 | public EReference getStatistics_Entries() { | 353 | public EReference getStatistics_Entries() { |
336 | return (EReference)statisticsEClass.getEStructuralFeatures().get(0); | 354 | return (EReference)statisticsEClass.getEStructuralFeatures().get(0); |
337 | } | 355 | } |
@@ -341,6 +359,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
341 | * <!-- end-user-doc --> | 359 | * <!-- end-user-doc --> |
342 | * @generated | 360 | * @generated |
343 | */ | 361 | */ |
362 | @Override | ||
344 | public EAttribute getStatistics_TransformationTime() { | 363 | public EAttribute getStatistics_TransformationTime() { |
345 | return (EAttribute)statisticsEClass.getEStructuralFeatures().get(1); | 364 | return (EAttribute)statisticsEClass.getEStructuralFeatures().get(1); |
346 | } | 365 | } |
@@ -350,6 +369,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
350 | * <!-- end-user-doc --> | 369 | * <!-- end-user-doc --> |
351 | * @generated | 370 | * @generated |
352 | */ | 371 | */ |
372 | @Override | ||
353 | public EAttribute getStatistics_SolverTime() { | 373 | public EAttribute getStatistics_SolverTime() { |
354 | return (EAttribute)statisticsEClass.getEStructuralFeatures().get(2); | 374 | return (EAttribute)statisticsEClass.getEStructuralFeatures().get(2); |
355 | } | 375 | } |
@@ -359,6 +379,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
359 | * <!-- end-user-doc --> | 379 | * <!-- end-user-doc --> |
360 | * @generated | 380 | * @generated |
361 | */ | 381 | */ |
382 | @Override | ||
362 | public EAttribute getStatistics_SolverMemory() { | 383 | public EAttribute getStatistics_SolverMemory() { |
363 | return (EAttribute)statisticsEClass.getEStructuralFeatures().get(3); | 384 | return (EAttribute)statisticsEClass.getEStructuralFeatures().get(3); |
364 | } | 385 | } |
@@ -368,6 +389,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
368 | * <!-- end-user-doc --> | 389 | * <!-- end-user-doc --> |
369 | * @generated | 390 | * @generated |
370 | */ | 391 | */ |
392 | @Override | ||
371 | public EClass getStatisticEntry() { | 393 | public EClass getStatisticEntry() { |
372 | return statisticEntryEClass; | 394 | return statisticEntryEClass; |
373 | } | 395 | } |
@@ -377,6 +399,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
377 | * <!-- end-user-doc --> | 399 | * <!-- end-user-doc --> |
378 | * @generated | 400 | * @generated |
379 | */ | 401 | */ |
402 | @Override | ||
380 | public EAttribute getStatisticEntry_Name() { | 403 | public EAttribute getStatisticEntry_Name() { |
381 | return (EAttribute)statisticEntryEClass.getEStructuralFeatures().get(0); | 404 | return (EAttribute)statisticEntryEClass.getEStructuralFeatures().get(0); |
382 | } | 405 | } |
@@ -386,6 +409,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
386 | * <!-- end-user-doc --> | 409 | * <!-- end-user-doc --> |
387 | * @generated | 410 | * @generated |
388 | */ | 411 | */ |
412 | @Override | ||
389 | public EClass getUndecidableResult() { | 413 | public EClass getUndecidableResult() { |
390 | return undecidableResultEClass; | 414 | return undecidableResultEClass; |
391 | } | 415 | } |
@@ -395,6 +419,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
395 | * <!-- end-user-doc --> | 419 | * <!-- end-user-doc --> |
396 | * @generated | 420 | * @generated |
397 | */ | 421 | */ |
422 | @Override | ||
398 | public EClass getIntStatisticEntry() { | 423 | public EClass getIntStatisticEntry() { |
399 | return intStatisticEntryEClass; | 424 | return intStatisticEntryEClass; |
400 | } | 425 | } |
@@ -404,6 +429,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
404 | * <!-- end-user-doc --> | 429 | * <!-- end-user-doc --> |
405 | * @generated | 430 | * @generated |
406 | */ | 431 | */ |
432 | @Override | ||
407 | public EAttribute getIntStatisticEntry_Value() { | 433 | public EAttribute getIntStatisticEntry_Value() { |
408 | return (EAttribute)intStatisticEntryEClass.getEStructuralFeatures().get(0); | 434 | return (EAttribute)intStatisticEntryEClass.getEStructuralFeatures().get(0); |
409 | } | 435 | } |
@@ -413,6 +439,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
413 | * <!-- end-user-doc --> | 439 | * <!-- end-user-doc --> |
414 | * @generated | 440 | * @generated |
415 | */ | 441 | */ |
442 | @Override | ||
416 | public EClass getRealStatisticEntry() { | 443 | public EClass getRealStatisticEntry() { |
417 | return realStatisticEntryEClass; | 444 | return realStatisticEntryEClass; |
418 | } | 445 | } |
@@ -422,6 +449,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
422 | * <!-- end-user-doc --> | 449 | * <!-- end-user-doc --> |
423 | * @generated | 450 | * @generated |
424 | */ | 451 | */ |
452 | @Override | ||
425 | public EAttribute getRealStatisticEntry_Value() { | 453 | public EAttribute getRealStatisticEntry_Value() { |
426 | return (EAttribute)realStatisticEntryEClass.getEStructuralFeatures().get(0); | 454 | return (EAttribute)realStatisticEntryEClass.getEStructuralFeatures().get(0); |
427 | } | 455 | } |
@@ -431,6 +459,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
431 | * <!-- end-user-doc --> | 459 | * <!-- end-user-doc --> |
432 | * @generated | 460 | * @generated |
433 | */ | 461 | */ |
462 | @Override | ||
434 | public EClass getStringStatisticEntry() { | 463 | public EClass getStringStatisticEntry() { |
435 | return stringStatisticEntryEClass; | 464 | return stringStatisticEntryEClass; |
436 | } | 465 | } |
@@ -440,6 +469,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
440 | * <!-- end-user-doc --> | 469 | * <!-- end-user-doc --> |
441 | * @generated | 470 | * @generated |
442 | */ | 471 | */ |
472 | @Override | ||
443 | public EAttribute getStringStatisticEntry_Value() { | 473 | public EAttribute getStringStatisticEntry_Value() { |
444 | return (EAttribute)stringStatisticEntryEClass.getEStructuralFeatures().get(0); | 474 | return (EAttribute)stringStatisticEntryEClass.getEStructuralFeatures().get(0); |
445 | } | 475 | } |
@@ -449,6 +479,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
449 | * <!-- end-user-doc --> | 479 | * <!-- end-user-doc --> |
450 | * @generated | 480 | * @generated |
451 | */ | 481 | */ |
482 | @Override | ||
452 | public LogicresultFactory getLogicresultFactory() { | 483 | public LogicresultFactory getLogicresultFactory() { |
453 | return (LogicresultFactory)getEFactoryInstance(); | 484 | return (LogicresultFactory)getEFactoryInstance(); |
454 | } | 485 | } |
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 index 63a15a81..5a601ae8 100644 --- 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 | |||
@@ -90,6 +90,7 @@ public class ModelResultImpl extends LogicResultImpl implements ModelResult { | |||
90 | * <!-- end-user-doc --> | 90 | * <!-- end-user-doc --> |
91 | * @generated | 91 | * @generated |
92 | */ | 92 | */ |
93 | @Override | ||
93 | public int getMaxInteger() { | 94 | public int getMaxInteger() { |
94 | return maxInteger; | 95 | return maxInteger; |
95 | } | 96 | } |
@@ -99,6 +100,7 @@ public class ModelResultImpl extends LogicResultImpl implements ModelResult { | |||
99 | * <!-- end-user-doc --> | 100 | * <!-- end-user-doc --> |
100 | * @generated | 101 | * @generated |
101 | */ | 102 | */ |
103 | @Override | ||
102 | public void setMaxInteger(int newMaxInteger) { | 104 | public void setMaxInteger(int newMaxInteger) { |
103 | int oldMaxInteger = maxInteger; | 105 | int oldMaxInteger = maxInteger; |
104 | maxInteger = newMaxInteger; | 106 | maxInteger = newMaxInteger; |
@@ -111,6 +113,7 @@ public class ModelResultImpl extends LogicResultImpl implements ModelResult { | |||
111 | * <!-- end-user-doc --> | 113 | * <!-- end-user-doc --> |
112 | * @generated | 114 | * @generated |
113 | */ | 115 | */ |
116 | @Override | ||
114 | public int getMinInteger() { | 117 | public int getMinInteger() { |
115 | return minInteger; | 118 | return minInteger; |
116 | } | 119 | } |
@@ -120,6 +123,7 @@ public class ModelResultImpl extends LogicResultImpl implements ModelResult { | |||
120 | * <!-- end-user-doc --> | 123 | * <!-- end-user-doc --> |
121 | * @generated | 124 | * @generated |
122 | */ | 125 | */ |
126 | @Override | ||
123 | public void setMinInteger(int newMinInteger) { | 127 | public void setMinInteger(int newMinInteger) { |
124 | int oldMinInteger = minInteger; | 128 | int oldMinInteger = minInteger; |
125 | minInteger = newMinInteger; | 129 | minInteger = newMinInteger; |
@@ -204,7 +208,7 @@ public class ModelResultImpl extends LogicResultImpl implements ModelResult { | |||
204 | public String toString() { | 208 | public String toString() { |
205 | if (eIsProxy()) return super.toString(); | 209 | if (eIsProxy()) return super.toString(); |
206 | 210 | ||
207 | StringBuffer result = new StringBuffer(super.toString()); | 211 | StringBuilder result = new StringBuilder(super.toString()); |
208 | result.append(" (maxInteger: "); | 212 | result.append(" (maxInteger: "); |
209 | result.append(maxInteger); | 213 | result.append(maxInteger); |
210 | result.append(", minInteger: "); | 214 | result.append(", minInteger: "); |
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 index ed09f0df..464a3b1a 100644 --- 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 | |||
@@ -69,6 +69,7 @@ public class RealStatisticEntryImpl extends StatisticEntryImpl implements RealSt | |||
69 | * <!-- end-user-doc --> | 69 | * <!-- end-user-doc --> |
70 | * @generated | 70 | * @generated |
71 | */ | 71 | */ |
72 | @Override | ||
72 | public double getValue() { | 73 | public double getValue() { |
73 | return value; | 74 | return value; |
74 | } | 75 | } |
@@ -78,6 +79,7 @@ public class RealStatisticEntryImpl extends StatisticEntryImpl implements RealSt | |||
78 | * <!-- end-user-doc --> | 79 | * <!-- end-user-doc --> |
79 | * @generated | 80 | * @generated |
80 | */ | 81 | */ |
82 | @Override | ||
81 | public void setValue(double newValue) { | 83 | public void setValue(double newValue) { |
82 | double oldValue = value; | 84 | double oldValue = value; |
83 | value = newValue; | 85 | value = newValue; |
@@ -152,7 +154,7 @@ public class RealStatisticEntryImpl extends StatisticEntryImpl implements RealSt | |||
152 | public String toString() { | 154 | public String toString() { |
153 | if (eIsProxy()) return super.toString(); | 155 | if (eIsProxy()) return super.toString(); |
154 | 156 | ||
155 | StringBuffer result = new StringBuffer(super.toString()); | 157 | StringBuilder result = new StringBuilder(super.toString()); |
156 | result.append(" (value: "); | 158 | result.append(" (value: "); |
157 | result.append(value); | 159 | result.append(value); |
158 | result.append(')'); | 160 | result.append(')'); |
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 index bc1c5a92..e15e2a49 100644 --- 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 | |||
@@ -70,6 +70,7 @@ public abstract class StatisticEntryImpl extends MinimalEObjectImpl.Container im | |||
70 | * <!-- end-user-doc --> | 70 | * <!-- end-user-doc --> |
71 | * @generated | 71 | * @generated |
72 | */ | 72 | */ |
73 | @Override | ||
73 | public String getName() { | 74 | public String getName() { |
74 | return name; | 75 | return name; |
75 | } | 76 | } |
@@ -79,6 +80,7 @@ public abstract class StatisticEntryImpl extends MinimalEObjectImpl.Container im | |||
79 | * <!-- end-user-doc --> | 80 | * <!-- end-user-doc --> |
80 | * @generated | 81 | * @generated |
81 | */ | 82 | */ |
83 | @Override | ||
82 | public void setName(String newName) { | 84 | public void setName(String newName) { |
83 | String oldName = name; | 85 | String oldName = name; |
84 | name = newName; | 86 | name = newName; |
@@ -153,7 +155,7 @@ public abstract class StatisticEntryImpl extends MinimalEObjectImpl.Container im | |||
153 | public String toString() { | 155 | public String toString() { |
154 | if (eIsProxy()) return super.toString(); | 156 | if (eIsProxy()) return super.toString(); |
155 | 157 | ||
156 | StringBuffer result = new StringBuffer(super.toString()); | 158 | StringBuilder result = new StringBuilder(super.toString()); |
157 | result.append(" (name: "); | 159 | result.append(" (name: "); |
158 | result.append(name); | 160 | result.append(name); |
159 | result.append(')'); | 161 | result.append(')'); |
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 index 77d43c97..e0cce270 100644 --- 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 | |||
@@ -133,6 +133,7 @@ public class StatisticsImpl extends MinimalEObjectImpl.Container implements Stat | |||
133 | * <!-- end-user-doc --> | 133 | * <!-- end-user-doc --> |
134 | * @generated | 134 | * @generated |
135 | */ | 135 | */ |
136 | @Override | ||
136 | public EList<StatisticEntry> getEntries() { | 137 | public EList<StatisticEntry> getEntries() { |
137 | if (entries == null) { | 138 | if (entries == null) { |
138 | entries = new EObjectContainmentEList<StatisticEntry>(StatisticEntry.class, this, LogicresultPackage.STATISTICS__ENTRIES); | 139 | entries = new EObjectContainmentEList<StatisticEntry>(StatisticEntry.class, this, LogicresultPackage.STATISTICS__ENTRIES); |
@@ -145,6 +146,7 @@ public class StatisticsImpl extends MinimalEObjectImpl.Container implements Stat | |||
145 | * <!-- end-user-doc --> | 146 | * <!-- end-user-doc --> |
146 | * @generated | 147 | * @generated |
147 | */ | 148 | */ |
149 | @Override | ||
148 | public int getTransformationTime() { | 150 | public int getTransformationTime() { |
149 | return transformationTime; | 151 | return transformationTime; |
150 | } | 152 | } |
@@ -154,6 +156,7 @@ public class StatisticsImpl extends MinimalEObjectImpl.Container implements Stat | |||
154 | * <!-- end-user-doc --> | 156 | * <!-- end-user-doc --> |
155 | * @generated | 157 | * @generated |
156 | */ | 158 | */ |
159 | @Override | ||
157 | public void setTransformationTime(int newTransformationTime) { | 160 | public void setTransformationTime(int newTransformationTime) { |
158 | int oldTransformationTime = transformationTime; | 161 | int oldTransformationTime = transformationTime; |
159 | transformationTime = newTransformationTime; | 162 | transformationTime = newTransformationTime; |
@@ -166,6 +169,7 @@ public class StatisticsImpl extends MinimalEObjectImpl.Container implements Stat | |||
166 | * <!-- end-user-doc --> | 169 | * <!-- end-user-doc --> |
167 | * @generated | 170 | * @generated |
168 | */ | 171 | */ |
172 | @Override | ||
169 | public int getSolverTime() { | 173 | public int getSolverTime() { |
170 | return solverTime; | 174 | return solverTime; |
171 | } | 175 | } |
@@ -175,6 +179,7 @@ public class StatisticsImpl extends MinimalEObjectImpl.Container implements Stat | |||
175 | * <!-- end-user-doc --> | 179 | * <!-- end-user-doc --> |
176 | * @generated | 180 | * @generated |
177 | */ | 181 | */ |
182 | @Override | ||
178 | public void setSolverTime(int newSolverTime) { | 183 | public void setSolverTime(int newSolverTime) { |
179 | int oldSolverTime = solverTime; | 184 | int oldSolverTime = solverTime; |
180 | solverTime = newSolverTime; | 185 | solverTime = newSolverTime; |
@@ -187,6 +192,7 @@ public class StatisticsImpl extends MinimalEObjectImpl.Container implements Stat | |||
187 | * <!-- end-user-doc --> | 192 | * <!-- end-user-doc --> |
188 | * @generated | 193 | * @generated |
189 | */ | 194 | */ |
195 | @Override | ||
190 | public int getSolverMemory() { | 196 | public int getSolverMemory() { |
191 | return solverMemory; | 197 | return solverMemory; |
192 | } | 198 | } |
@@ -196,6 +202,7 @@ public class StatisticsImpl extends MinimalEObjectImpl.Container implements Stat | |||
196 | * <!-- end-user-doc --> | 202 | * <!-- end-user-doc --> |
197 | * @generated | 203 | * @generated |
198 | */ | 204 | */ |
205 | @Override | ||
199 | public void setSolverMemory(int newSolverMemory) { | 206 | public void setSolverMemory(int newSolverMemory) { |
200 | int oldSolverMemory = solverMemory; | 207 | int oldSolverMemory = solverMemory; |
201 | solverMemory = newSolverMemory; | 208 | solverMemory = newSolverMemory; |
@@ -316,7 +323,7 @@ public class StatisticsImpl extends MinimalEObjectImpl.Container implements Stat | |||
316 | public String toString() { | 323 | public String toString() { |
317 | if (eIsProxy()) return super.toString(); | 324 | if (eIsProxy()) return super.toString(); |
318 | 325 | ||
319 | StringBuffer result = new StringBuffer(super.toString()); | 326 | StringBuilder result = new StringBuilder(super.toString()); |
320 | result.append(" (transformationTime: "); | 327 | result.append(" (transformationTime: "); |
321 | result.append(transformationTime); | 328 | result.append(transformationTime); |
322 | result.append(", solverTime: "); | 329 | result.append(", solverTime: "); |
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 index 8698f73b..9011cf97 100644 --- 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 | |||
@@ -69,6 +69,7 @@ public class StringStatisticEntryImpl extends StatisticEntryImpl implements Stri | |||
69 | * <!-- end-user-doc --> | 69 | * <!-- end-user-doc --> |
70 | * @generated | 70 | * @generated |
71 | */ | 71 | */ |
72 | @Override | ||
72 | public String getValue() { | 73 | public String getValue() { |
73 | return value; | 74 | return value; |
74 | } | 75 | } |
@@ -78,6 +79,7 @@ public class StringStatisticEntryImpl extends StatisticEntryImpl implements Stri | |||
78 | * <!-- end-user-doc --> | 79 | * <!-- end-user-doc --> |
79 | * @generated | 80 | * @generated |
80 | */ | 81 | */ |
82 | @Override | ||
81 | public void setValue(String newValue) { | 83 | public void setValue(String newValue) { |
82 | String oldValue = value; | 84 | String oldValue = value; |
83 | value = newValue; | 85 | value = newValue; |
@@ -152,7 +154,7 @@ public class StringStatisticEntryImpl extends StatisticEntryImpl implements Stri | |||
152 | public String toString() { | 154 | public String toString() { |
153 | if (eIsProxy()) return super.toString(); | 155 | if (eIsProxy()) return super.toString(); |
154 | 156 | ||
155 | StringBuffer result = new StringBuffer(super.toString()); | 157 | StringBuilder result = new StringBuilder(super.toString()); |
156 | result.append(" (value: "); | 158 | result.append(" (value: "); |
157 | result.append(value); | 159 | result.append(value); |
158 | result.append(')'); | 160 | result.append(')'); |