diff options
author | 2019-05-21 17:00:01 -0400 | |
---|---|---|
committer | 2019-05-21 17:00:01 -0400 | |
commit | fd3684b5440dacca0c4bf4be15930555a79e2100 (patch) | |
tree | 24120a5c7fdae1532529fa0c4687dc1078cd1cde /Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/CpsPackageImpl.java | |
parent | Interval hull aggregation operator (diff) | |
download | VIATRA-Generator-fd3684b5440dacca0c4bf4be15930555a79e2100.tar.gz VIATRA-Generator-fd3684b5440dacca0c4bf4be15930555a79e2100.tar.zst VIATRA-Generator-fd3684b5440dacca0c4bf4be15930555a79e2100.zip |
VIATRA DSE and COIN-OR CBC implementations of CPS case study
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/CpsPackageImpl.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/impl/CpsPackageImpl.java | 124 |
1 files changed, 1 insertions, 123 deletions
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 | |||
@@ -193,26 +193,6 @@ public class CpsPackageImpl extends EPackageImpl implements CpsPackage { | |||
193 | * @generated | 193 | * @generated |
194 | */ | 194 | */ |
195 | @Override | 195 | @Override |
196 | public EReference getCyberPhysicalSystem_Hosts() { | ||
197 | return (EReference) cyberPhysicalSystemEClass.getEStructuralFeatures().get(3); | ||
198 | } | ||
199 | |||
200 | /** | ||
201 | * <!-- begin-user-doc --> | ||
202 | * <!-- end-user-doc --> | ||
203 | * @generated | ||
204 | */ | ||
205 | @Override | ||
206 | public EReference getCyberPhysicalSystem_Applications() { | ||
207 | return (EReference) cyberPhysicalSystemEClass.getEStructuralFeatures().get(4); | ||
208 | } | ||
209 | |||
210 | /** | ||
211 | * <!-- begin-user-doc --> | ||
212 | * <!-- end-user-doc --> | ||
213 | * @generated | ||
214 | */ | ||
215 | @Override | ||
216 | public EClass getApplicationType() { | 196 | public EClass getApplicationType() { |
217 | return applicationTypeEClass; | 197 | return applicationTypeEClass; |
218 | } | 198 | } |
@@ -463,48 +443,8 @@ public class CpsPackageImpl extends EPackageImpl implements CpsPackage { | |||
463 | * @generated | 443 | * @generated |
464 | */ | 444 | */ |
465 | @Override | 445 | @Override |
466 | public EAttribute getHostInstance_AvailableMemory() { | ||
467 | return (EAttribute) hostInstanceEClass.getEStructuralFeatures().get(1); | ||
468 | } | ||
469 | |||
470 | /** | ||
471 | * <!-- begin-user-doc --> | ||
472 | * <!-- end-user-doc --> | ||
473 | * @generated | ||
474 | */ | ||
475 | @Override | ||
476 | public EAttribute getHostInstance_AvailableHdd() { | ||
477 | return (EAttribute) hostInstanceEClass.getEStructuralFeatures().get(2); | ||
478 | } | ||
479 | |||
480 | /** | ||
481 | * <!-- begin-user-doc --> | ||
482 | * <!-- end-user-doc --> | ||
483 | * @generated | ||
484 | */ | ||
485 | @Override | ||
486 | public EAttribute getHostInstance_TotalMemory() { | ||
487 | return (EAttribute) hostInstanceEClass.getEStructuralFeatures().get(3); | ||
488 | } | ||
489 | |||
490 | /** | ||
491 | * <!-- begin-user-doc --> | ||
492 | * <!-- end-user-doc --> | ||
493 | * @generated | ||
494 | */ | ||
495 | @Override | ||
496 | public EAttribute getHostInstance_TotalHdd() { | ||
497 | return (EAttribute) hostInstanceEClass.getEStructuralFeatures().get(4); | ||
498 | } | ||
499 | |||
500 | /** | ||
501 | * <!-- begin-user-doc --> | ||
502 | * <!-- end-user-doc --> | ||
503 | * @generated | ||
504 | */ | ||
505 | @Override | ||
506 | public EReference getHostInstance_Applications() { | 446 | public EReference getHostInstance_Applications() { |
507 | return (EReference) hostInstanceEClass.getEStructuralFeatures().get(5); | 447 | return (EReference) hostInstanceEClass.getEStructuralFeatures().get(1); |
508 | } | 448 | } |
509 | 449 | ||
510 | /** | 450 | /** |
@@ -541,8 +481,6 @@ public class CpsPackageImpl extends EPackageImpl implements CpsPackage { | |||
541 | createEReference(cyberPhysicalSystemEClass, CYBER_PHYSICAL_SYSTEM__REQUESTS); | 481 | createEReference(cyberPhysicalSystemEClass, CYBER_PHYSICAL_SYSTEM__REQUESTS); |
542 | createEReference(cyberPhysicalSystemEClass, CYBER_PHYSICAL_SYSTEM__APPLICATION_TYPES); | 482 | createEReference(cyberPhysicalSystemEClass, CYBER_PHYSICAL_SYSTEM__APPLICATION_TYPES); |
543 | createEReference(cyberPhysicalSystemEClass, CYBER_PHYSICAL_SYSTEM__HOST_TYPES); | 483 | createEReference(cyberPhysicalSystemEClass, CYBER_PHYSICAL_SYSTEM__HOST_TYPES); |
544 | createEReference(cyberPhysicalSystemEClass, CYBER_PHYSICAL_SYSTEM__HOSTS); | ||
545 | createEReference(cyberPhysicalSystemEClass, CYBER_PHYSICAL_SYSTEM__APPLICATIONS); | ||
546 | 484 | ||
547 | applicationTypeEClass = createEClass(APPLICATION_TYPE); | 485 | applicationTypeEClass = createEClass(APPLICATION_TYPE); |
548 | createEReference(applicationTypeEClass, APPLICATION_TYPE__INSTANCES); | 486 | createEReference(applicationTypeEClass, APPLICATION_TYPE__INSTANCES); |
@@ -575,10 +513,6 @@ public class CpsPackageImpl extends EPackageImpl implements CpsPackage { | |||
575 | 513 | ||
576 | hostInstanceEClass = createEClass(HOST_INSTANCE); | 514 | hostInstanceEClass = createEClass(HOST_INSTANCE); |
577 | createEReference(hostInstanceEClass, HOST_INSTANCE__TYPE); | 515 | createEReference(hostInstanceEClass, HOST_INSTANCE__TYPE); |
578 | createEAttribute(hostInstanceEClass, HOST_INSTANCE__AVAILABLE_MEMORY); | ||
579 | createEAttribute(hostInstanceEClass, HOST_INSTANCE__AVAILABLE_HDD); | ||
580 | createEAttribute(hostInstanceEClass, HOST_INSTANCE__TOTAL_MEMORY); | ||
581 | createEAttribute(hostInstanceEClass, HOST_INSTANCE__TOTAL_HDD); | ||
582 | createEReference(hostInstanceEClass, HOST_INSTANCE__APPLICATIONS); | 516 | createEReference(hostInstanceEClass, HOST_INSTANCE__APPLICATIONS); |
583 | } | 517 | } |
584 | 518 | ||
@@ -624,12 +558,6 @@ public class CpsPackageImpl extends EPackageImpl implements CpsPackage { | |||
624 | initEReference(getCyberPhysicalSystem_HostTypes(), this.getHostType(), null, "hostTypes", null, 0, -1, | 558 | initEReference(getCyberPhysicalSystem_HostTypes(), this.getHostType(), null, "hostTypes", null, 0, -1, |
625 | CyberPhysicalSystem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, | 559 | CyberPhysicalSystem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, |
626 | !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 560 | !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
627 | initEReference(getCyberPhysicalSystem_Hosts(), this.getHostInstance(), null, "hosts", null, 0, -1, | ||
628 | CyberPhysicalSystem.class, IS_TRANSIENT, IS_VOLATILE, !IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, | ||
629 | !IS_UNSETTABLE, IS_UNIQUE, IS_DERIVED, IS_ORDERED); | ||
630 | initEReference(getCyberPhysicalSystem_Applications(), this.getApplicationInstance(), null, "applications", null, | ||
631 | 0, -1, CyberPhysicalSystem.class, IS_TRANSIENT, IS_VOLATILE, !IS_CHANGEABLE, !IS_COMPOSITE, | ||
632 | IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, IS_DERIVED, IS_ORDERED); | ||
633 | 561 | ||
634 | initEClass(applicationTypeEClass, ApplicationType.class, "ApplicationType", !IS_ABSTRACT, !IS_INTERFACE, | 562 | initEClass(applicationTypeEClass, ApplicationType.class, "ApplicationType", !IS_ABSTRACT, !IS_INTERFACE, |
635 | IS_GENERATED_INSTANCE_CLASS); | 563 | IS_GENERATED_INSTANCE_CLASS); |
@@ -703,17 +631,6 @@ public class CpsPackageImpl extends EPackageImpl implements CpsPackage { | |||
703 | initEReference(getHostInstance_Type(), this.getHostType(), this.getHostType_Instances(), "type", null, 1, 1, | 631 | initEReference(getHostInstance_Type(), this.getHostType(), this.getHostType_Instances(), "type", null, 1, 1, |
704 | HostInstance.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, | 632 | HostInstance.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, |
705 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 633 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
706 | initEAttribute(getHostInstance_AvailableMemory(), ecorePackage.getEInt(), "availableMemory", null, 0, 1, | ||
707 | HostInstance.class, IS_TRANSIENT, IS_VOLATILE, !IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, | ||
708 | IS_DERIVED, IS_ORDERED); | ||
709 | initEAttribute(getHostInstance_AvailableHdd(), ecorePackage.getEInt(), "availableHdd", null, 0, 1, | ||
710 | HostInstance.class, IS_TRANSIENT, IS_VOLATILE, !IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, | ||
711 | IS_DERIVED, IS_ORDERED); | ||
712 | initEAttribute(getHostInstance_TotalMemory(), ecorePackage.getEInt(), "totalMemory", null, 0, 1, | ||
713 | HostInstance.class, IS_TRANSIENT, IS_VOLATILE, !IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, | ||
714 | IS_DERIVED, IS_ORDERED); | ||
715 | initEAttribute(getHostInstance_TotalHdd(), ecorePackage.getEInt(), "totalHdd", null, 0, 1, HostInstance.class, | ||
716 | IS_TRANSIENT, IS_VOLATILE, !IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, IS_DERIVED, IS_ORDERED); | ||
717 | initEReference(getHostInstance_Applications(), this.getApplicationInstance(), | 634 | initEReference(getHostInstance_Applications(), this.getApplicationInstance(), |
718 | this.getApplicationInstance_AllocatedTo(), "applications", null, 0, -1, HostInstance.class, | 635 | this.getApplicationInstance_AllocatedTo(), "applications", null, 0, -1, HostInstance.class, |
719 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, | 636 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, |
@@ -721,45 +638,6 @@ public class CpsPackageImpl extends EPackageImpl implements CpsPackage { | |||
721 | 638 | ||
722 | // Create resource | 639 | // Create resource |
723 | createResource(eNS_URI); | 640 | createResource(eNS_URI); |
724 | |||
725 | // Create annotations | ||
726 | // http://www.eclipse.org/emf/2002/Ecore | ||
727 | createEcoreAnnotations(); | ||
728 | // org.eclipse.viatra.query.querybasedfeature | ||
729 | createOrgAnnotations(); | ||
730 | } | ||
731 | |||
732 | /** | ||
733 | * Initializes the annotations for <b>http://www.eclipse.org/emf/2002/Ecore</b>. | ||
734 | * <!-- begin-user-doc --> | ||
735 | * <!-- end-user-doc --> | ||
736 | * @generated | ||
737 | */ | ||
738 | protected void createEcoreAnnotations() { | ||
739 | String source = "http://www.eclipse.org/emf/2002/Ecore"; | ||
740 | addAnnotation(this, source, new String[] { "settingDelegates", "org.eclipse.viatra.query.querybasedfeature" }); | ||
741 | } | ||
742 | |||
743 | /** | ||
744 | * Initializes the annotations for <b>org.eclipse.viatra.query.querybasedfeature</b>. | ||
745 | * <!-- begin-user-doc --> | ||
746 | * <!-- end-user-doc --> | ||
747 | * @generated | ||
748 | */ | ||
749 | protected void createOrgAnnotations() { | ||
750 | String source = "org.eclipse.viatra.query.querybasedfeature"; | ||
751 | addAnnotation(getCyberPhysicalSystem_Hosts(), source, | ||
752 | new String[] { "patternFQN", "hu.bme.mit.inf.dslreasoner.domains.cps.queries.cpsHosts" }); | ||
753 | addAnnotation(getCyberPhysicalSystem_Applications(), source, | ||
754 | new String[] { "patternFQN", "hu.bme.mit.inf.dslreasoner.domains.cps.queries.cpsApplications" }); | ||
755 | addAnnotation(getHostInstance_AvailableMemory(), source, | ||
756 | new String[] { "patternFQN", "hu.bme.mit.inf.dslreasoner.domains.cps.queries.availableMemory" }); | ||
757 | addAnnotation(getHostInstance_AvailableHdd(), source, | ||
758 | new String[] { "patternFQN", "hu.bme.mit.inf.dslreasoner.domains.cps.queries.availableHdd" }); | ||
759 | addAnnotation(getHostInstance_TotalMemory(), source, | ||
760 | new String[] { "patternFQN", "hu.bme.mit.inf.dslreasoner.domains.cps.queries.totalMemory" }); | ||
761 | addAnnotation(getHostInstance_TotalHdd(), source, | ||
762 | new String[] { "patternFQN", "hu.bme.mit.inf.dslreasoner.domains.cps.queries.totalHdd" }); | ||
763 | } | 641 | } |
764 | 642 | ||
765 | } //CpsPackageImpl | 643 | } //CpsPackageImpl |