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/ALSFunctionCallImpl.java | 306 +++++++++++++++++++++ 1 file changed, 306 insertions(+) create mode 100644 Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSFunctionCallImpl.java (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSFunctionCallImpl.java') diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSFunctionCallImpl.java b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSFunctionCallImpl.java new file mode 100644 index 00000000..f3083503 --- /dev/null +++ b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSFunctionCallImpl.java @@ -0,0 +1,306 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.alloyLanguage.impl; + +import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDefinition; +import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionCall; +import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNumericOperator; +import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTerm; +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 Function Call'. + * + *

+ * The following features are implemented: + *

+ * + * + * @generated + */ +public class ALSFunctionCallImpl extends ALSTermImpl implements ALSFunctionCall +{ + /** + * The cached value of the '{@link #getReferredDefinition() Referred Definition}' reference. + * + * + * @see #getReferredDefinition() + * @generated + * @ordered + */ + protected ALSDefinition referredDefinition; + + /** + * The default value of the '{@link #getReferredNumericOperator() Referred Numeric Operator}' attribute. + * + * + * @see #getReferredNumericOperator() + * @generated + * @ordered + */ + protected static final ALSNumericOperator REFERRED_NUMERIC_OPERATOR_EDEFAULT = ALSNumericOperator.PLUS; + + /** + * The cached value of the '{@link #getReferredNumericOperator() Referred Numeric Operator}' attribute. + * + * + * @see #getReferredNumericOperator() + * @generated + * @ordered + */ + protected ALSNumericOperator referredNumericOperator = REFERRED_NUMERIC_OPERATOR_EDEFAULT; + + /** + * The cached value of the '{@link #getParams() Params}' containment reference list. + * + * + * @see #getParams() + * @generated + * @ordered + */ + protected EList params; + + /** + * + * + * @generated + */ + protected ALSFunctionCallImpl() + { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() + { + return AlloyLanguagePackage.Literals.ALS_FUNCTION_CALL; + } + + /** + * + * + * @generated + */ + public ALSDefinition getReferredDefinition() + { + if (referredDefinition != null && referredDefinition.eIsProxy()) + { + InternalEObject oldReferredDefinition = (InternalEObject)referredDefinition; + referredDefinition = (ALSDefinition)eResolveProxy(oldReferredDefinition); + if (referredDefinition != oldReferredDefinition) + { + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.RESOLVE, AlloyLanguagePackage.ALS_FUNCTION_CALL__REFERRED_DEFINITION, oldReferredDefinition, referredDefinition)); + } + } + return referredDefinition; + } + + /** + * + * + * @generated + */ + public ALSDefinition basicGetReferredDefinition() + { + return referredDefinition; + } + + /** + * + * + * @generated + */ + public void setReferredDefinition(ALSDefinition newReferredDefinition) + { + ALSDefinition oldReferredDefinition = referredDefinition; + referredDefinition = newReferredDefinition; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_FUNCTION_CALL__REFERRED_DEFINITION, oldReferredDefinition, referredDefinition)); + } + + /** + * + * + * @generated + */ + public ALSNumericOperator getReferredNumericOperator() + { + return referredNumericOperator; + } + + /** + * + * + * @generated + */ + public void setReferredNumericOperator(ALSNumericOperator newReferredNumericOperator) + { + ALSNumericOperator oldReferredNumericOperator = referredNumericOperator; + referredNumericOperator = newReferredNumericOperator == null ? REFERRED_NUMERIC_OPERATOR_EDEFAULT : newReferredNumericOperator; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_FUNCTION_CALL__REFERRED_NUMERIC_OPERATOR, oldReferredNumericOperator, referredNumericOperator)); + } + + /** + * + * + * @generated + */ + public EList getParams() + { + if (params == null) + { + params = new EObjectContainmentEList(ALSTerm.class, this, AlloyLanguagePackage.ALS_FUNCTION_CALL__PARAMS); + } + return params; + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) + { + switch (featureID) + { + case AlloyLanguagePackage.ALS_FUNCTION_CALL__PARAMS: + return ((InternalEList)getParams()).basicRemove(otherEnd, msgs); + } + return super.eInverseRemove(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) + { + switch (featureID) + { + case AlloyLanguagePackage.ALS_FUNCTION_CALL__REFERRED_DEFINITION: + if (resolve) return getReferredDefinition(); + return basicGetReferredDefinition(); + case AlloyLanguagePackage.ALS_FUNCTION_CALL__REFERRED_NUMERIC_OPERATOR: + return getReferredNumericOperator(); + case AlloyLanguagePackage.ALS_FUNCTION_CALL__PARAMS: + return getParams(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public void eSet(int featureID, Object newValue) + { + switch (featureID) + { + case AlloyLanguagePackage.ALS_FUNCTION_CALL__REFERRED_DEFINITION: + setReferredDefinition((ALSDefinition)newValue); + return; + case AlloyLanguagePackage.ALS_FUNCTION_CALL__REFERRED_NUMERIC_OPERATOR: + setReferredNumericOperator((ALSNumericOperator)newValue); + return; + case AlloyLanguagePackage.ALS_FUNCTION_CALL__PARAMS: + getParams().clear(); + getParams().addAll((Collection)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) + { + switch (featureID) + { + case AlloyLanguagePackage.ALS_FUNCTION_CALL__REFERRED_DEFINITION: + setReferredDefinition((ALSDefinition)null); + return; + case AlloyLanguagePackage.ALS_FUNCTION_CALL__REFERRED_NUMERIC_OPERATOR: + setReferredNumericOperator(REFERRED_NUMERIC_OPERATOR_EDEFAULT); + return; + case AlloyLanguagePackage.ALS_FUNCTION_CALL__PARAMS: + getParams().clear(); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) + { + switch (featureID) + { + case AlloyLanguagePackage.ALS_FUNCTION_CALL__REFERRED_DEFINITION: + return referredDefinition != null; + case AlloyLanguagePackage.ALS_FUNCTION_CALL__REFERRED_NUMERIC_OPERATOR: + return referredNumericOperator != REFERRED_NUMERIC_OPERATOR_EDEFAULT; + case AlloyLanguagePackage.ALS_FUNCTION_CALL__PARAMS: + return params != null && !params.isEmpty(); + } + return super.eIsSet(featureID); + } + + /** + * + * + * @generated + */ + @Override + public String toString() + { + if (eIsProxy()) return super.toString(); + + StringBuffer result = new StringBuffer(super.toString()); + result.append(" (referredNumericOperator: "); + result.append(referredNumericOperator); + result.append(')'); + return result.toString(); + } + +} //ALSFunctionCallImpl -- cgit v1.2.3-70-g09d2