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 --- .../domains/cps/impl/ResourceRequirementImpl.java | 291 +++++++++++++++++++++ 1 file changed, 291 insertions(+) create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/ResourceRequirementImpl.java (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/ResourceRequirementImpl.java') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/ResourceRequirementImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/ResourceRequirementImpl.java new file mode 100644 index 00000000..f4deb575 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/ResourceRequirementImpl.java @@ -0,0 +1,291 @@ +/** + */ +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.HostType; +import hu.bme.mit.inf.dslreasoner.domains.cps.ResourceRequirement; + +import org.eclipse.emf.common.notify.Notification; + +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; + +/** + * + * An implementation of the model object 'Resource Requirement'. + * + *

+ * The following features are implemented: + *

+ * + * + * @generated + */ +public class ResourceRequirementImpl extends MinimalEObjectImpl.Container implements ResourceRequirement { + /** + * The default value of the '{@link #getRequiredMemory() Required Memory}' attribute. + * + * + * @see #getRequiredMemory() + * @generated + * @ordered + */ + protected static final int REQUIRED_MEMORY_EDEFAULT = 0; + + /** + * The cached value of the '{@link #getRequiredMemory() Required Memory}' attribute. + * + * + * @see #getRequiredMemory() + * @generated + * @ordered + */ + protected int requiredMemory = REQUIRED_MEMORY_EDEFAULT; + + /** + * The default value of the '{@link #getRequiredHdd() Required Hdd}' attribute. + * + * + * @see #getRequiredHdd() + * @generated + * @ordered + */ + protected static final int REQUIRED_HDD_EDEFAULT = 0; + + /** + * The cached value of the '{@link #getRequiredHdd() Required Hdd}' attribute. + * + * + * @see #getRequiredHdd() + * @generated + * @ordered + */ + protected int requiredHdd = REQUIRED_HDD_EDEFAULT; + + /** + * The cached value of the '{@link #getHostType() Host Type}' reference. + * + * + * @see #getHostType() + * @generated + * @ordered + */ + protected HostType hostType; + + /** + * + * + * @generated + */ + protected ResourceRequirementImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return CpsPackage.Literals.RESOURCE_REQUIREMENT; + } + + /** + * + * + * @generated + */ + @Override + public int getRequiredMemory() { + return requiredMemory; + } + + /** + * + * + * @generated + */ + @Override + public void setRequiredMemory(int newRequiredMemory) { + int oldRequiredMemory = requiredMemory; + requiredMemory = newRequiredMemory; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CpsPackage.RESOURCE_REQUIREMENT__REQUIRED_MEMORY, + oldRequiredMemory, requiredMemory)); + } + + /** + * + * + * @generated + */ + @Override + public int getRequiredHdd() { + return requiredHdd; + } + + /** + * + * + * @generated + */ + @Override + public void setRequiredHdd(int newRequiredHdd) { + int oldRequiredHdd = requiredHdd; + requiredHdd = newRequiredHdd; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CpsPackage.RESOURCE_REQUIREMENT__REQUIRED_HDD, + oldRequiredHdd, requiredHdd)); + } + + /** + * + * + * @generated + */ + @Override + public HostType getHostType() { + if (hostType != null && hostType.eIsProxy()) { + InternalEObject oldHostType = (InternalEObject) hostType; + hostType = (HostType) eResolveProxy(oldHostType); + if (hostType != oldHostType) { + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.RESOLVE, + CpsPackage.RESOURCE_REQUIREMENT__HOST_TYPE, oldHostType, hostType)); + } + } + return hostType; + } + + /** + * + * + * @generated + */ + public HostType basicGetHostType() { + return hostType; + } + + /** + * + * + * @generated + */ + @Override + public void setHostType(HostType newHostType) { + HostType oldHostType = hostType; + hostType = newHostType; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CpsPackage.RESOURCE_REQUIREMENT__HOST_TYPE, + oldHostType, hostType)); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case CpsPackage.RESOURCE_REQUIREMENT__REQUIRED_MEMORY: + return getRequiredMemory(); + case CpsPackage.RESOURCE_REQUIREMENT__REQUIRED_HDD: + return getRequiredHdd(); + case CpsPackage.RESOURCE_REQUIREMENT__HOST_TYPE: + if (resolve) + return getHostType(); + return basicGetHostType(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case CpsPackage.RESOURCE_REQUIREMENT__REQUIRED_MEMORY: + setRequiredMemory((Integer) newValue); + return; + case CpsPackage.RESOURCE_REQUIREMENT__REQUIRED_HDD: + setRequiredHdd((Integer) newValue); + return; + case CpsPackage.RESOURCE_REQUIREMENT__HOST_TYPE: + setHostType((HostType) newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case CpsPackage.RESOURCE_REQUIREMENT__REQUIRED_MEMORY: + setRequiredMemory(REQUIRED_MEMORY_EDEFAULT); + return; + case CpsPackage.RESOURCE_REQUIREMENT__REQUIRED_HDD: + setRequiredHdd(REQUIRED_HDD_EDEFAULT); + return; + case CpsPackage.RESOURCE_REQUIREMENT__HOST_TYPE: + setHostType((HostType) null); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case CpsPackage.RESOURCE_REQUIREMENT__REQUIRED_MEMORY: + return requiredMemory != REQUIRED_MEMORY_EDEFAULT; + case CpsPackage.RESOURCE_REQUIREMENT__REQUIRED_HDD: + return requiredHdd != REQUIRED_HDD_EDEFAULT; + case CpsPackage.RESOURCE_REQUIREMENT__HOST_TYPE: + return hostType != null; + } + return super.eIsSet(featureID); + } + + /** + * + * + * @generated + */ + @Override + public String toString() { + if (eIsProxy()) + return super.toString(); + + StringBuilder result = new StringBuilder(super.toString()); + result.append(" (requiredMemory: "); + result.append(requiredMemory); + result.append(", requiredHdd: "); + result.append(requiredHdd); + result.append(')'); + return result.toString(); + } + +} //ResourceRequirementImpl -- cgit v1.2.3-70-g09d2