1 files changed, 165 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/SMTOrElseCombinatorImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTOrElseCombinatorImpl.java
new file mode 100644
index 00000000..738ac83e
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTOrElseCombinatorImpl.java
@@ -0,0 +1,165 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
+import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOrElseCombinator;
+import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTReasoningTactic;
+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.util.EObjectContainmentEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>SMT Or Else Combinator</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOrElseCombinatorImpl#getTactics <em>Tactics</em>}</li>
+ * </ul>
+ * </p>
+ *
+ * @generated
+ */
+public class SMTOrElseCombinatorImpl extends SMTReasoningCombinatorImpl implements SMTOrElseCombinator
+{
+  /**
+   * The cached value of the '{@link #getTactics() <em>Tactics</em>}' containment reference list.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getTactics()
+   * @generated
+   * @ordered
+   */
+  protected EList<SMTReasoningTactic> tactics;
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected SMTOrElseCombinatorImpl()
+  {
+    super();
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return SmtLanguagePackage.Literals.SMT_OR_ELSE_COMBINATOR;
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public EList<SMTReasoningTactic> getTactics()
+  {
+    if (tactics == null)
+    {
+      tactics = new EObjectContainmentEList<SMTReasoningTactic>(SMTReasoningTactic.class, this, SmtLanguagePackage.SMT_OR_ELSE_COMBINATOR__TACTICS);
+    }
+    return tactics;
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+  {
+    switch (featureID)
+    {
+      case SmtLanguagePackage.SMT_OR_ELSE_COMBINATOR__TACTICS:
+        return ((InternalEList<?>)getTactics()).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_OR_ELSE_COMBINATOR__TACTICS:
+        return getTactics();
+    }
+    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_OR_ELSE_COMBINATOR__TACTICS:
+        getTactics().clear();
+        getTactics().addAll((Collection<? extends SMTReasoningTactic>)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case SmtLanguagePackage.SMT_OR_ELSE_COMBINATOR__TACTICS:
+        getTactics().clear();
+        return;
+    }
+    super.eUnset(featureID);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case SmtLanguagePackage.SMT_OR_ELSE_COMBINATOR__TACTICS:
+        return tactics != null && !tactics.isEmpty();
+    }
+    return super.eIsSet(featureID);
+  }
+} //SMTOrElseCombinatorImpl

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