1 files changed, 228 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/util/LogicproblemAdapterFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/util/LogicproblemAdapterFactory.java
new file mode 100644
index 00000000..568a625c
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/util/LogicproblemAdapterFactory.java
@@ -0,0 +1,228 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.util;
+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.*;
+import org.eclipse.emf.common.notify.Adapter;
+import org.eclipse.emf.common.notify.Notifier;
+import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
+import org.eclipse.emf.ecore.EObject;
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Adapter Factory</b> for the model.
+ * It provides an adapter <code>createXXX</code> method for each class of the model.
+ * <!-- end-user-doc -->
+ * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage
+ * @generated
+ */
+public class LogicproblemAdapterFactory extends AdapterFactoryImpl {
+        /**
+         * The cached model package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static LogicproblemPackage modelPackage;
+        /**
+         * Creates an instance of the adapter factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public LogicproblemAdapterFactory() {
+                if (modelPackage == null) {
+                        modelPackage = LogicproblemPackage.eINSTANCE;
+                }
+        }
+        /**
+         * Returns whether this factory is applicable for the type of the object.
+         * <!-- begin-user-doc -->
+         * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
+         * <!-- end-user-doc -->
+         * @return whether this factory is applicable for the type of the object.
+         * @generated
+         */
+        @Override
+        public boolean isFactoryForType(Object object) {
+                if (object == modelPackage) {
+                        return true;
+                }
+                if (object instanceof EObject) {
+                        return ((EObject)object).eClass().getEPackage() == modelPackage;
+                }
+                return false;
+        }
+        /**
+         * The switch that delegates to the <code>createXXX</code> methods.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected LogicproblemSwitch<Adapter> modelSwitch =
+                new LogicproblemSwitch<Adapter>() {
+                        @Override
+                        public Adapter caseLogicProblem(LogicProblem object) {
+                                return createLogicProblemAdapter();
+                        }
+                        @Override
+                        public Adapter caseContainmentHierarchy(ContainmentHierarchy object) {
+                                return createContainmentHierarchyAdapter();
+                        }
+                        @Override
+                        public Adapter caseRelationAnnotation(RelationAnnotation object) {
+                                return createRelationAnnotationAdapter();
+                        }
+                        @Override
+                        public Adapter caseConstantAnnotation(ConstantAnnotation object) {
+                                return createConstantAnnotationAdapter();
+                        }
+                        @Override
+                        public Adapter caseFunctionAnnotation(FunctionAnnotation object) {
+                                return createFunctionAnnotationAdapter();
+                        }
+                        @Override
+                        public Adapter caseAssertionAnnotation(AssertionAnnotation object) {
+                                return createAssertionAnnotationAdapter();
+                        }
+                        @Override
+                        public Adapter caseAnnotation(Annotation object) {
+                                return createAnnotationAdapter();
+                        }
+                        @Override
+                        public Adapter defaultCase(EObject object) {
+                                return createEObjectAdapter();
+                        }
+                };
+        /**
+         * Creates an adapter for the <code>target</code>.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param target the object to adapt.
+         * @return the adapter for the <code>target</code>.
+         * @generated
+         */
+        @Override
+        public Adapter createAdapter(Notifier target) {
+                return modelSwitch.doSwitch((EObject)target);
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem <em>Logic Problem</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem
+         * @generated
+         */
+        public Adapter createLogicProblemAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy <em>Containment Hierarchy</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy
+         * @generated
+         */
+        public Adapter createContainmentHierarchyAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation <em>Relation Annotation</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation
+         * @generated
+         */
+        public Adapter createRelationAnnotationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation <em>Constant Annotation</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation
+         * @generated
+         */
+        public Adapter createConstantAnnotationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation <em>Function Annotation</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation
+         * @generated
+         */
+        public Adapter createFunctionAnnotationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation <em>Assertion Annotation</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation
+         * @generated
+         */
+        public Adapter createAssertionAnnotationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation <em>Annotation</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation
+         * @generated
+         */
+        public Adapter createAnnotationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for the default case.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @generated
+         */
+        public Adapter createEObjectAdapter() {
+                return null;
+        }
+} //LogicproblemAdapterFactory

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/util/LogicproblemAdapterFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/util/LogicproblemAdapterFactory.java new file mode 100644 index 00000000..568a625c --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/util/LogicproblemAdapterFactory.java
@@ -0,0 +1,228 @@
	1	/**
	2	*/
	3	package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.util;
	4
	5	import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.*;
	6
	7	import org.eclipse.emf.common.notify.Adapter;
	8	import org.eclipse.emf.common.notify.Notifier;
	9
	10	import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
	11
	12	import org.eclipse.emf.ecore.EObject;
	13
	14	/**
	15	* <!-- begin-user-doc -->
	16	* The <b>Adapter Factory</b> for the model.
	17	* It provides an adapter <code>createXXX</code> method for each class of the model.
	18	* <!-- end-user-doc -->
	19	* @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage
	20	* @generated
	21	*/
	22	public class LogicproblemAdapterFactory extends AdapterFactoryImpl {
	23	/**
	24	* The cached model package.
	25	* <!-- begin-user-doc -->
	26	* <!-- end-user-doc -->
	27	* @generated
	28	*/
	29	protected static LogicproblemPackage modelPackage;
	30
	31	/**
	32	* Creates an instance of the adapter factory.
	33	* <!-- begin-user-doc -->
	34	* <!-- end-user-doc -->
	35	* @generated
	36	*/
	37	public LogicproblemAdapterFactory() {
	38	if (modelPackage == null) {
	39	modelPackage = LogicproblemPackage.eINSTANCE;
	40	}
	41	}
	42
	43	/**
	44	* Returns whether this factory is applicable for the type of the object.
	45	* <!-- begin-user-doc -->
	46	* This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
	47	* <!-- end-user-doc -->
	48	* @return whether this factory is applicable for the type of the object.
	49	* @generated
	50	*/
	51	@Override
	52	public boolean isFactoryForType(Object object) {
	53	if (object == modelPackage) {
	54	return true;
	55	}
	56	if (object instanceof EObject) {
	57	return ((EObject)object).eClass().getEPackage() == modelPackage;
	58	}
	59	return false;
	60	}
	61
	62	/**
	63	* The switch that delegates to the <code>createXXX</code> methods.
	64	* <!-- begin-user-doc -->
	65	* <!-- end-user-doc -->
	66	* @generated
	67	*/
	68	protected LogicproblemSwitch<Adapter> modelSwitch =
	69	new LogicproblemSwitch<Adapter>() {
	70	@Override
	71	public Adapter caseLogicProblem(LogicProblem object) {
	72	return createLogicProblemAdapter();
	73	}
	74	@Override
	75	public Adapter caseContainmentHierarchy(ContainmentHierarchy object) {
	76	return createContainmentHierarchyAdapter();
	77	}
	78	@Override
	79	public Adapter caseRelationAnnotation(RelationAnnotation object) {
	80	return createRelationAnnotationAdapter();
	81	}
	82	@Override
	83	public Adapter caseConstantAnnotation(ConstantAnnotation object) {
	84	return createConstantAnnotationAdapter();
	85	}
	86	@Override
	87	public Adapter caseFunctionAnnotation(FunctionAnnotation object) {
	88	return createFunctionAnnotationAdapter();
	89	}
	90	@Override
	91	public Adapter caseAssertionAnnotation(AssertionAnnotation object) {
	92	return createAssertionAnnotationAdapter();
	93	}
	94	@Override
	95	public Adapter caseAnnotation(Annotation object) {
	96	return createAnnotationAdapter();
	97	}
	98	@Override
	99	public Adapter defaultCase(EObject object) {
	100	return createEObjectAdapter();
	101	}
	102	};
	103
	104	/**
	105	* Creates an adapter for the <code>target</code>.
	106	* <!-- begin-user-doc -->
	107	* <!-- end-user-doc -->
	108	* @param target the object to adapt.
	109	* @return the adapter for the <code>target</code>.
	110	* @generated
	111	*/
	112	@Override
	113	public Adapter createAdapter(Notifier target) {
	114	return modelSwitch.doSwitch((EObject)target);
	115	}
	116
	117
	118	/**
	119	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem <em>Logic Problem</em>}'.
	120	* <!-- begin-user-doc -->
	121	* This default implementation returns null so that we can easily ignore cases;
	122	* it's useful to ignore a case when inheritance will catch all the cases anyway.
	123	* <!-- end-user-doc -->
	124	* @return the new adapter.
	125	* @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem
	126	* @generated
	127	*/
	128	public Adapter createLogicProblemAdapter() {
	129	return null;
	130	}
	131
	132	/**
	133	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy <em>Containment Hierarchy</em>}'.
	134	* <!-- begin-user-doc -->
	135	* This default implementation returns null so that we can easily ignore cases;
	136	* it's useful to ignore a case when inheritance will catch all the cases anyway.
	137	* <!-- end-user-doc -->
	138	* @return the new adapter.
	139	* @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy
	140	* @generated
	141	*/
	142	public Adapter createContainmentHierarchyAdapter() {
	143	return null;
	144	}
	145
	146	/**
	147	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation <em>Relation Annotation</em>}'.
	148	* <!-- begin-user-doc -->
	149	* This default implementation returns null so that we can easily ignore cases;
	150	* it's useful to ignore a case when inheritance will catch all the cases anyway.
	151	* <!-- end-user-doc -->
	152	* @return the new adapter.
	153	* @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation
	154	* @generated
	155	*/
	156	public Adapter createRelationAnnotationAdapter() {
	157	return null;
	158	}
	159
	160	/**
	161	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation <em>Constant Annotation</em>}'.
	162	* <!-- begin-user-doc -->
	163	* This default implementation returns null so that we can easily ignore cases;
	164	* it's useful to ignore a case when inheritance will catch all the cases anyway.
	165	* <!-- end-user-doc -->
	166	* @return the new adapter.
	167	* @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation
	168	* @generated
	169	*/
	170	public Adapter createConstantAnnotationAdapter() {
	171	return null;
	172	}
	173
	174	/**
	175	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation <em>Function Annotation</em>}'.
	176	* <!-- begin-user-doc -->
	177	* This default implementation returns null so that we can easily ignore cases;
	178	* it's useful to ignore a case when inheritance will catch all the cases anyway.
	179	* <!-- end-user-doc -->
	180	* @return the new adapter.
	181	* @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation
	182	* @generated
	183	*/
	184	public Adapter createFunctionAnnotationAdapter() {
	185	return null;
	186	}
	187
	188	/**
	189	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation <em>Assertion Annotation</em>}'.
	190	* <!-- begin-user-doc -->
	191	* This default implementation returns null so that we can easily ignore cases;
	192	* it's useful to ignore a case when inheritance will catch all the cases anyway.
	193	* <!-- end-user-doc -->
	194	* @return the new adapter.
	195	* @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation
	196	* @generated
	197	*/
	198	public Adapter createAssertionAnnotationAdapter() {
	199	return null;
	200	}
	201
	202	/**
	203	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation <em>Annotation</em>}'.
	204	* <!-- begin-user-doc -->
	205	* This default implementation returns null so that we can easily ignore cases;
	206	* it's useful to ignore a case when inheritance will catch all the cases anyway.
	207	* <!-- end-user-doc -->
	208	* @return the new adapter.
	209	* @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation
	210	* @generated
	211	*/
	212	public Adapter createAnnotationAdapter() {
	213	return null;
	214	}
	215
	216	/**
	217	* Creates a new adapter for the default case.
	218	* <!-- begin-user-doc -->
	219	* This default implementation returns null.
	220	* <!-- end-user-doc -->
	221	* @return the new adapter.
	222	* @generated
	223	*/
	224	public Adapter createEObjectAdapter() {
	225	return null;
	226	}
	227
	228	} //LogicproblemAdapterFactory