1 files changed, 0 insertions, 180 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/LogicLiteralImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/LogicLiteralImpl.java
deleted file mode 100644
index 2bc27a20..00000000
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/LogicLiteralImpl.java
+++ /dev/null
@@ -1,180 +0,0 @@
-/**
- * generated by Xtext 2.21.0
- */
-package org.eclipse.viatra.solver.language.solverLanguage.impl;
-import org.eclipse.emf.common.notify.Notification;
-import org.eclipse.emf.ecore.EClass;
-import org.eclipse.emf.ecore.impl.ENotificationImpl;
-import org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral;
-import org.eclipse.viatra.solver.language.solverLanguage.LogicValue;
-import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage;
-/**
- * <!-- begin-user-doc -->
- * An implementation of the model object '<em><b>Logic Literal</b></em>'.
- * <!-- end-user-doc -->
- * <p>
- * The following features are implemented:
- * </p>
- * <ul>
- *   <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LogicLiteralImpl#getValue <em>Value</em>}</li>
- * </ul>
- *
- * @generated
- */
-public class LogicLiteralImpl extends LiteralImpl implements LogicLiteral
-{
-  /**
-   * The default value of the '{@link #getValue() <em>Value</em>}' attribute.
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @see #getValue()
-   * @generated
-   * @ordered
-   */
-  protected static final LogicValue VALUE_EDEFAULT = LogicValue.TRUE;
-  /**
-   * The cached value of the '{@link #getValue() <em>Value</em>}' attribute.
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @see #getValue()
-   * @generated
-   * @ordered
-   */
-  protected LogicValue value = VALUE_EDEFAULT;
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  protected LogicLiteralImpl()
-  {
-    super();
-  }
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  @Override
-  protected EClass eStaticClass()
-  {
-    return SolverLanguagePackage.Literals.LOGIC_LITERAL;
-  }
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  @Override
-  public LogicValue getValue()
-  {
-    return value;
-  }
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  @Override
-  public void setValue(LogicValue newValue)
-  {
-    LogicValue oldValue = value;
-    value = newValue == null ? VALUE_EDEFAULT : newValue;
-    if (eNotificationRequired())
-      eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.LOGIC_LITERAL__VALUE, oldValue, value));
-  }
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  @Override
-  public Object eGet(int featureID, boolean resolve, boolean coreType)
-  {
-    switch (featureID)
-    {
-      case SolverLanguagePackage.LOGIC_LITERAL__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 SolverLanguagePackage.LOGIC_LITERAL__VALUE:
-        setValue((LogicValue)newValue);
-        return;
-    }
-    super.eSet(featureID, newValue);
-  }
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  @Override
-  public void eUnset(int featureID)
-  {
-    switch (featureID)
-    {
-      case SolverLanguagePackage.LOGIC_LITERAL__VALUE:
-        setValue(VALUE_EDEFAULT);
-        return;
-    }
-    super.eUnset(featureID);
-  }
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  @Override
-  public boolean eIsSet(int featureID)
-  {
-    switch (featureID)
-    {
-      case SolverLanguagePackage.LOGIC_LITERAL__VALUE:
-        return value != VALUE_EDEFAULT;
-    }
-    return super.eIsSet(featureID);
-  }
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  @Override
-  public String toString()
-  {
-    if (eIsProxy()) return super.toString();
-    StringBuilder result = new StringBuilder(super.toString());
-    result.append(" (value: ");
-    result.append(value);
-    result.append(')');
-    return result.toString();
-  }
-} //LogicLiteralImpl

diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/LogicLiteralImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/LogicLiteralImpl.java deleted file mode 100644 index 2bc27a20..00000000 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/LogicLiteralImpl.java +++ /dev/null
@@ -1,180 +0,0 @@
1	/**
2	* generated by Xtext 2.21.0
3	*/
4	package org.eclipse.viatra.solver.language.solverLanguage.impl;
5
6	import org.eclipse.emf.common.notify.Notification;
7
8	import org.eclipse.emf.ecore.EClass;
9
10	import org.eclipse.emf.ecore.impl.ENotificationImpl;
11
12	import org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral;
13	import org.eclipse.viatra.solver.language.solverLanguage.LogicValue;
14	import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage;
15
16	/**
17	* <!-- begin-user-doc -->
18	* An implementation of the model object '<em><b>Logic Literal</b></em>'.
19	* <!-- end-user-doc -->
20	* <p>
21	* The following features are implemented:
22	* </p>
23	* <ul>
24	* <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LogicLiteralImpl#getValue <em>Value</em>}</li>
25	* </ul>
26	*
27	* @generated
28	*/
29	public class LogicLiteralImpl extends LiteralImpl implements LogicLiteral
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 LogicValue VALUE_EDEFAULT = LogicValue.TRUE;
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 LogicValue value = VALUE_EDEFAULT;
50
51	/**
52	* <!-- begin-user-doc -->
53	* <!-- end-user-doc -->
54	* @generated
55	*/
56	protected LogicLiteralImpl()
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 SolverLanguagePackage.Literals.LOGIC_LITERAL;
70	}
71
72	/**
73	* <!-- begin-user-doc -->
74	* <!-- end-user-doc -->
75	* @generated
76	*/
77	@Override
78	public LogicValue getValue()
79	{
80	return value;
81	}
82
83	/**
84	* <!-- begin-user-doc -->
85	* <!-- end-user-doc -->
86	* @generated
87	*/
88	@Override
89	public void setValue(LogicValue newValue)
90	{
91	LogicValue oldValue = value;
92	value = newValue == null ? VALUE_EDEFAULT : newValue;
93	if (eNotificationRequired())
94	eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.LOGIC_LITERAL__VALUE, oldValue, value));
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 SolverLanguagePackage.LOGIC_LITERAL__VALUE:
108	return getValue();
109	}
110	return super.eGet(featureID, resolve, coreType);
111	}
112
113	/**
114	* <!-- begin-user-doc -->
115	* <!-- end-user-doc -->
116	* @generated
117	*/
118	@Override
119	public void eSet(int featureID, Object newValue)
120	{
121	switch (featureID)
122	{
123	case SolverLanguagePackage.LOGIC_LITERAL__VALUE:
124	setValue((LogicValue)newValue);
125	return;
126	}
127	super.eSet(featureID, newValue);
128	}
129
130	/**
131	* <!-- begin-user-doc -->
132	* <!-- end-user-doc -->
133	* @generated
134	*/
135	@Override
136	public void eUnset(int featureID)
137	{
138	switch (featureID)
139	{
140	case SolverLanguagePackage.LOGIC_LITERAL__VALUE:
141	setValue(VALUE_EDEFAULT);
142	return;
143	}
144	super.eUnset(featureID);
145	}
146
147	/**
148	* <!-- begin-user-doc -->
149	* <!-- end-user-doc -->
150	* @generated
151	*/
152	@Override
153	public boolean eIsSet(int featureID)
154	{
155	switch (featureID)
156	{
157	case SolverLanguagePackage.LOGIC_LITERAL__VALUE:
158	return value != VALUE_EDEFAULT;
159	}
160	return super.eIsSet(featureID);
161	}
162
163	/**
164	* <!-- begin-user-doc -->
165	* <!-- end-user-doc -->
166	* @generated
167	*/
168	@Override
169	public String toString()
170	{
171	if (eIsProxy()) return super.toString();
172
173	StringBuilder result = new StringBuilder(super.toString());
174	result.append(" (value: ");
175	result.append(value);
176	result.append(')');
177	return result.toString();
178	}
179
180	} //LogicLiteralImpl