From 32a4f3392a7d0c44439c0c9b960ef1cfb5e3cc2f Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Fri, 25 Oct 2019 04:15:39 -0400 Subject: VAMPIRE: post-submission push --- .../alloyLanguage/impl/ALSPlusImpl.java | 264 +++++++++++++++++++++ 1 file changed, 264 insertions(+) create mode 100644 Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSPlusImpl.java (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSPlusImpl.java') diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSPlusImpl.java b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSPlusImpl.java new file mode 100644 index 00000000..57c83ca5 --- /dev/null +++ b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSPlusImpl.java @@ -0,0 +1,264 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.alloyLanguage.impl; + +import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSPlus; +import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTerm; +import hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage; + +import org.eclipse.emf.common.notify.Notification; +import org.eclipse.emf.common.notify.NotificationChain; + +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.InternalEObject; + +import org.eclipse.emf.ecore.impl.ENotificationImpl; + +/** + * + * An implementation of the model object 'ALS Plus'. + * + *

+ * The following features are implemented: + *

+ * + * + * @generated + */ +public class ALSPlusImpl extends ALSTermImpl implements ALSPlus +{ + /** + * The cached value of the '{@link #getLeftOperand() Left Operand}' containment reference. + * + * + * @see #getLeftOperand() + * @generated + * @ordered + */ + protected ALSTerm leftOperand; + + /** + * The cached value of the '{@link #getRightOperand() Right Operand}' containment reference. + * + * + * @see #getRightOperand() + * @generated + * @ordered + */ + protected ALSTerm rightOperand; + + /** + * + * + * @generated + */ + protected ALSPlusImpl() + { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() + { + return AlloyLanguagePackage.Literals.ALS_PLUS; + } + + /** + * + * + * @generated + */ + public ALSTerm getLeftOperand() + { + return leftOperand; + } + + /** + * + * + * @generated + */ + public NotificationChain basicSetLeftOperand(ALSTerm newLeftOperand, NotificationChain msgs) + { + ALSTerm oldLeftOperand = leftOperand; + leftOperand = newLeftOperand; + if (eNotificationRequired()) + { + ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_PLUS__LEFT_OPERAND, oldLeftOperand, newLeftOperand); + if (msgs == null) msgs = notification; else msgs.add(notification); + } + return msgs; + } + + /** + * + * + * @generated + */ + public void setLeftOperand(ALSTerm newLeftOperand) + { + if (newLeftOperand != leftOperand) + { + NotificationChain msgs = null; + if (leftOperand != null) + msgs = ((InternalEObject)leftOperand).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - AlloyLanguagePackage.ALS_PLUS__LEFT_OPERAND, null, msgs); + if (newLeftOperand != null) + msgs = ((InternalEObject)newLeftOperand).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - AlloyLanguagePackage.ALS_PLUS__LEFT_OPERAND, null, msgs); + msgs = basicSetLeftOperand(newLeftOperand, msgs); + if (msgs != null) msgs.dispatch(); + } + else if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_PLUS__LEFT_OPERAND, newLeftOperand, newLeftOperand)); + } + + /** + * + * + * @generated + */ + public ALSTerm getRightOperand() + { + return rightOperand; + } + + /** + * + * + * @generated + */ + public NotificationChain basicSetRightOperand(ALSTerm newRightOperand, NotificationChain msgs) + { + ALSTerm oldRightOperand = rightOperand; + rightOperand = newRightOperand; + if (eNotificationRequired()) + { + ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_PLUS__RIGHT_OPERAND, oldRightOperand, newRightOperand); + if (msgs == null) msgs = notification; else msgs.add(notification); + } + return msgs; + } + + /** + * + * + * @generated + */ + public void setRightOperand(ALSTerm newRightOperand) + { + if (newRightOperand != rightOperand) + { + NotificationChain msgs = null; + if (rightOperand != null) + msgs = ((InternalEObject)rightOperand).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - AlloyLanguagePackage.ALS_PLUS__RIGHT_OPERAND, null, msgs); + if (newRightOperand != null) + msgs = ((InternalEObject)newRightOperand).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - AlloyLanguagePackage.ALS_PLUS__RIGHT_OPERAND, null, msgs); + msgs = basicSetRightOperand(newRightOperand, msgs); + if (msgs != null) msgs.dispatch(); + } + else if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_PLUS__RIGHT_OPERAND, newRightOperand, newRightOperand)); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) + { + switch (featureID) + { + case AlloyLanguagePackage.ALS_PLUS__LEFT_OPERAND: + return basicSetLeftOperand(null, msgs); + case AlloyLanguagePackage.ALS_PLUS__RIGHT_OPERAND: + return basicSetRightOperand(null, msgs); + } + return super.eInverseRemove(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) + { + switch (featureID) + { + case AlloyLanguagePackage.ALS_PLUS__LEFT_OPERAND: + return getLeftOperand(); + case AlloyLanguagePackage.ALS_PLUS__RIGHT_OPERAND: + return getRightOperand(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) + { + switch (featureID) + { + case AlloyLanguagePackage.ALS_PLUS__LEFT_OPERAND: + setLeftOperand((ALSTerm)newValue); + return; + case AlloyLanguagePackage.ALS_PLUS__RIGHT_OPERAND: + setRightOperand((ALSTerm)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) + { + switch (featureID) + { + case AlloyLanguagePackage.ALS_PLUS__LEFT_OPERAND: + setLeftOperand((ALSTerm)null); + return; + case AlloyLanguagePackage.ALS_PLUS__RIGHT_OPERAND: + setRightOperand((ALSTerm)null); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) + { + switch (featureID) + { + case AlloyLanguagePackage.ALS_PLUS__LEFT_OPERAND: + return leftOperand != null; + case AlloyLanguagePackage.ALS_PLUS__RIGHT_OPERAND: + return rightOperand != null; + } + return super.eIsSet(featureID); + } + +} //ALSPlusImpl -- cgit v1.2.3-70-g09d2