From e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 15 May 2019 13:46:38 -0400 Subject: Formalize CPS case study for optimization --- .../dslreasoner/domains/cps/impl/HostTypeImpl.java | 356 +++++++++++++++++++++ 1 file changed, 356 insertions(+) create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/HostTypeImpl.java (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/HostTypeImpl.java') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/HostTypeImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/HostTypeImpl.java new file mode 100644 index 00000000..c3d5b3dc --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/HostTypeImpl.java @@ -0,0 +1,356 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.domains.cps.impl; + +import hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage; +import hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance; +import hu.bme.mit.inf.dslreasoner.domains.cps.HostType; + +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.impl.MinimalEObjectImpl; + +import org.eclipse.emf.ecore.util.EObjectContainmentWithInverseEList; +import org.eclipse.emf.ecore.util.InternalEList; + +/** + * + * An implementation of the model object 'Host Type'. + * + *

+ * The following features are implemented: + *

+ * + * + * @generated + */ +public class HostTypeImpl extends MinimalEObjectImpl.Container implements HostType { + /** + * The default value of the '{@link #getDefaultMemory() Default Memory}' attribute. + * + * + * @see #getDefaultMemory() + * @generated + * @ordered + */ + protected static final int DEFAULT_MEMORY_EDEFAULT = 0; + + /** + * The cached value of the '{@link #getDefaultMemory() Default Memory}' attribute. + * + * + * @see #getDefaultMemory() + * @generated + * @ordered + */ + protected int defaultMemory = DEFAULT_MEMORY_EDEFAULT; + + /** + * The default value of the '{@link #getDefaultHdd() Default Hdd}' attribute. + * + * + * @see #getDefaultHdd() + * @generated + * @ordered + */ + protected static final int DEFAULT_HDD_EDEFAULT = 0; + + /** + * The cached value of the '{@link #getDefaultHdd() Default Hdd}' attribute. + * + * + * @see #getDefaultHdd() + * @generated + * @ordered + */ + protected int defaultHdd = DEFAULT_HDD_EDEFAULT; + + /** + * The cached value of the '{@link #getInstances() Instances}' containment reference list. + * + * + * @see #getInstances() + * @generated + * @ordered + */ + protected EList instances; + + /** + * The default value of the '{@link #getCost() Cost}' attribute. + * + * + * @see #getCost() + * @generated + * @ordered + */ + protected static final int COST_EDEFAULT = 0; + + /** + * The cached value of the '{@link #getCost() Cost}' attribute. + * + * + * @see #getCost() + * @generated + * @ordered + */ + protected int cost = COST_EDEFAULT; + + /** + * + * + * @generated + */ + protected HostTypeImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return CpsPackage.Literals.HOST_TYPE; + } + + /** + * + * + * @generated + */ + @Override + public int getDefaultMemory() { + return defaultMemory; + } + + /** + * + * + * @generated + */ + @Override + public void setDefaultMemory(int newDefaultMemory) { + int oldDefaultMemory = defaultMemory; + defaultMemory = newDefaultMemory; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CpsPackage.HOST_TYPE__DEFAULT_MEMORY, + oldDefaultMemory, defaultMemory)); + } + + /** + * + * + * @generated + */ + @Override + public int getDefaultHdd() { + return defaultHdd; + } + + /** + * + * + * @generated + */ + @Override + public void setDefaultHdd(int newDefaultHdd) { + int oldDefaultHdd = defaultHdd; + defaultHdd = newDefaultHdd; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CpsPackage.HOST_TYPE__DEFAULT_HDD, oldDefaultHdd, + defaultHdd)); + } + + /** + * + * + * @generated + */ + @Override + public EList getInstances() { + if (instances == null) { + instances = new EObjectContainmentWithInverseEList(HostInstance.class, this, + CpsPackage.HOST_TYPE__INSTANCES, CpsPackage.HOST_INSTANCE__TYPE); + } + return instances; + } + + /** + * + * + * @generated + */ + @Override + public int getCost() { + return cost; + } + + /** + * + * + * @generated + */ + @Override + public void setCost(int newCost) { + int oldCost = cost; + cost = newCost; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CpsPackage.HOST_TYPE__COST, oldCost, cost)); + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) { + switch (featureID) { + case CpsPackage.HOST_TYPE__INSTANCES: + return ((InternalEList) (InternalEList) getInstances()).basicAdd(otherEnd, msgs); + } + return super.eInverseAdd(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { + switch (featureID) { + case CpsPackage.HOST_TYPE__INSTANCES: + return ((InternalEList) getInstances()).basicRemove(otherEnd, msgs); + } + return super.eInverseRemove(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case CpsPackage.HOST_TYPE__DEFAULT_MEMORY: + return getDefaultMemory(); + case CpsPackage.HOST_TYPE__DEFAULT_HDD: + return getDefaultHdd(); + case CpsPackage.HOST_TYPE__INSTANCES: + return getInstances(); + case CpsPackage.HOST_TYPE__COST: + return getCost(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case CpsPackage.HOST_TYPE__DEFAULT_MEMORY: + setDefaultMemory((Integer) newValue); + return; + case CpsPackage.HOST_TYPE__DEFAULT_HDD: + setDefaultHdd((Integer) newValue); + return; + case CpsPackage.HOST_TYPE__INSTANCES: + getInstances().clear(); + getInstances().addAll((Collection) newValue); + return; + case CpsPackage.HOST_TYPE__COST: + setCost((Integer) newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case CpsPackage.HOST_TYPE__DEFAULT_MEMORY: + setDefaultMemory(DEFAULT_MEMORY_EDEFAULT); + return; + case CpsPackage.HOST_TYPE__DEFAULT_HDD: + setDefaultHdd(DEFAULT_HDD_EDEFAULT); + return; + case CpsPackage.HOST_TYPE__INSTANCES: + getInstances().clear(); + return; + case CpsPackage.HOST_TYPE__COST: + setCost(COST_EDEFAULT); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case CpsPackage.HOST_TYPE__DEFAULT_MEMORY: + return defaultMemory != DEFAULT_MEMORY_EDEFAULT; + case CpsPackage.HOST_TYPE__DEFAULT_HDD: + return defaultHdd != DEFAULT_HDD_EDEFAULT; + case CpsPackage.HOST_TYPE__INSTANCES: + return instances != null && !instances.isEmpty(); + case CpsPackage.HOST_TYPE__COST: + return cost != COST_EDEFAULT; + } + return super.eIsSet(featureID); + } + + /** + * + * + * @generated + */ + @Override + public String toString() { + if (eIsProxy()) + return super.toString(); + + StringBuilder result = new StringBuilder(super.toString()); + result.append(" (defaultMemory: "); + result.append(defaultMemory); + result.append(", defaultHdd: "); + result.append(defaultHdd); + result.append(", cost: "); + result.append(cost); + result.append(')'); + return result.toString(); + } + +} //HostTypeImpl -- cgit v1.2.3-70-g09d2