1 files changed, 167 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTStatisticsSectionImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTStatisticsSectionImpl.java
new file mode 100644
index 00000000..370c2df5
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTStatisticsSectionImpl.java
@@ -0,0 +1,167 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
+import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticValue;
+import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticsSection;
+import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage;
+import java.util.Collection;
+import org.eclipse.emf.common.notify.NotificationChain;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+import org.eclipse.emf.ecore.util.EObjectContainmentEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>SMT Statistics Section</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticsSectionImpl#getValues <em>Values</em>}</li>
+ * </ul>
+ * </p>
+ *
+ * @generated
+ */
+public class SMTStatisticsSectionImpl extends MinimalEObjectImpl.Container implements SMTStatisticsSection
+{
+  /**
+   * The cached value of the '{@link #getValues() <em>Values</em>}' containment reference list.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getValues()
+   * @generated
+   * @ordered
+   */
+  protected EList<SMTStatisticValue> values;
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected SMTStatisticsSectionImpl()
+  {
+    super();
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return SmtLanguagePackage.Literals.SMT_STATISTICS_SECTION;
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public EList<SMTStatisticValue> getValues()
+  {
+    if (values == null)
+    {
+      values = new EObjectContainmentEList<SMTStatisticValue>(SMTStatisticValue.class, this, SmtLanguagePackage.SMT_STATISTICS_SECTION__VALUES);
+    }
+    return values;
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+  {
+    switch (featureID)
+    {
+      case SmtLanguagePackage.SMT_STATISTICS_SECTION__VALUES:
+        return ((InternalEList<?>)getValues()).basicRemove(otherEnd, msgs);
+    }
+    return super.eInverseRemove(otherEnd, featureID, msgs);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case SmtLanguagePackage.SMT_STATISTICS_SECTION__VALUES:
+        return getValues();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @SuppressWarnings("unchecked")
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case SmtLanguagePackage.SMT_STATISTICS_SECTION__VALUES:
+        getValues().clear();
+        getValues().addAll((Collection<? extends SMTStatisticValue>)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case SmtLanguagePackage.SMT_STATISTICS_SECTION__VALUES:
+        getValues().clear();
+        return;
+    }
+    super.eUnset(featureID);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case SmtLanguagePackage.SMT_STATISTICS_SECTION__VALUES:
+        return values != null && !values.isEmpty();
+    }
+    return super.eIsSet(featureID);
+  }
+} //SMTStatisticsSectionImpl

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTStatisticsSectionImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTStatisticsSectionImpl.java new file mode 100644 index 00000000..370c2df5 --- /dev/null +++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTStatisticsSectionImpl.java
@@ -0,0 +1,167 @@
	1	/**
	2	*/
	3	package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
	4
	5	import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticValue;
	6	import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticsSection;
	7	import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage;
	8
	9	import java.util.Collection;
	10
	11	import org.eclipse.emf.common.notify.NotificationChain;
	12
	13	import org.eclipse.emf.common.util.EList;
	14
	15	import org.eclipse.emf.ecore.EClass;
	16	import org.eclipse.emf.ecore.InternalEObject;
	17
	18	import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
	19
	20	import org.eclipse.emf.ecore.util.EObjectContainmentEList;
	21	import org.eclipse.emf.ecore.util.InternalEList;
	22
	23	/**
	24	* <!-- begin-user-doc -->
	25	* An implementation of the model object '<em><b>SMT Statistics Section</b></em>'.
	26	* <!-- end-user-doc -->
	27	* <p>
	28	* The following features are implemented:
	29	* <ul>
	30	* <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticsSectionImpl#getValues <em>Values</em>}</li>
	31	* </ul>
	32	* </p>
	33	*
	34	* @generated
	35	*/
	36	public class SMTStatisticsSectionImpl extends MinimalEObjectImpl.Container implements SMTStatisticsSection
	37	{
	38	/**
	39	* The cached value of the '{@link #getValues() <em>Values</em>}' containment reference list.
	40	* <!-- begin-user-doc -->
	41	* <!-- end-user-doc -->
	42	* @see #getValues()
	43	* @generated
	44	* @ordered
	45	*/
	46	protected EList<SMTStatisticValue> values;
	47
	48	/**
	49	* <!-- begin-user-doc -->
	50	* <!-- end-user-doc -->
	51	* @generated
	52	*/
	53	protected SMTStatisticsSectionImpl()
	54	{
	55	super();
	56	}
	57
	58	/**
	59	* <!-- begin-user-doc -->
	60	* <!-- end-user-doc -->
	61	* @generated
	62	*/
	63	@Override
	64	protected EClass eStaticClass()
	65	{
	66	return SmtLanguagePackage.Literals.SMT_STATISTICS_SECTION;
	67	}
	68
	69	/**
	70	* <!-- begin-user-doc -->
	71	* <!-- end-user-doc -->
	72	* @generated
	73	*/
	74	public EList<SMTStatisticValue> getValues()
	75	{
	76	if (values == null)
	77	{
	78	values = new EObjectContainmentEList<SMTStatisticValue>(SMTStatisticValue.class, this, SmtLanguagePackage.SMT_STATISTICS_SECTION__VALUES);
	79	}
	80	return values;
	81	}
	82
	83	/**
	84	* <!-- begin-user-doc -->
	85	* <!-- end-user-doc -->
	86	* @generated
	87	*/
	88	@Override
	89	public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
	90	{
	91	switch (featureID)
	92	{
	93	case SmtLanguagePackage.SMT_STATISTICS_SECTION__VALUES:
	94	return ((InternalEList<?>)getValues()).basicRemove(otherEnd, msgs);
	95	}
	96	return super.eInverseRemove(otherEnd, featureID, msgs);
	97	}
	98
	99	/**
	100	* <!-- begin-user-doc -->
	101	* <!-- end-user-doc -->
	102	* @generated
	103	*/
	104	@Override
	105	public Object eGet(int featureID, boolean resolve, boolean coreType)
	106	{
	107	switch (featureID)
	108	{
	109	case SmtLanguagePackage.SMT_STATISTICS_SECTION__VALUES:
	110	return getValues();
	111	}
	112	return super.eGet(featureID, resolve, coreType);
	113	}
	114
	115	/**
	116	* <!-- begin-user-doc -->
	117	* <!-- end-user-doc -->
	118	* @generated
	119	*/
	120	@SuppressWarnings("unchecked")
	121	@Override
	122	public void eSet(int featureID, Object newValue)
	123	{
	124	switch (featureID)
	125	{
	126	case SmtLanguagePackage.SMT_STATISTICS_SECTION__VALUES:
	127	getValues().clear();
	128	getValues().addAll((Collection<? extends SMTStatisticValue>)newValue);
	129	return;
	130	}
	131	super.eSet(featureID, newValue);
	132	}
	133
	134	/**
	135	* <!-- begin-user-doc -->
	136	* <!-- end-user-doc -->
	137	* @generated
	138	*/
	139	@Override
	140	public void eUnset(int featureID)
	141	{
	142	switch (featureID)
	143	{
	144	case SmtLanguagePackage.SMT_STATISTICS_SECTION__VALUES:
	145	getValues().clear();
	146	return;
	147	}
	148	super.eUnset(featureID);
	149	}
	150
	151	/**
	152	* <!-- begin-user-doc -->
	153	* <!-- end-user-doc -->
	154	* @generated
	155	*/
	156	@Override
	157	public boolean eIsSet(int featureID)
	158	{
	159	switch (featureID)
	160	{
	161	case SmtLanguagePackage.SMT_STATISTICS_SECTION__VALUES:
	162	return values != null && !values.isEmpty();
	163	}
	164	return super.eIsSet(featureID);
	165	}
	166
	167	} //SMTStatisticsSectionImpl