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/ALSQuantifiedExImpl.java | 368 +++++++++++++++++++++ 1 file changed, 368 insertions(+) create mode 100644 Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSQuantifiedExImpl.java (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSQuantifiedExImpl.java') diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSQuantifiedExImpl.java b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSQuantifiedExImpl.java new file mode 100644 index 00000000..a0a37cd3 --- /dev/null +++ b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSQuantifiedExImpl.java @@ -0,0 +1,368 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.alloyLanguage.impl; + +import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity; +import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx; +import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTerm; +import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSVariableDeclaration; +import hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage; + +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; +import org.eclipse.emf.ecore.InternalEObject; + +import org.eclipse.emf.ecore.impl.ENotificationImpl; + +import org.eclipse.emf.ecore.util.EObjectContainmentEList; +import org.eclipse.emf.ecore.util.InternalEList; + +/** + * + * An implementation of the model object 'ALS Quantified Ex'. + * + *

+ * The following features are implemented: + *

+ * + * + * @generated + */ +public class ALSQuantifiedExImpl extends ALSTermImpl implements ALSQuantifiedEx +{ + /** + * The default value of the '{@link #getType() Type}' attribute. + * + * + * @see #getType() + * @generated + * @ordered + */ + protected static final ALSMultiplicity TYPE_EDEFAULT = ALSMultiplicity.ALL; + + /** + * The cached value of the '{@link #getType() Type}' attribute. + * + * + * @see #getType() + * @generated + * @ordered + */ + protected ALSMultiplicity type = TYPE_EDEFAULT; + + /** + * The default value of the '{@link #isDisj() Disj}' attribute. + * + * + * @see #isDisj() + * @generated + * @ordered + */ + protected static final boolean DISJ_EDEFAULT = false; + + /** + * The cached value of the '{@link #isDisj() Disj}' attribute. + * + * + * @see #isDisj() + * @generated + * @ordered + */ + protected boolean disj = DISJ_EDEFAULT; + + /** + * The cached value of the '{@link #getVariables() Variables}' containment reference list. + * + * + * @see #getVariables() + * @generated + * @ordered + */ + protected EList variables; + + /** + * The cached value of the '{@link #getExpression() Expression}' containment reference. + * + * + * @see #getExpression() + * @generated + * @ordered + */ + protected ALSTerm expression; + + /** + * + * + * @generated + */ + protected ALSQuantifiedExImpl() + { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() + { + return AlloyLanguagePackage.Literals.ALS_QUANTIFIED_EX; + } + + /** + * + * + * @generated + */ + public ALSMultiplicity getType() + { + return type; + } + + /** + * + * + * @generated + */ + public void setType(ALSMultiplicity newType) + { + ALSMultiplicity oldType = type; + type = newType == null ? TYPE_EDEFAULT : newType; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_QUANTIFIED_EX__TYPE, oldType, type)); + } + + /** + * + * + * @generated + */ + public boolean isDisj() + { + return disj; + } + + /** + * + * + * @generated + */ + public void setDisj(boolean newDisj) + { + boolean oldDisj = disj; + disj = newDisj; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_QUANTIFIED_EX__DISJ, oldDisj, disj)); + } + + /** + * + * + * @generated + */ + public EList getVariables() + { + if (variables == null) + { + variables = new EObjectContainmentEList(ALSVariableDeclaration.class, this, AlloyLanguagePackage.ALS_QUANTIFIED_EX__VARIABLES); + } + return variables; + } + + /** + * + * + * @generated + */ + public ALSTerm getExpression() + { + return expression; + } + + /** + * + * + * @generated + */ + public NotificationChain basicSetExpression(ALSTerm newExpression, NotificationChain msgs) + { + ALSTerm oldExpression = expression; + expression = newExpression; + if (eNotificationRequired()) + { + ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_QUANTIFIED_EX__EXPRESSION, oldExpression, newExpression); + if (msgs == null) msgs = notification; else msgs.add(notification); + } + return msgs; + } + + /** + * + * + * @generated + */ + public void setExpression(ALSTerm newExpression) + { + if (newExpression != expression) + { + NotificationChain msgs = null; + if (expression != null) + msgs = ((InternalEObject)expression).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - AlloyLanguagePackage.ALS_QUANTIFIED_EX__EXPRESSION, null, msgs); + if (newExpression != null) + msgs = ((InternalEObject)newExpression).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - AlloyLanguagePackage.ALS_QUANTIFIED_EX__EXPRESSION, null, msgs); + msgs = basicSetExpression(newExpression, msgs); + if (msgs != null) msgs.dispatch(); + } + else if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_QUANTIFIED_EX__EXPRESSION, newExpression, newExpression)); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) + { + switch (featureID) + { + case AlloyLanguagePackage.ALS_QUANTIFIED_EX__VARIABLES: + return ((InternalEList)getVariables()).basicRemove(otherEnd, msgs); + case AlloyLanguagePackage.ALS_QUANTIFIED_EX__EXPRESSION: + return basicSetExpression(null, msgs); + } + return super.eInverseRemove(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) + { + switch (featureID) + { + case AlloyLanguagePackage.ALS_QUANTIFIED_EX__TYPE: + return getType(); + case AlloyLanguagePackage.ALS_QUANTIFIED_EX__DISJ: + return isDisj(); + case AlloyLanguagePackage.ALS_QUANTIFIED_EX__VARIABLES: + return getVariables(); + case AlloyLanguagePackage.ALS_QUANTIFIED_EX__EXPRESSION: + return getExpression(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public void eSet(int featureID, Object newValue) + { + switch (featureID) + { + case AlloyLanguagePackage.ALS_QUANTIFIED_EX__TYPE: + setType((ALSMultiplicity)newValue); + return; + case AlloyLanguagePackage.ALS_QUANTIFIED_EX__DISJ: + setDisj((Boolean)newValue); + return; + case AlloyLanguagePackage.ALS_QUANTIFIED_EX__VARIABLES: + getVariables().clear(); + getVariables().addAll((Collection)newValue); + return; + case AlloyLanguagePackage.ALS_QUANTIFIED_EX__EXPRESSION: + setExpression((ALSTerm)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) + { + switch (featureID) + { + case AlloyLanguagePackage.ALS_QUANTIFIED_EX__TYPE: + setType(TYPE_EDEFAULT); + return; + case AlloyLanguagePackage.ALS_QUANTIFIED_EX__DISJ: + setDisj(DISJ_EDEFAULT); + return; + case AlloyLanguagePackage.ALS_QUANTIFIED_EX__VARIABLES: + getVariables().clear(); + return; + case AlloyLanguagePackage.ALS_QUANTIFIED_EX__EXPRESSION: + setExpression((ALSTerm)null); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) + { + switch (featureID) + { + case AlloyLanguagePackage.ALS_QUANTIFIED_EX__TYPE: + return type != TYPE_EDEFAULT; + case AlloyLanguagePackage.ALS_QUANTIFIED_EX__DISJ: + return disj != DISJ_EDEFAULT; + case AlloyLanguagePackage.ALS_QUANTIFIED_EX__VARIABLES: + return variables != null && !variables.isEmpty(); + case AlloyLanguagePackage.ALS_QUANTIFIED_EX__EXPRESSION: + return expression != null; + } + return super.eIsSet(featureID); + } + + /** + * + * + * @generated + */ + @Override + public String toString() + { + if (eIsProxy()) return super.toString(); + + StringBuffer result = new StringBuffer(super.toString()); + result.append(" (type: "); + result.append(type); + result.append(", disj: "); + result.append(disj); + result.append(')'); + return result.toString(); + } + +} //ALSQuantifiedExImpl -- cgit v1.2.3-70-g09d2