1 files changed, 178 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/SMTStatisticDoubleValueImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTStatisticDoubleValueImpl.java
new file mode 100644
index 00000000..91a69998
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTStatisticDoubleValueImpl.java
@@ -0,0 +1,178 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
+import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticDoubleValue;
+import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage;
+import java.math.BigDecimal;
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>SMT Statistic Double Value</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticDoubleValueImpl#getValue <em>Value</em>}</li>
+ * </ul>
+ * </p>
+ *
+ * @generated
+ */
+public class SMTStatisticDoubleValueImpl extends SMTStatisticValueImpl implements SMTStatisticDoubleValue
+{
+  /**
+   * The default value of the '{@link #getValue() <em>Value</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getValue()
+   * @generated
+   * @ordered
+   */
+  protected static final BigDecimal VALUE_EDEFAULT = null;
+  /**
+   * The cached value of the '{@link #getValue() <em>Value</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getValue()
+   * @generated
+   * @ordered
+   */
+  protected BigDecimal value = VALUE_EDEFAULT;
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected SMTStatisticDoubleValueImpl()
+  {
+    super();
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return SmtLanguagePackage.Literals.SMT_STATISTIC_DOUBLE_VALUE;
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public BigDecimal getValue()
+  {
+    return value;
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setValue(BigDecimal newValue)
+  {
+    BigDecimal oldValue = value;
+    value = newValue;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_STATISTIC_DOUBLE_VALUE__VALUE, oldValue, value));
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case SmtLanguagePackage.SMT_STATISTIC_DOUBLE_VALUE__VALUE:
+        return getValue();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case SmtLanguagePackage.SMT_STATISTIC_DOUBLE_VALUE__VALUE:
+        setValue((BigDecimal)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case SmtLanguagePackage.SMT_STATISTIC_DOUBLE_VALUE__VALUE:
+        setValue(VALUE_EDEFAULT);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case SmtLanguagePackage.SMT_STATISTIC_DOUBLE_VALUE__VALUE:
+        return VALUE_EDEFAULT == null ? value != null : !VALUE_EDEFAULT.equals(value);
+    }
+    return super.eIsSet(featureID);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public String toString()
+  {
+    if (eIsProxy()) return super.toString();
+    StringBuffer result = new StringBuffer(super.toString());
+    result.append(" (value: ");
+    result.append(value);
+    result.append(')');
+    return result.toString();
+  }
+} //SMTStatisticDoubleValueImpl

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTStatisticDoubleValueImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTStatisticDoubleValueImpl.java new file mode 100644 index 00000000..91a69998 --- /dev/null +++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTStatisticDoubleValueImpl.java
@@ -0,0 +1,178 @@
	1	/**
	2	*/
	3	package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
	4
	5	import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticDoubleValue;
	6	import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage;
	7
	8	import java.math.BigDecimal;
	9
	10	import org.eclipse.emf.common.notify.Notification;
	11
	12	import org.eclipse.emf.ecore.EClass;
	13
	14	import org.eclipse.emf.ecore.impl.ENotificationImpl;
	15
	16	/**
	17	* <!-- begin-user-doc -->
	18	* An implementation of the model object '<em><b>SMT Statistic Double Value</b></em>'.
	19	* <!-- end-user-doc -->
	20	* <p>
	21	* The following features are implemented:
	22	* <ul>
	23	* <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticDoubleValueImpl#getValue <em>Value</em>}</li>
	24	* </ul>
	25	* </p>
	26	*
	27	* @generated
	28	*/
	29	public class SMTStatisticDoubleValueImpl extends SMTStatisticValueImpl implements SMTStatisticDoubleValue
	30	{
	31	/**
	32	* The default value of the '{@link #getValue() <em>Value</em>}' attribute.
	33	* <!-- begin-user-doc -->
	34	* <!-- end-user-doc -->
	35	* @see #getValue()
	36	* @generated
	37	* @ordered
	38	*/
	39	protected static final BigDecimal VALUE_EDEFAULT = null;
	40
	41	/**
	42	* The cached value of the '{@link #getValue() <em>Value</em>}' attribute.
	43	* <!-- begin-user-doc -->
	44	* <!-- end-user-doc -->
	45	* @see #getValue()
	46	* @generated
	47	* @ordered
	48	*/
	49	protected BigDecimal value = VALUE_EDEFAULT;
	50
	51	/**
	52	* <!-- begin-user-doc -->
	53	* <!-- end-user-doc -->
	54	* @generated
	55	*/
	56	protected SMTStatisticDoubleValueImpl()
	57	{
	58	super();
	59	}
	60
	61	/**
	62	* <!-- begin-user-doc -->
	63	* <!-- end-user-doc -->
	64	* @generated
	65	*/
	66	@Override
	67	protected EClass eStaticClass()
	68	{
	69	return SmtLanguagePackage.Literals.SMT_STATISTIC_DOUBLE_VALUE;
	70	}
	71
	72	/**
	73	* <!-- begin-user-doc -->
	74	* <!-- end-user-doc -->
	75	* @generated
	76	*/
	77	public BigDecimal getValue()
	78	{
	79	return value;
	80	}
	81
	82	/**
	83	* <!-- begin-user-doc -->
	84	* <!-- end-user-doc -->
	85	* @generated
	86	*/
	87	public void setValue(BigDecimal newValue)
	88	{
	89	BigDecimal oldValue = value;
	90	value = newValue;
	91	if (eNotificationRequired())
	92	eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_STATISTIC_DOUBLE_VALUE__VALUE, oldValue, value));
	93	}
	94
	95	/**
	96	* <!-- begin-user-doc -->
	97	* <!-- end-user-doc -->
	98	* @generated
	99	*/
	100	@Override
	101	public Object eGet(int featureID, boolean resolve, boolean coreType)
	102	{
	103	switch (featureID)
	104	{
	105	case SmtLanguagePackage.SMT_STATISTIC_DOUBLE_VALUE__VALUE:
	106	return getValue();
	107	}
	108	return super.eGet(featureID, resolve, coreType);
	109	}
	110
	111	/**
	112	* <!-- begin-user-doc -->
	113	* <!-- end-user-doc -->
	114	* @generated
	115	*/
	116	@Override
	117	public void eSet(int featureID, Object newValue)
	118	{
	119	switch (featureID)
	120	{
	121	case SmtLanguagePackage.SMT_STATISTIC_DOUBLE_VALUE__VALUE:
	122	setValue((BigDecimal)newValue);
	123	return;
	124	}
	125	super.eSet(featureID, newValue);
	126	}
	127
	128	/**
	129	* <!-- begin-user-doc -->
	130	* <!-- end-user-doc -->
	131	* @generated
	132	*/
	133	@Override
	134	public void eUnset(int featureID)
	135	{
	136	switch (featureID)
	137	{
	138	case SmtLanguagePackage.SMT_STATISTIC_DOUBLE_VALUE__VALUE:
	139	setValue(VALUE_EDEFAULT);
	140	return;
	141	}
	142	super.eUnset(featureID);
	143	}
	144
	145	/**
	146	* <!-- begin-user-doc -->
	147	* <!-- end-user-doc -->
	148	* @generated
	149	*/
	150	@Override
	151	public boolean eIsSet(int featureID)
	152	{
	153	switch (featureID)
	154	{
	155	case SmtLanguagePackage.SMT_STATISTIC_DOUBLE_VALUE__VALUE:
	156	return VALUE_EDEFAULT == null ? value != null : !VALUE_EDEFAULT.equals(value);
	157	}
	158	return super.eIsSet(featureID);
	159	}
	160
	161	/**
	162	* <!-- begin-user-doc -->
	163	* <!-- end-user-doc -->
	164	* @generated
	165	*/
	166	@Override
	167	public String toString()
	168	{
	169	if (eIsProxy()) return super.toString();
	170
	171	StringBuffer result = new StringBuffer(super.toString());
	172	result.append(" (value: ");
	173	result.append(value);
	174	result.append(')');
	175	return result.toString();
	176	}
	177
	178	} //SMTStatisticDoubleValueImpl