From fd3684b5440dacca0c4bf4be15930555a79e2100 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy
Date: Tue, 21 May 2019 17:00:01 -0400
Subject: VIATRA DSE and COIN-OR CBC implementations of CPS case study
---
.../inf/dslreasoner/domains/cps/CpsPackage.java | 175 +--------------------
.../domains/cps/CyberPhysicalSystem.java | 36 -----
.../inf/dslreasoner/domains/cps/HostInstance.java | 68 --------
.../domains/cps/impl/CpsPackageImpl.java | 124 +--------------
.../domains/cps/impl/CyberPhysicalSystemImpl.java | 57 -------
.../domains/cps/impl/HostInstanceImpl.java | 105 -------------
6 files changed, 4 insertions(+), 561 deletions(-)
(limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner')
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/CpsPackage.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/CpsPackage.java
index 2d7e0660..b0c69786 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/CpsPackage.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/CpsPackage.java
@@ -21,7 +21,6 @@ import org.eclipse.emf.ecore.EReference;
*
* @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsFactory
* @model kind="package"
- * annotation="http://www.eclipse.org/emf/2002/Ecore settingDelegates='org.eclipse.viatra.query.querybasedfeature'"
* @generated
*/
public interface CpsPackage extends EPackage {
@@ -94,24 +93,6 @@ public interface CpsPackage extends EPackage {
*/
int CYBER_PHYSICAL_SYSTEM__HOST_TYPES = 2;
- /**
- * The feature id for the 'Hosts' reference list.
- *
- *
- * @generated
- * @ordered
- */
- int CYBER_PHYSICAL_SYSTEM__HOSTS = 3;
-
- /**
- * The feature id for the 'Applications' reference list.
- *
- *
- * @generated
- * @ordered
- */
- int CYBER_PHYSICAL_SYSTEM__APPLICATIONS = 4;
-
/**
* The number of structural features of the 'Cyber Physical System' class.
*
@@ -119,7 +100,7 @@ public interface CpsPackage extends EPackage {
* @generated
* @ordered
*/
- int CYBER_PHYSICAL_SYSTEM_FEATURE_COUNT = 5;
+ int CYBER_PHYSICAL_SYSTEM_FEATURE_COUNT = 3;
/**
* The number of operations of the 'Cyber Physical System' class.
@@ -470,42 +451,6 @@ public interface CpsPackage extends EPackage {
*/
int HOST_INSTANCE__TYPE = 0;
- /**
- * The feature id for the 'Available Memory' attribute.
- *
- *
- * @generated
- * @ordered
- */
- int HOST_INSTANCE__AVAILABLE_MEMORY = 1;
-
- /**
- * The feature id for the 'Available Hdd' attribute.
- *
- *
- * @generated
- * @ordered
- */
- int HOST_INSTANCE__AVAILABLE_HDD = 2;
-
- /**
- * The feature id for the 'Total Memory' attribute.
- *
- *
- * @generated
- * @ordered
- */
- int HOST_INSTANCE__TOTAL_MEMORY = 3;
-
- /**
- * The feature id for the 'Total Hdd' attribute.
- *
- *
- * @generated
- * @ordered
- */
- int HOST_INSTANCE__TOTAL_HDD = 4;
-
/**
* The feature id for the 'Applications' reference list.
*
@@ -513,7 +458,7 @@ public interface CpsPackage extends EPackage {
* @generated
* @ordered
*/
- int HOST_INSTANCE__APPLICATIONS = 5;
+ int HOST_INSTANCE__APPLICATIONS = 1;
/**
* The number of structural features of the 'Host Instance' class.
@@ -522,7 +467,7 @@ public interface CpsPackage extends EPackage {
* @generated
* @ordered
*/
- int HOST_INSTANCE_FEATURE_COUNT = 6;
+ int HOST_INSTANCE_FEATURE_COUNT = 2;
/**
* The number of operations of the 'Host Instance' class.
@@ -576,28 +521,6 @@ public interface CpsPackage extends EPackage {
*/
EReference getCyberPhysicalSystem_HostTypes();
- /**
- * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem#getHosts Hosts}'.
- *
- *
- * @return the meta object for the reference list 'Hosts'.
- * @see hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem#getHosts()
- * @see #getCyberPhysicalSystem()
- * @generated
- */
- EReference getCyberPhysicalSystem_Hosts();
-
- /**
- * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem#getApplications Applications}'.
- *
- *
- * @return the meta object for the reference list 'Applications'.
- * @see hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem#getApplications()
- * @see #getCyberPhysicalSystem()
- * @generated
- */
- EReference getCyberPhysicalSystem_Applications();
-
/**
* Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationType Application Type}'.
*
@@ -866,50 +789,6 @@ public interface CpsPackage extends EPackage {
*/
EReference getHostInstance_Type();
- /**
- * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getAvailableMemory Available Memory}'.
- *
- *
- * @return the meta object for the attribute 'Available Memory'.
- * @see hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getAvailableMemory()
- * @see #getHostInstance()
- * @generated
- */
- EAttribute getHostInstance_AvailableMemory();
-
- /**
- * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getAvailableHdd Available Hdd}'.
- *
- *
- * @return the meta object for the attribute 'Available Hdd'.
- * @see hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getAvailableHdd()
- * @see #getHostInstance()
- * @generated
- */
- EAttribute getHostInstance_AvailableHdd();
-
- /**
- * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getTotalMemory Total Memory}'.
- *
- *
- * @return the meta object for the attribute 'Total Memory'.
- * @see hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getTotalMemory()
- * @see #getHostInstance()
- * @generated
- */
- EAttribute getHostInstance_TotalMemory();
-
- /**
- * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getTotalHdd Total Hdd}'.
- *
- *
- * @return the meta object for the attribute 'Total Hdd'.
- * @see hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getTotalHdd()
- * @see #getHostInstance()
- * @generated
- */
- EAttribute getHostInstance_TotalHdd();
-
/**
* Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getApplications Applications}'.
*
@@ -978,22 +857,6 @@ public interface CpsPackage extends EPackage {
*/
EReference CYBER_PHYSICAL_SYSTEM__HOST_TYPES = eINSTANCE.getCyberPhysicalSystem_HostTypes();
- /**
- * The meta object literal for the 'Hosts' reference list feature.
- *
- *
- * @generated
- */
- EReference CYBER_PHYSICAL_SYSTEM__HOSTS = eINSTANCE.getCyberPhysicalSystem_Hosts();
-
- /**
- * The meta object literal for the 'Applications' reference list feature.
- *
- *
- * @generated
- */
- EReference CYBER_PHYSICAL_SYSTEM__APPLICATIONS = eINSTANCE.getCyberPhysicalSystem_Applications();
-
/**
* The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.cps.impl.ApplicationTypeImpl Application Type}' class.
*
@@ -1208,38 +1071,6 @@ public interface CpsPackage extends EPackage {
*/
EReference HOST_INSTANCE__TYPE = eINSTANCE.getHostInstance_Type();
- /**
- * The meta object literal for the 'Available Memory' attribute feature.
- *
- *
- * @generated
- */
- EAttribute HOST_INSTANCE__AVAILABLE_MEMORY = eINSTANCE.getHostInstance_AvailableMemory();
-
- /**
- * The meta object literal for the 'Available Hdd' attribute feature.
- *
- *
- * @generated
- */
- EAttribute HOST_INSTANCE__AVAILABLE_HDD = eINSTANCE.getHostInstance_AvailableHdd();
-
- /**
- * The meta object literal for the 'Total Memory' attribute feature.
- *
- *
- * @generated
- */
- EAttribute HOST_INSTANCE__TOTAL_MEMORY = eINSTANCE.getHostInstance_TotalMemory();
-
- /**
- * The meta object literal for the 'Total Hdd' attribute feature.
- *
- *
- * @generated
- */
- EAttribute HOST_INSTANCE__TOTAL_HDD = eINSTANCE.getHostInstance_TotalHdd();
-
/**
* The meta object literal for the 'Applications' reference list feature.
*
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/CyberPhysicalSystem.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/CyberPhysicalSystem.java
index 541916ba..fbf4ce0d 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/CyberPhysicalSystem.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/CyberPhysicalSystem.java
@@ -18,8 +18,6 @@ import org.eclipse.emf.ecore.EObject;
* {@link hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem#getRequests Requests}
* {@link hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem#getApplicationTypes Application Types}
* {@link hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem#getHostTypes Host Types}
- * {@link hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem#getHosts Hosts}
- * {@link hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem#getApplications Applications}
*
*
* @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getCyberPhysicalSystem()
@@ -75,38 +73,4 @@ public interface CyberPhysicalSystem extends EObject {
*/
EList getHostTypes();
- /**
- * Returns the value of the 'Hosts' reference list.
- * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance}.
- *
- *
- * If the meaning of the 'Hosts' reference list isn't clear,
- * there really should be more of a description here...
- *
- *
- * @return the value of the 'Hosts' reference list.
- * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getCyberPhysicalSystem_Hosts()
- * @model transient="true" changeable="false" volatile="true" derived="true"
- * annotation="org.eclipse.viatra.query.querybasedfeature patternFQN='hu.bme.mit.inf.dslreasoner.domains.cps.queries.cpsHosts'"
- * @generated
- */
- EList getHosts();
-
- /**
- * Returns the value of the 'Applications' reference list.
- * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationInstance}.
- *
- *
- * 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#getCyberPhysicalSystem_Applications()
- * @model transient="true" changeable="false" volatile="true" derived="true"
- * annotation="org.eclipse.viatra.query.querybasedfeature patternFQN='hu.bme.mit.inf.dslreasoner.domains.cps.queries.cpsApplications'"
- * @generated
- */
- EList getApplications();
-
} // CyberPhysicalSystem
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
index 43379e0f..b4721842 100644
--- 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
@@ -16,10 +16,6 @@ import org.eclipse.emf.ecore.EObject;
*
*
* - {@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getType Type}
- * - {@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getAvailableMemory Available Memory}
- * - {@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getAvailableHdd Available Hdd}
- * - {@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getTotalMemory Total Memory}
- * - {@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getTotalHdd Total Hdd}
* - {@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getApplications Applications}
*
*
@@ -56,70 +52,6 @@ public interface HostInstance extends EObject {
*/
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}.
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/CpsPackageImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/CpsPackageImpl.java
index 1f143a64..e29ccccd 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/CpsPackageImpl.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/CpsPackageImpl.java
@@ -187,26 +187,6 @@ public class CpsPackageImpl extends EPackageImpl implements CpsPackage {
return (EReference) cyberPhysicalSystemEClass.getEStructuralFeatures().get(2);
}
- /**
- *
- *
- * @generated
- */
- @Override
- public EReference getCyberPhysicalSystem_Hosts() {
- return (EReference) cyberPhysicalSystemEClass.getEStructuralFeatures().get(3);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EReference getCyberPhysicalSystem_Applications() {
- return (EReference) cyberPhysicalSystemEClass.getEStructuralFeatures().get(4);
- }
-
/**
*
*
@@ -457,46 +437,6 @@ public class CpsPackageImpl extends EPackageImpl implements CpsPackage {
return (EReference) hostInstanceEClass.getEStructuralFeatures().get(0);
}
- /**
- *
- *
- * @generated
- */
- @Override
- public EAttribute getHostInstance_AvailableMemory() {
- return (EAttribute) hostInstanceEClass.getEStructuralFeatures().get(1);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EAttribute getHostInstance_AvailableHdd() {
- return (EAttribute) hostInstanceEClass.getEStructuralFeatures().get(2);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EAttribute getHostInstance_TotalMemory() {
- return (EAttribute) hostInstanceEClass.getEStructuralFeatures().get(3);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EAttribute getHostInstance_TotalHdd() {
- return (EAttribute) hostInstanceEClass.getEStructuralFeatures().get(4);
- }
-
/**
*
*
@@ -504,7 +444,7 @@ public class CpsPackageImpl extends EPackageImpl implements CpsPackage {
*/
@Override
public EReference getHostInstance_Applications() {
- return (EReference) hostInstanceEClass.getEStructuralFeatures().get(5);
+ return (EReference) hostInstanceEClass.getEStructuralFeatures().get(1);
}
/**
@@ -541,8 +481,6 @@ public class CpsPackageImpl extends EPackageImpl implements CpsPackage {
createEReference(cyberPhysicalSystemEClass, CYBER_PHYSICAL_SYSTEM__REQUESTS);
createEReference(cyberPhysicalSystemEClass, CYBER_PHYSICAL_SYSTEM__APPLICATION_TYPES);
createEReference(cyberPhysicalSystemEClass, CYBER_PHYSICAL_SYSTEM__HOST_TYPES);
- createEReference(cyberPhysicalSystemEClass, CYBER_PHYSICAL_SYSTEM__HOSTS);
- createEReference(cyberPhysicalSystemEClass, CYBER_PHYSICAL_SYSTEM__APPLICATIONS);
applicationTypeEClass = createEClass(APPLICATION_TYPE);
createEReference(applicationTypeEClass, APPLICATION_TYPE__INSTANCES);
@@ -575,10 +513,6 @@ public class CpsPackageImpl extends EPackageImpl implements CpsPackage {
hostInstanceEClass = createEClass(HOST_INSTANCE);
createEReference(hostInstanceEClass, HOST_INSTANCE__TYPE);
- createEAttribute(hostInstanceEClass, HOST_INSTANCE__AVAILABLE_MEMORY);
- createEAttribute(hostInstanceEClass, HOST_INSTANCE__AVAILABLE_HDD);
- createEAttribute(hostInstanceEClass, HOST_INSTANCE__TOTAL_MEMORY);
- createEAttribute(hostInstanceEClass, HOST_INSTANCE__TOTAL_HDD);
createEReference(hostInstanceEClass, HOST_INSTANCE__APPLICATIONS);
}
@@ -624,12 +558,6 @@ public class CpsPackageImpl extends EPackageImpl implements CpsPackage {
initEReference(getCyberPhysicalSystem_HostTypes(), this.getHostType(), null, "hostTypes", null, 0, -1,
CyberPhysicalSystem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE,
!IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getCyberPhysicalSystem_Hosts(), this.getHostInstance(), null, "hosts", null, 0, -1,
- CyberPhysicalSystem.class, IS_TRANSIENT, IS_VOLATILE, !IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES,
- !IS_UNSETTABLE, IS_UNIQUE, IS_DERIVED, IS_ORDERED);
- initEReference(getCyberPhysicalSystem_Applications(), this.getApplicationInstance(), null, "applications", null,
- 0, -1, CyberPhysicalSystem.class, IS_TRANSIENT, IS_VOLATILE, !IS_CHANGEABLE, !IS_COMPOSITE,
- IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, IS_DERIVED, IS_ORDERED);
initEClass(applicationTypeEClass, ApplicationType.class, "ApplicationType", !IS_ABSTRACT, !IS_INTERFACE,
IS_GENERATED_INSTANCE_CLASS);
@@ -703,17 +631,6 @@ public class CpsPackageImpl extends EPackageImpl implements CpsPackage {
initEReference(getHostInstance_Type(), this.getHostType(), this.getHostType_Instances(), "type", null, 1, 1,
HostInstance.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES,
!IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEAttribute(getHostInstance_AvailableMemory(), ecorePackage.getEInt(), "availableMemory", null, 0, 1,
- HostInstance.class, IS_TRANSIENT, IS_VOLATILE, !IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE,
- IS_DERIVED, IS_ORDERED);
- initEAttribute(getHostInstance_AvailableHdd(), ecorePackage.getEInt(), "availableHdd", null, 0, 1,
- HostInstance.class, IS_TRANSIENT, IS_VOLATILE, !IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE,
- IS_DERIVED, IS_ORDERED);
- initEAttribute(getHostInstance_TotalMemory(), ecorePackage.getEInt(), "totalMemory", null, 0, 1,
- HostInstance.class, IS_TRANSIENT, IS_VOLATILE, !IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE,
- IS_DERIVED, IS_ORDERED);
- initEAttribute(getHostInstance_TotalHdd(), ecorePackage.getEInt(), "totalHdd", null, 0, 1, HostInstance.class,
- IS_TRANSIENT, IS_VOLATILE, !IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, IS_DERIVED, IS_ORDERED);
initEReference(getHostInstance_Applications(), this.getApplicationInstance(),
this.getApplicationInstance_AllocatedTo(), "applications", null, 0, -1, HostInstance.class,
!IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE,
@@ -721,45 +638,6 @@ public class CpsPackageImpl extends EPackageImpl implements CpsPackage {
// Create resource
createResource(eNS_URI);
-
- // Create annotations
- // http://www.eclipse.org/emf/2002/Ecore
- createEcoreAnnotations();
- // org.eclipse.viatra.query.querybasedfeature
- createOrgAnnotations();
- }
-
- /**
- * Initializes the annotations for http://www.eclipse.org/emf/2002/Ecore.
- *
- *
- * @generated
- */
- protected void createEcoreAnnotations() {
- String source = "http://www.eclipse.org/emf/2002/Ecore";
- addAnnotation(this, source, new String[] { "settingDelegates", "org.eclipse.viatra.query.querybasedfeature" });
- }
-
- /**
- * Initializes the annotations for org.eclipse.viatra.query.querybasedfeature.
- *
- *
- * @generated
- */
- protected void createOrgAnnotations() {
- String source = "org.eclipse.viatra.query.querybasedfeature";
- addAnnotation(getCyberPhysicalSystem_Hosts(), source,
- new String[] { "patternFQN", "hu.bme.mit.inf.dslreasoner.domains.cps.queries.cpsHosts" });
- addAnnotation(getCyberPhysicalSystem_Applications(), source,
- new String[] { "patternFQN", "hu.bme.mit.inf.dslreasoner.domains.cps.queries.cpsApplications" });
- addAnnotation(getHostInstance_AvailableMemory(), source,
- new String[] { "patternFQN", "hu.bme.mit.inf.dslreasoner.domains.cps.queries.availableMemory" });
- addAnnotation(getHostInstance_AvailableHdd(), source,
- new String[] { "patternFQN", "hu.bme.mit.inf.dslreasoner.domains.cps.queries.availableHdd" });
- addAnnotation(getHostInstance_TotalMemory(), source,
- new String[] { "patternFQN", "hu.bme.mit.inf.dslreasoner.domains.cps.queries.totalMemory" });
- addAnnotation(getHostInstance_TotalHdd(), source,
- new String[] { "patternFQN", "hu.bme.mit.inf.dslreasoner.domains.cps.queries.totalHdd" });
}
} //CpsPackageImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/CyberPhysicalSystemImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/CyberPhysicalSystemImpl.java
index 4d254f25..3ba111af 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/CyberPhysicalSystemImpl.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/CyberPhysicalSystemImpl.java
@@ -2,11 +2,9 @@
*/
package hu.bme.mit.inf.dslreasoner.domains.cps.impl;
-import hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationInstance;
import hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationType;
import hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage;
import hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem;
-import hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance;
import hu.bme.mit.inf.dslreasoner.domains.cps.HostType;
import hu.bme.mit.inf.dslreasoner.domains.cps.Request;
@@ -17,7 +15,6 @@ 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.EStructuralFeature;
import org.eclipse.emf.ecore.InternalEObject;
import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
@@ -36,8 +33,6 @@ import org.eclipse.emf.ecore.util.InternalEList;
* {@link hu.bme.mit.inf.dslreasoner.domains.cps.impl.CyberPhysicalSystemImpl#getRequests Requests}
* {@link hu.bme.mit.inf.dslreasoner.domains.cps.impl.CyberPhysicalSystemImpl#getApplicationTypes Application Types}
* {@link hu.bme.mit.inf.dslreasoner.domains.cps.impl.CyberPhysicalSystemImpl#getHostTypes Host Types}
- * {@link hu.bme.mit.inf.dslreasoner.domains.cps.impl.CyberPhysicalSystemImpl#getHosts Hosts}
- * {@link hu.bme.mit.inf.dslreasoner.domains.cps.impl.CyberPhysicalSystemImpl#getApplications Applications}
*
*
* @generated
@@ -73,28 +68,6 @@ public class CyberPhysicalSystemImpl extends MinimalEObjectImpl.Container implem
*/
protected EList hostTypes;
- /**
- * The cached setting delegate for the '{@link #getHosts() Hosts}' reference list.
- *
- *
- * @see #getHosts()
- * @generated
- * @ordered
- */
- protected EStructuralFeature.Internal.SettingDelegate HOSTS__ESETTING_DELEGATE = ((EStructuralFeature.Internal) CpsPackage.Literals.CYBER_PHYSICAL_SYSTEM__HOSTS)
- .getSettingDelegate();
-
- /**
- * The cached setting delegate for the '{@link #getApplications() Applications}' reference list.
- *
- *
- * @see #getApplications()
- * @generated
- * @ordered
- */
- protected EStructuralFeature.Internal.SettingDelegate APPLICATIONS__ESETTING_DELEGATE = ((EStructuralFeature.Internal) CpsPackage.Literals.CYBER_PHYSICAL_SYSTEM__APPLICATIONS)
- .getSettingDelegate();
-
/**
*
*
@@ -156,28 +129,6 @@ public class CyberPhysicalSystemImpl extends MinimalEObjectImpl.Container implem
return hostTypes;
}
- /**
- *
- *
- * @generated
- */
- @SuppressWarnings("unchecked")
- @Override
- public EList getHosts() {
- return (EList) HOSTS__ESETTING_DELEGATE.dynamicGet(this, null, 0, true, false);
- }
-
- /**
- *
- *
- * @generated
- */
- @SuppressWarnings("unchecked")
- @Override
- public EList getApplications() {
- return (EList) APPLICATIONS__ESETTING_DELEGATE.dynamicGet(this, null, 0, true, false);
- }
-
/**
*
*
@@ -210,10 +161,6 @@ public class CyberPhysicalSystemImpl extends MinimalEObjectImpl.Container implem
return getApplicationTypes();
case CpsPackage.CYBER_PHYSICAL_SYSTEM__HOST_TYPES:
return getHostTypes();
- case CpsPackage.CYBER_PHYSICAL_SYSTEM__HOSTS:
- return getHosts();
- case CpsPackage.CYBER_PHYSICAL_SYSTEM__APPLICATIONS:
- return getApplications();
}
return super.eGet(featureID, resolve, coreType);
}
@@ -278,10 +225,6 @@ public class CyberPhysicalSystemImpl extends MinimalEObjectImpl.Container implem
return applicationTypes != null && !applicationTypes.isEmpty();
case CpsPackage.CYBER_PHYSICAL_SYSTEM__HOST_TYPES:
return hostTypes != null && !hostTypes.isEmpty();
- case CpsPackage.CYBER_PHYSICAL_SYSTEM__HOSTS:
- return HOSTS__ESETTING_DELEGATE.dynamicIsSet(this, null, 0);
- case CpsPackage.CYBER_PHYSICAL_SYSTEM__APPLICATIONS:
- return APPLICATIONS__ESETTING_DELEGATE.dynamicIsSet(this, null, 0);
}
return super.eIsSet(featureID);
}
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/HostInstanceImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/HostInstanceImpl.java
index bbaca59c..551f2ed6 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/HostInstanceImpl.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/HostInstanceImpl.java
@@ -15,7 +15,6 @@ 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.EStructuralFeature;
import org.eclipse.emf.ecore.InternalEObject;
import org.eclipse.emf.ecore.impl.ENotificationImpl;
@@ -34,60 +33,12 @@ import org.eclipse.emf.ecore.util.InternalEList;
*
*
* - {@link hu.bme.mit.inf.dslreasoner.domains.cps.impl.HostInstanceImpl#getType Type}
- * - {@link hu.bme.mit.inf.dslreasoner.domains.cps.impl.HostInstanceImpl#getAvailableMemory Available Memory}
- * - {@link hu.bme.mit.inf.dslreasoner.domains.cps.impl.HostInstanceImpl#getAvailableHdd Available Hdd}
- * - {@link hu.bme.mit.inf.dslreasoner.domains.cps.impl.HostInstanceImpl#getTotalMemory Total Memory}
- * - {@link hu.bme.mit.inf.dslreasoner.domains.cps.impl.HostInstanceImpl#getTotalHdd Total Hdd}
* - {@link hu.bme.mit.inf.dslreasoner.domains.cps.impl.HostInstanceImpl#getApplications Applications}
*
*
* @generated
*/
public class HostInstanceImpl extends MinimalEObjectImpl.Container implements HostInstance {
- /**
- * The cached setting delegate for the '{@link #getAvailableMemory() Available Memory}' attribute.
- *
- *
- * @see #getAvailableMemory()
- * @generated
- * @ordered
- */
- protected EStructuralFeature.Internal.SettingDelegate AVAILABLE_MEMORY__ESETTING_DELEGATE = ((EStructuralFeature.Internal) CpsPackage.Literals.HOST_INSTANCE__AVAILABLE_MEMORY)
- .getSettingDelegate();
-
- /**
- * The cached setting delegate for the '{@link #getAvailableHdd() Available Hdd}' attribute.
- *
- *
- * @see #getAvailableHdd()
- * @generated
- * @ordered
- */
- protected EStructuralFeature.Internal.SettingDelegate AVAILABLE_HDD__ESETTING_DELEGATE = ((EStructuralFeature.Internal) CpsPackage.Literals.HOST_INSTANCE__AVAILABLE_HDD)
- .getSettingDelegate();
-
- /**
- * The cached setting delegate for the '{@link #getTotalMemory() Total Memory}' attribute.
- *
- *
- * @see #getTotalMemory()
- * @generated
- * @ordered
- */
- protected EStructuralFeature.Internal.SettingDelegate TOTAL_MEMORY__ESETTING_DELEGATE = ((EStructuralFeature.Internal) CpsPackage.Literals.HOST_INSTANCE__TOTAL_MEMORY)
- .getSettingDelegate();
-
- /**
- * The cached setting delegate for the '{@link #getTotalHdd() Total Hdd}' attribute.
- *
- *
- * @see #getTotalHdd()
- * @generated
- * @ordered
- */
- protected EStructuralFeature.Internal.SettingDelegate TOTAL_HDD__ESETTING_DELEGATE = ((EStructuralFeature.Internal) CpsPackage.Literals.HOST_INSTANCE__TOTAL_HDD)
- .getSettingDelegate();
-
/**
* The cached value of the '{@link #getApplications() Applications}' reference list.
*
@@ -163,46 +114,6 @@ public class HostInstanceImpl extends MinimalEObjectImpl.Container implements Ho
eNotify(new ENotificationImpl(this, Notification.SET, CpsPackage.HOST_INSTANCE__TYPE, newType, newType));
}
- /**
- *
- *
- * @generated
- */
- @Override
- public int getAvailableMemory() {
- return (Integer) AVAILABLE_MEMORY__ESETTING_DELEGATE.dynamicGet(this, null, 0, true, false);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public int getAvailableHdd() {
- return (Integer) AVAILABLE_HDD__ESETTING_DELEGATE.dynamicGet(this, null, 0, true, false);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public int getTotalMemory() {
- return (Integer) TOTAL_MEMORY__ESETTING_DELEGATE.dynamicGet(this, null, 0, true, false);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public int getTotalHdd() {
- return (Integer) TOTAL_HDD__ESETTING_DELEGATE.dynamicGet(this, null, 0, true, false);
- }
-
/**
*
*
@@ -276,14 +187,6 @@ public class HostInstanceImpl extends MinimalEObjectImpl.Container implements Ho
switch (featureID) {
case CpsPackage.HOST_INSTANCE__TYPE:
return getType();
- case CpsPackage.HOST_INSTANCE__AVAILABLE_MEMORY:
- return getAvailableMemory();
- case CpsPackage.HOST_INSTANCE__AVAILABLE_HDD:
- return getAvailableHdd();
- case CpsPackage.HOST_INSTANCE__TOTAL_MEMORY:
- return getTotalMemory();
- case CpsPackage.HOST_INSTANCE__TOTAL_HDD:
- return getTotalHdd();
case CpsPackage.HOST_INSTANCE__APPLICATIONS:
return getApplications();
}
@@ -338,14 +241,6 @@ public class HostInstanceImpl extends MinimalEObjectImpl.Container implements Ho
switch (featureID) {
case CpsPackage.HOST_INSTANCE__TYPE:
return getType() != null;
- case CpsPackage.HOST_INSTANCE__AVAILABLE_MEMORY:
- return AVAILABLE_MEMORY__ESETTING_DELEGATE.dynamicIsSet(this, null, 0);
- case CpsPackage.HOST_INSTANCE__AVAILABLE_HDD:
- return AVAILABLE_HDD__ESETTING_DELEGATE.dynamicIsSet(this, null, 0);
- case CpsPackage.HOST_INSTANCE__TOTAL_MEMORY:
- return TOTAL_MEMORY__ESETTING_DELEGATE.dynamicIsSet(this, null, 0);
- case CpsPackage.HOST_INSTANCE__TOTAL_HDD:
- return TOTAL_HDD__ESETTING_DELEGATE.dynamicIsSet(this, null, 0);
case CpsPackage.HOST_INSTANCE__APPLICATIONS:
return applications != null && !applications.isEmpty();
}
--
cgit v1.2.3-54-g00ecf