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 --- .../inf/dslreasoner/domains/cps/HostInstance.java | 141 +++++++++++++++++++++ 1 file changed, 141 insertions(+) create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/HostInstance.java (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/HostInstance.java') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/HostInstance.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/HostInstance.java new file mode 100644 index 00000000..43379e0f --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/HostInstance.java @@ -0,0 +1,141 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.domains.cps; + +import org.eclipse.emf.common.util.EList; + +import org.eclipse.emf.ecore.EObject; + +/** + * + * A representation of the model object 'Host Instance'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getHostInstance() + * @model + * @generated + */ +public interface HostInstance extends EObject { + /** + * Returns the value of the 'Type' container reference. + * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.domains.cps.HostType#getInstances Instances}'. + * + *

+ * If the meaning of the 'Type' container reference isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Type' container reference. + * @see #setType(HostType) + * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getHostInstance_Type() + * @see hu.bme.mit.inf.dslreasoner.domains.cps.HostType#getInstances + * @model opposite="instances" required="true" transient="false" + * @generated + */ + HostType getType(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getType Type}' container reference. + * + * + * @param value the new value of the 'Type' container reference. + * @see #getType() + * @generated + */ + void setType(HostType value); + + /** + * Returns the value of the 'Available Memory' attribute. + * + *

+ * If the meaning of the 'Available Memory' attribute isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Available Memory' attribute. + * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getHostInstance_AvailableMemory() + * @model transient="true" changeable="false" volatile="true" derived="true" + * annotation="org.eclipse.viatra.query.querybasedfeature patternFQN='hu.bme.mit.inf.dslreasoner.domains.cps.queries.availableMemory'" + * @generated + */ + int getAvailableMemory(); + + /** + * Returns the value of the 'Available Hdd' attribute. + * + *

+ * If the meaning of the 'Available Hdd' attribute isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Available Hdd' attribute. + * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getHostInstance_AvailableHdd() + * @model transient="true" changeable="false" volatile="true" derived="true" + * annotation="org.eclipse.viatra.query.querybasedfeature patternFQN='hu.bme.mit.inf.dslreasoner.domains.cps.queries.availableHdd'" + * @generated + */ + int getAvailableHdd(); + + /** + * Returns the value of the 'Total Memory' attribute. + * + *

+ * If the meaning of the 'Total Memory' attribute isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Total Memory' attribute. + * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getHostInstance_TotalMemory() + * @model transient="true" changeable="false" volatile="true" derived="true" + * annotation="org.eclipse.viatra.query.querybasedfeature patternFQN='hu.bme.mit.inf.dslreasoner.domains.cps.queries.totalMemory'" + * @generated + */ + int getTotalMemory(); + + /** + * Returns the value of the 'Total Hdd' attribute. + * + *

+ * If the meaning of the 'Total Hdd' attribute isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Total Hdd' attribute. + * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getHostInstance_TotalHdd() + * @model transient="true" changeable="false" volatile="true" derived="true" + * annotation="org.eclipse.viatra.query.querybasedfeature patternFQN='hu.bme.mit.inf.dslreasoner.domains.cps.queries.totalHdd'" + * @generated + */ + int getTotalHdd(); + + /** + * Returns the value of the 'Applications' reference list. + * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationInstance}. + * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationInstance#getAllocatedTo Allocated To}'. + * + *

+ * If the meaning of the 'Applications' reference list isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Applications' reference list. + * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getHostInstance_Applications() + * @see hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationInstance#getAllocatedTo + * @model opposite="allocatedTo" + * @generated + */ + EList getApplications(); + +} // HostInstance -- cgit v1.2.3-70-g09d2