1 files changed, 183 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/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 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
+import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.*;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EPackage;
+import org.eclipse.emf.ecore.impl.EFactoryImpl;
+import org.eclipse.emf.ecore.plugin.EcorePlugin;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model <b>Factory</b>.
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class LogicresultFactoryImpl extends EFactoryImpl implements LogicresultFactory {
+        /**
+         * Creates the default factory implementation.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public static LogicresultFactory init() {
+                try {
+                        LogicresultFactory theLogicresultFactory = (LogicresultFactory)EPackage.Registry.INSTANCE.getEFactory(LogicresultPackage.eNS_URI);
+                        if (theLogicresultFactory != null) {
+                                return theLogicresultFactory;
+                        }
+                }
+                catch (Exception exception) {
+                        EcorePlugin.INSTANCE.log(exception);
+                }
+                return new LogicresultFactoryImpl();
+        }
+        /**
+         * Creates an instance of the factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public LogicresultFactoryImpl() {
+                super();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EObject create(EClass eClass) {
+                switch (eClass.getClassifierID()) {
+                        case LogicresultPackage.MODEL_RESULT: return createModelResult();
+                        case LogicresultPackage.INCONSISTENCY_RESULT: return createInconsistencyResult();
+                        case LogicresultPackage.INSUFICIENT_RESOURCES_RESULT: return createInsuficientResourcesResult();
+                        case LogicresultPackage.ERROR_RESULT: return createErrorResult();
+                        case LogicresultPackage.STATISTICS: return createStatistics();
+                        case LogicresultPackage.UNDECIDABLE_RESULT: return createUndecidableResult();
+                        case LogicresultPackage.INT_STATISTIC_ENTRY: return createIntStatisticEntry();
+                        case LogicresultPackage.REAL_STATISTIC_ENTRY: return createRealStatisticEntry();
+                        case LogicresultPackage.STRING_STATISTIC_ENTRY: return createStringStatisticEntry();
+                        default:
+                                throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
+                }
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public ModelResult createModelResult() {
+                ModelResultImpl modelResult = new ModelResultImpl();
+                return modelResult;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public InconsistencyResult createInconsistencyResult() {
+                InconsistencyResultImpl inconsistencyResult = new InconsistencyResultImpl();
+                return inconsistencyResult;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public InsuficientResourcesResult createInsuficientResourcesResult() {
+                InsuficientResourcesResultImpl insuficientResourcesResult = new InsuficientResourcesResultImpl();
+                return insuficientResourcesResult;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public ErrorResult createErrorResult() {
+                ErrorResultImpl errorResult = new ErrorResultImpl();
+                return errorResult;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Statistics createStatistics() {
+                StatisticsImpl statistics = new StatisticsImpl();
+                return statistics;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public UndecidableResult createUndecidableResult() {
+                UndecidableResultImpl undecidableResult = new UndecidableResultImpl();
+                return undecidableResult;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public IntStatisticEntry createIntStatisticEntry() {
+                IntStatisticEntryImpl intStatisticEntry = new IntStatisticEntryImpl();
+                return intStatisticEntry;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public RealStatisticEntry createRealStatisticEntry() {
+                RealStatisticEntryImpl realStatisticEntry = new RealStatisticEntryImpl();
+                return realStatisticEntry;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public StringStatisticEntry createStringStatisticEntry() {
+                StringStatisticEntryImpl stringStatisticEntry = new StringStatisticEntryImpl();
+                return stringStatisticEntry;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public LogicresultPackage getLogicresultPackage() {
+                return (LogicresultPackage)getEPackage();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @deprecated
+         * @generated
+         */
+        @Deprecated
+        public static LogicresultPackage getPackage() {
+                return LogicresultPackage.eINSTANCE;
+        }
+} //LogicresultFactoryImpl

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultFactoryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultFactoryImpl.java new file mode 100644 index 00000000..5a102523 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultFactoryImpl.java
@@ -0,0 +1,183 @@
	1	/**
	2	*/
	3	package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
	4
	5	import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.*;
	6
	7	import org.eclipse.emf.ecore.EClass;
	8	import org.eclipse.emf.ecore.EObject;
	9	import org.eclipse.emf.ecore.EPackage;
	10
	11	import org.eclipse.emf.ecore.impl.EFactoryImpl;
	12
	13	import org.eclipse.emf.ecore.plugin.EcorePlugin;
	14
	15	/**
	16	* <!-- begin-user-doc -->
	17	* An implementation of the model <b>Factory</b>.
	18	* <!-- end-user-doc -->
	19	* @generated
	20	*/
	21	public class LogicresultFactoryImpl extends EFactoryImpl implements LogicresultFactory {
	22	/**
	23	* Creates the default factory implementation.
	24	* <!-- begin-user-doc -->
	25	* <!-- end-user-doc -->
	26	* @generated
	27	*/
	28	public static LogicresultFactory init() {
	29	try {
	30	LogicresultFactory theLogicresultFactory = (LogicresultFactory)EPackage.Registry.INSTANCE.getEFactory(LogicresultPackage.eNS_URI);
	31	if (theLogicresultFactory != null) {
	32	return theLogicresultFactory;
	33	}
	34	}
	35	catch (Exception exception) {
	36	EcorePlugin.INSTANCE.log(exception);
	37	}
	38	return new LogicresultFactoryImpl();
	39	}
	40
	41	/**
	42	* Creates an instance of the factory.
	43	* <!-- begin-user-doc -->
	44	* <!-- end-user-doc -->
	45	* @generated
	46	*/
	47	public LogicresultFactoryImpl() {
	48	super();
	49	}
	50
	51	/**
	52	* <!-- begin-user-doc -->
	53	* <!-- end-user-doc -->
	54	* @generated
	55	*/
	56	@Override
	57	public EObject create(EClass eClass) {
	58	switch (eClass.getClassifierID()) {
	59	case LogicresultPackage.MODEL_RESULT: return createModelResult();
	60	case LogicresultPackage.INCONSISTENCY_RESULT: return createInconsistencyResult();
	61	case LogicresultPackage.INSUFICIENT_RESOURCES_RESULT: return createInsuficientResourcesResult();
	62	case LogicresultPackage.ERROR_RESULT: return createErrorResult();
	63	case LogicresultPackage.STATISTICS: return createStatistics();
	64	case LogicresultPackage.UNDECIDABLE_RESULT: return createUndecidableResult();
	65	case LogicresultPackage.INT_STATISTIC_ENTRY: return createIntStatisticEntry();
	66	case LogicresultPackage.REAL_STATISTIC_ENTRY: return createRealStatisticEntry();
	67	case LogicresultPackage.STRING_STATISTIC_ENTRY: return createStringStatisticEntry();
	68	default:
	69	throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
	70	}
	71	}
	72
	73	/**
	74	* <!-- begin-user-doc -->
	75	* <!-- end-user-doc -->
	76	* @generated
	77	*/
	78	public ModelResult createModelResult() {
	79	ModelResultImpl modelResult = new ModelResultImpl();
	80	return modelResult;
	81	}
	82
	83	/**
	84	* <!-- begin-user-doc -->
	85	* <!-- end-user-doc -->
	86	* @generated
	87	*/
	88	public InconsistencyResult createInconsistencyResult() {
	89	InconsistencyResultImpl inconsistencyResult = new InconsistencyResultImpl();
	90	return inconsistencyResult;
	91	}
	92
	93	/**
	94	* <!-- begin-user-doc -->
	95	* <!-- end-user-doc -->
	96	* @generated
	97	*/
	98	public InsuficientResourcesResult createInsuficientResourcesResult() {
	99	InsuficientResourcesResultImpl insuficientResourcesResult = new InsuficientResourcesResultImpl();
	100	return insuficientResourcesResult;
	101	}
	102
	103	/**
	104	* <!-- begin-user-doc -->
	105	* <!-- end-user-doc -->
	106	* @generated
	107	*/
	108	public ErrorResult createErrorResult() {
	109	ErrorResultImpl errorResult = new ErrorResultImpl();
	110	return errorResult;
	111	}
	112
	113	/**
	114	* <!-- begin-user-doc -->
	115	* <!-- end-user-doc -->
	116	* @generated
	117	*/
	118	public Statistics createStatistics() {
	119	StatisticsImpl statistics = new StatisticsImpl();
	120	return statistics;
	121	}
	122
	123	/**
	124	* <!-- begin-user-doc -->
	125	* <!-- end-user-doc -->
	126	* @generated
	127	*/
	128	public UndecidableResult createUndecidableResult() {
	129	UndecidableResultImpl undecidableResult = new UndecidableResultImpl();
	130	return undecidableResult;
	131	}
	132
	133	/**
	134	* <!-- begin-user-doc -->
	135	* <!-- end-user-doc -->
	136	* @generated
	137	*/
	138	public IntStatisticEntry createIntStatisticEntry() {
	139	IntStatisticEntryImpl intStatisticEntry = new IntStatisticEntryImpl();
	140	return intStatisticEntry;
	141	}
	142
	143	/**
	144	* <!-- begin-user-doc -->
	145	* <!-- end-user-doc -->
	146	* @generated
	147	*/
	148	public RealStatisticEntry createRealStatisticEntry() {
	149	RealStatisticEntryImpl realStatisticEntry = new RealStatisticEntryImpl();
	150	return realStatisticEntry;
	151	}
	152
	153	/**
	154	* <!-- begin-user-doc -->
	155	* <!-- end-user-doc -->
	156	* @generated
	157	*/
	158	public StringStatisticEntry createStringStatisticEntry() {
	159	StringStatisticEntryImpl stringStatisticEntry = new StringStatisticEntryImpl();
	160	return stringStatisticEntry;
	161	}
	162
	163	/**
	164	* <!-- begin-user-doc -->
	165	* <!-- end-user-doc -->
	166	* @generated
	167	*/
	168	public LogicresultPackage getLogicresultPackage() {
	169	return (LogicresultPackage)getEPackage();
	170	}
	171
	172	/**
	173	* <!-- begin-user-doc -->
	174	* <!-- end-user-doc -->
	175	* @deprecated
	176	* @generated
	177	*/
	178	@Deprecated
	179	public static LogicresultPackage getPackage() {
	180	return LogicresultPackage.eINSTANCE;
	181	}
	182
	183	} //LogicresultFactoryImpl