1 files changed, 205 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsPackageImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsPackageImpl.java
new file mode 100644
index 00000000..f83498cd
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsPackageImpl.java
@@ -0,0 +1,205 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsFactory;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EPackage;
+import org.eclipse.emf.ecore.EReference;
+import org.eclipse.emf.ecore.impl.EPackageImpl;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model <b>Package</b>.
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class Partial2logicannotationsPackageImpl extends EPackageImpl implements Partial2logicannotationsPackage {
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass partialModelRelation2AssertionEClass = null;
+        /**
+         * Creates an instance of the model <b>Package</b>, registered with
+         * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
+         * package URI value.
+         * <p>Note: the correct way to create the package is via the static
+         * factory method {@link #init init()}, which also performs
+         * initialization of the package, or returns the registered package,
+         * if one already exists.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see org.eclipse.emf.ecore.EPackage.Registry
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage#eNS_URI
+         * @see #init()
+         * @generated
+         */
+        private Partial2logicannotationsPackageImpl() {
+                super(eNS_URI, Partial2logicannotationsFactory.eINSTANCE);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private static boolean isInited = false;
+        /**
+         * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
+         * 
+         * <p>This method is used to initialize {@link Partial2logicannotationsPackage#eINSTANCE} when that field is accessed.
+         * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #eNS_URI
+         * @see #createPackageContents()
+         * @see #initializePackageContents()
+         * @generated
+         */
+        public static Partial2logicannotationsPackage init() {
+                if (isInited) return (Partial2logicannotationsPackage)EPackage.Registry.INSTANCE.getEPackage(Partial2logicannotationsPackage.eNS_URI);
+                // Obtain or create and register package
+                Partial2logicannotationsPackageImpl thePartial2logicannotationsPackage = (Partial2logicannotationsPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof Partial2logicannotationsPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new Partial2logicannotationsPackageImpl());
+                isInited = true;
+                // Initialize simple dependencies
+                LogiclanguagePackage.eINSTANCE.eClass();
+                LogicproblemPackage.eINSTANCE.eClass();
+                PartialinterpretationPackage.eINSTANCE.eClass();
+                // Create package meta-data objects
+                thePartial2logicannotationsPackage.createPackageContents();
+                // Initialize created meta-data
+                thePartial2logicannotationsPackage.initializePackageContents();
+                // Mark meta-data to indicate it can't be changed
+                thePartial2logicannotationsPackage.freeze();
+  
+                // Update the registry and return the package
+                EPackage.Registry.INSTANCE.put(Partial2logicannotationsPackage.eNS_URI, thePartial2logicannotationsPackage);
+                return thePartial2logicannotationsPackage;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EClass getPartialModelRelation2Assertion() {
+                return partialModelRelation2AssertionEClass;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EReference getPartialModelRelation2Assertion_Links() {
+                return (EReference)partialModelRelation2AssertionEClass.getEStructuralFeatures().get(0);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EReference getPartialModelRelation2Assertion_TargetRelation() {
+                return (EReference)partialModelRelation2AssertionEClass.getEStructuralFeatures().get(1);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Partial2logicannotationsFactory getPartial2logicannotationsFactory() {
+                return (Partial2logicannotationsFactory)getEFactoryInstance();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private boolean isCreated = false;
+        /**
+         * Creates the meta-model objects for the package.  This method is
+         * guarded to have no affect on any invocation but its first.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public void createPackageContents() {
+                if (isCreated) return;
+                isCreated = true;
+                // Create classes and their features
+                partialModelRelation2AssertionEClass = createEClass(PARTIAL_MODEL_RELATION2_ASSERTION);
+                createEReference(partialModelRelation2AssertionEClass, PARTIAL_MODEL_RELATION2_ASSERTION__LINKS);
+                createEReference(partialModelRelation2AssertionEClass, PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private boolean isInitialized = false;
+        /**
+         * Complete the initialization of the package and its meta-model.  This
+         * method is guarded to have no affect on any invocation but its first.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public void initializePackageContents() {
+                if (isInitialized) return;
+                isInitialized = true;
+                // Initialize package
+                setName(eNAME);
+                setNsPrefix(eNS_PREFIX);
+                setNsURI(eNS_URI);
+                // Obtain other dependent packages
+                LogicproblemPackage theLogicproblemPackage = (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI);
+                PartialinterpretationPackage thePartialinterpretationPackage = (PartialinterpretationPackage)EPackage.Registry.INSTANCE.getEPackage(PartialinterpretationPackage.eNS_URI);
+                LogiclanguagePackage theLogiclanguagePackage = (LogiclanguagePackage)EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI);
+                // Create type parameters
+                // Set bounds for type parameters
+                // Add supertypes to classes
+                partialModelRelation2AssertionEClass.getESuperTypes().add(theLogicproblemPackage.getAssertionAnnotation());
+                // Initialize classes, features, and operations; add parameters
+                initEClass(partialModelRelation2AssertionEClass, PartialModelRelation2Assertion.class, "PartialModelRelation2Assertion", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEReference(getPartialModelRelation2Assertion_Links(), thePartialinterpretationPackage.getRelationLink(), null, "links", null, 0, -1, PartialModelRelation2Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEReference(getPartialModelRelation2Assertion_TargetRelation(), theLogiclanguagePackage.getRelationDeclaration(), null, "targetRelation", null, 1, 1, PartialModelRelation2Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                // Create resource
+                createResource(eNS_URI);
+        }
+} //Partial2logicannotationsPackageImpl

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsPackageImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsPackageImpl.java new file mode 100644 index 00000000..f83498cd --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsPackageImpl.java
@@ -0,0 +1,205 @@
	1	/**
	2	*/
	3	package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl;
	4
	5	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
	6
	7	import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
	8
	9	import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsFactory;
	10	import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage;
	11	import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion;
	12
	13	import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
	14
	15	import org.eclipse.emf.ecore.EClass;
	16	import org.eclipse.emf.ecore.EPackage;
	17	import org.eclipse.emf.ecore.EReference;
	18
	19	import org.eclipse.emf.ecore.impl.EPackageImpl;
	20
	21	/**
	22	* <!-- begin-user-doc -->
	23	* An implementation of the model <b>Package</b>.
	24	* <!-- end-user-doc -->
	25	* @generated
	26	*/
	27	public class Partial2logicannotationsPackageImpl extends EPackageImpl implements Partial2logicannotationsPackage {
	28	/**
	29	* <!-- begin-user-doc -->
	30	* <!-- end-user-doc -->
	31	* @generated
	32	*/
	33	private EClass partialModelRelation2AssertionEClass = null;
	34
	35	/**
	36	* Creates an instance of the model <b>Package</b>, registered with
	37	* {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
	38	* package URI value.
	39	* <p>Note: the correct way to create the package is via the static
	40	* factory method {@link #init init()}, which also performs
	41	* initialization of the package, or returns the registered package,
	42	* if one already exists.
	43	* <!-- begin-user-doc -->
	44	* <!-- end-user-doc -->
	45	* @see org.eclipse.emf.ecore.EPackage.Registry
	46	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage#eNS_URI
	47	* @see #init()
	48	* @generated
	49	*/
	50	private Partial2logicannotationsPackageImpl() {
	51	super(eNS_URI, Partial2logicannotationsFactory.eINSTANCE);
	52	}
	53
	54	/**
	55	* <!-- begin-user-doc -->
	56	* <!-- end-user-doc -->
	57	* @generated
	58	*/
	59	private static boolean isInited = false;
	60
	61	/**
	62	* Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
	63	*
	64	* <p>This method is used to initialize {@link Partial2logicannotationsPackage#eINSTANCE} when that field is accessed.
	65	* Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
	66	* <!-- begin-user-doc -->
	67	* <!-- end-user-doc -->
	68	* @see #eNS_URI
	69	* @see #createPackageContents()
	70	* @see #initializePackageContents()
	71	* @generated
	72	*/
	73	public static Partial2logicannotationsPackage init() {
	74	if (isInited) return (Partial2logicannotationsPackage)EPackage.Registry.INSTANCE.getEPackage(Partial2logicannotationsPackage.eNS_URI);
	75
	76	// Obtain or create and register package
	77	Partial2logicannotationsPackageImpl thePartial2logicannotationsPackage = (Partial2logicannotationsPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof Partial2logicannotationsPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new Partial2logicannotationsPackageImpl());
	78
	79	isInited = true;
	80
	81	// Initialize simple dependencies
	82	LogiclanguagePackage.eINSTANCE.eClass();
	83	LogicproblemPackage.eINSTANCE.eClass();
	84	PartialinterpretationPackage.eINSTANCE.eClass();
	85
	86	// Create package meta-data objects
	87	thePartial2logicannotationsPackage.createPackageContents();
	88
	89	// Initialize created meta-data
	90	thePartial2logicannotationsPackage.initializePackageContents();
	91
	92	// Mark meta-data to indicate it can't be changed
	93	thePartial2logicannotationsPackage.freeze();
	94
	95
	96	// Update the registry and return the package
	97	EPackage.Registry.INSTANCE.put(Partial2logicannotationsPackage.eNS_URI, thePartial2logicannotationsPackage);
	98	return thePartial2logicannotationsPackage;
	99	}
	100
	101	/**
	102	* <!-- begin-user-doc -->
	103	* <!-- end-user-doc -->
	104	* @generated
	105	*/
	106	public EClass getPartialModelRelation2Assertion() {
	107	return partialModelRelation2AssertionEClass;
	108	}
	109
	110	/**
	111	* <!-- begin-user-doc -->
	112	* <!-- end-user-doc -->
	113	* @generated
	114	*/
	115	public EReference getPartialModelRelation2Assertion_Links() {
	116	return (EReference)partialModelRelation2AssertionEClass.getEStructuralFeatures().get(0);
	117	}
	118
	119	/**
	120	* <!-- begin-user-doc -->
	121	* <!-- end-user-doc -->
	122	* @generated
	123	*/
	124	public EReference getPartialModelRelation2Assertion_TargetRelation() {
	125	return (EReference)partialModelRelation2AssertionEClass.getEStructuralFeatures().get(1);
	126	}
	127
	128	/**
	129	* <!-- begin-user-doc -->
	130	* <!-- end-user-doc -->
	131	* @generated
	132	*/
	133	public Partial2logicannotationsFactory getPartial2logicannotationsFactory() {
	134	return (Partial2logicannotationsFactory)getEFactoryInstance();
	135	}
	136
	137	/**
	138	* <!-- begin-user-doc -->
	139	* <!-- end-user-doc -->
	140	* @generated
	141	*/
	142	private boolean isCreated = false;
	143
	144	/**
	145	* Creates the meta-model objects for the package. This method is
	146	* guarded to have no affect on any invocation but its first.
	147	* <!-- begin-user-doc -->
	148	* <!-- end-user-doc -->
	149	* @generated
	150	*/
	151	public void createPackageContents() {
	152	if (isCreated) return;
	153	isCreated = true;
	154
	155	// Create classes and their features
	156	partialModelRelation2AssertionEClass = createEClass(PARTIAL_MODEL_RELATION2_ASSERTION);
	157	createEReference(partialModelRelation2AssertionEClass, PARTIAL_MODEL_RELATION2_ASSERTION__LINKS);
	158	createEReference(partialModelRelation2AssertionEClass, PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION);
	159	}
	160
	161	/**
	162	* <!-- begin-user-doc -->
	163	* <!-- end-user-doc -->
	164	* @generated
	165	*/
	166	private boolean isInitialized = false;
	167
	168	/**
	169	* Complete the initialization of the package and its meta-model. This
	170	* method is guarded to have no affect on any invocation but its first.
	171	* <!-- begin-user-doc -->
	172	* <!-- end-user-doc -->
	173	* @generated
	174	*/
	175	public void initializePackageContents() {
	176	if (isInitialized) return;
	177	isInitialized = true;
	178
	179	// Initialize package
	180	setName(eNAME);
	181	setNsPrefix(eNS_PREFIX);
	182	setNsURI(eNS_URI);
	183
	184	// Obtain other dependent packages
	185	LogicproblemPackage theLogicproblemPackage = (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI);
	186	PartialinterpretationPackage thePartialinterpretationPackage = (PartialinterpretationPackage)EPackage.Registry.INSTANCE.getEPackage(PartialinterpretationPackage.eNS_URI);
	187	LogiclanguagePackage theLogiclanguagePackage = (LogiclanguagePackage)EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI);
	188
	189	// Create type parameters
	190
	191	// Set bounds for type parameters
	192
	193	// Add supertypes to classes
	194	partialModelRelation2AssertionEClass.getESuperTypes().add(theLogicproblemPackage.getAssertionAnnotation());
	195
	196	// Initialize classes, features, and operations; add parameters
	197	initEClass(partialModelRelation2AssertionEClass, PartialModelRelation2Assertion.class, "PartialModelRelation2Assertion", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
	198	initEReference(getPartialModelRelation2Assertion_Links(), thePartialinterpretationPackage.getRelationLink(), null, "links", null, 0, -1, PartialModelRelation2Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
	199	initEReference(getPartialModelRelation2Assertion_TargetRelation(), theLogiclanguagePackage.getRelationDeclaration(), null, "targetRelation", null, 1, 1, PartialModelRelation2Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
	200
	201	// Create resource
	202	createResource(eNS_URI);
	203	}
	204
	205	} //Partial2logicannotationsPackageImpl