From 7febe0b4781c5bb0fab34895ad642040ae143a8b Mon Sep 17 00:00:00 2001
From: Kristóf Marussy
Date: Sun, 27 Jun 2021 23:21:42 +0200
Subject: Add data constant support
---
.../language/model/problem/impl/AssertionImpl.java | 66 ++++++++++++++--------
1 file changed, 41 insertions(+), 25 deletions(-)
(limited to 'language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/AssertionImpl.java')
diff --git a/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/AssertionImpl.java b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/AssertionImpl.java
index 5856a276..2567d57b 100644
--- a/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/AssertionImpl.java
+++ b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/AssertionImpl.java
@@ -6,6 +6,7 @@ import java.util.Collection;
import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
import org.eclipse.emf.common.util.EList;
import org.eclipse.emf.ecore.EClass;
@@ -14,11 +15,11 @@ import org.eclipse.emf.ecore.InternalEObject;
import org.eclipse.emf.ecore.impl.ENotificationImpl;
import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
-import org.eclipse.emf.ecore.util.EObjectResolvingEList;
-
+import org.eclipse.emf.ecore.util.EObjectContainmentEList;
+import org.eclipse.emf.ecore.util.InternalEList;
import org.eclipse.viatra.solver.language.model.problem.Assertion;
+import org.eclipse.viatra.solver.language.model.problem.AssertionArgument;
import org.eclipse.viatra.solver.language.model.problem.LogicValue;
-import org.eclipse.viatra.solver.language.model.problem.Node;
import org.eclipse.viatra.solver.language.model.problem.ProblemPackage;
import org.eclipse.viatra.solver.language.model.problem.Relation;
@@ -31,8 +32,8 @@ import org.eclipse.viatra.solver.language.model.problem.Relation;
*
*
* - {@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl#getRelation Relation}
- * - {@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl#getArguments Arguments}
* - {@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl#getValue Value}
+ * - {@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl#getArguments Arguments}
*
*
* @generated
@@ -49,34 +50,34 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser
protected Relation relation;
/**
- * The cached value of the '{@link #getArguments() Arguments}' reference list.
+ * The default value of the '{@link #getValue() Value}' attribute.
*
*
- * @see #getArguments()
+ * @see #getValue()
* @generated
* @ordered
*/
- protected EList arguments;
+ protected static final LogicValue VALUE_EDEFAULT = LogicValue.TRUE;
/**
- * The default value of the '{@link #getValue() Value}' attribute.
+ * The cached value of the '{@link #getValue() Value}' attribute.
*
*
* @see #getValue()
* @generated
* @ordered
*/
- protected static final LogicValue VALUE_EDEFAULT = LogicValue.TRUE;
+ protected LogicValue value = VALUE_EDEFAULT;
/**
- * The cached value of the '{@link #getValue() Value}' attribute.
+ * The cached value of the '{@link #getArguments() Arguments}' containment reference list.
*
*
- * @see #getValue()
+ * @see #getArguments()
* @generated
* @ordered
*/
- protected LogicValue value = VALUE_EDEFAULT;
+ protected EList arguments;
/**
*
@@ -142,13 +143,28 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser
*
* @generated
*/
- public EList getArguments() {
+ public EList getArguments() {
if (arguments == null) {
- arguments = new EObjectResolvingEList(Node.class, this, ProblemPackage.ASSERTION__ARGUMENTS);
+ arguments = new EObjectContainmentEList(AssertionArgument.class, this,
+ ProblemPackage.ASSERTION__ARGUMENTS);
}
return arguments;
}
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+ switch (featureID) {
+ case ProblemPackage.ASSERTION__ARGUMENTS:
+ return ((InternalEList>) getArguments()).basicRemove(otherEnd, msgs);
+ }
+ return super.eInverseRemove(otherEnd, featureID, msgs);
+ }
+
/**
*
*
@@ -182,10 +198,10 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser
if (resolve)
return getRelation();
return basicGetRelation();
- case ProblemPackage.ASSERTION__ARGUMENTS:
- return getArguments();
case ProblemPackage.ASSERTION__VALUE:
return getValue();
+ case ProblemPackage.ASSERTION__ARGUMENTS:
+ return getArguments();
}
return super.eGet(featureID, resolve, coreType);
}
@@ -202,13 +218,13 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser
case ProblemPackage.ASSERTION__RELATION:
setRelation((Relation) newValue);
return;
- case ProblemPackage.ASSERTION__ARGUMENTS:
- getArguments().clear();
- getArguments().addAll((Collection extends Node>) newValue);
- return;
case ProblemPackage.ASSERTION__VALUE:
setValue((LogicValue) newValue);
return;
+ case ProblemPackage.ASSERTION__ARGUMENTS:
+ getArguments().clear();
+ getArguments().addAll((Collection extends AssertionArgument>) newValue);
+ return;
}
super.eSet(featureID, newValue);
}
@@ -224,12 +240,12 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser
case ProblemPackage.ASSERTION__RELATION:
setRelation((Relation) null);
return;
- case ProblemPackage.ASSERTION__ARGUMENTS:
- getArguments().clear();
- return;
case ProblemPackage.ASSERTION__VALUE:
setValue(VALUE_EDEFAULT);
return;
+ case ProblemPackage.ASSERTION__ARGUMENTS:
+ getArguments().clear();
+ return;
}
super.eUnset(featureID);
}
@@ -244,10 +260,10 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser
switch (featureID) {
case ProblemPackage.ASSERTION__RELATION:
return relation != null;
- case ProblemPackage.ASSERTION__ARGUMENTS:
- return arguments != null && !arguments.isEmpty();
case ProblemPackage.ASSERTION__VALUE:
return value != VALUE_EDEFAULT;
+ case ProblemPackage.ASSERTION__ARGUMENTS:
+ return arguments != null && !arguments.isEmpty();
}
return super.eIsSet(featureID);
}
--
cgit v1.2.3-70-g09d2