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; *

* * * @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) newValue); - return; case ProblemPackage.ASSERTION__VALUE: setValue((LogicValue) newValue); return; + case ProblemPackage.ASSERTION__ARGUMENTS: + getArguments().clear(); + getArguments().addAll((Collection) 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