diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-15 13:46:38 -0400 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-15 13:46:38 -0400 |
commit | e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef (patch) | |
tree | 42cb23ff8839308345c0859cdf99469c930af03b /Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/CyberPhysicalSystem.java | |
parent | Merge remote-tracking branch 'origin/master' into kris (diff) | |
download | VIATRA-Generator-e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef.tar.gz VIATRA-Generator-e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef.tar.zst VIATRA-Generator-e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef.zip |
Formalize CPS case study for optimization
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/CyberPhysicalSystem.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/CyberPhysicalSystem.java | 112 |
1 files changed, 112 insertions, 0 deletions
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 new file mode 100644 index 00000000..541916ba --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/CyberPhysicalSystem.java | |||
@@ -0,0 +1,112 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.domains.cps; | ||
4 | |||
5 | import org.eclipse.emf.common.util.EList; | ||
6 | |||
7 | import org.eclipse.emf.ecore.EObject; | ||
8 | |||
9 | /** | ||
10 | * <!-- begin-user-doc --> | ||
11 | * A representation of the model object '<em><b>Cyber Physical System</b></em>'. | ||
12 | * <!-- end-user-doc --> | ||
13 | * | ||
14 | * <p> | ||
15 | * The following features are supported: | ||
16 | * </p> | ||
17 | * <ul> | ||
18 | * <li>{@link hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem#getRequests <em>Requests</em>}</li> | ||
19 | * <li>{@link hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem#getApplicationTypes <em>Application Types</em>}</li> | ||
20 | * <li>{@link hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem#getHostTypes <em>Host Types</em>}</li> | ||
21 | * <li>{@link hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem#getHosts <em>Hosts</em>}</li> | ||
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem#getApplications <em>Applications</em>}</li> | ||
23 | * </ul> | ||
24 | * | ||
25 | * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getCyberPhysicalSystem() | ||
26 | * @model | ||
27 | * @generated | ||
28 | */ | ||
29 | public interface CyberPhysicalSystem extends EObject { | ||
30 | /** | ||
31 | * Returns the value of the '<em><b>Requests</b></em>' containment reference list. | ||
32 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.domains.cps.Request}. | ||
33 | * <!-- begin-user-doc --> | ||
34 | * <p> | ||
35 | * If the meaning of the '<em>Requests</em>' containment reference list isn't clear, | ||
36 | * there really should be more of a description here... | ||
37 | * </p> | ||
38 | * <!-- end-user-doc --> | ||
39 | * @return the value of the '<em>Requests</em>' containment reference list. | ||
40 | * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getCyberPhysicalSystem_Requests() | ||
41 | * @model containment="true" | ||
42 | * @generated | ||
43 | */ | ||
44 | EList<Request> getRequests(); | ||
45 | |||
46 | /** | ||
47 | * Returns the value of the '<em><b>Application Types</b></em>' containment reference list. | ||
48 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationType}. | ||
49 | * <!-- begin-user-doc --> | ||
50 | * <p> | ||
51 | * If the meaning of the '<em>Application Types</em>' containment reference list isn't clear, | ||
52 | * there really should be more of a description here... | ||
53 | * </p> | ||
54 | * <!-- end-user-doc --> | ||
55 | * @return the value of the '<em>Application Types</em>' containment reference list. | ||
56 | * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getCyberPhysicalSystem_ApplicationTypes() | ||
57 | * @model containment="true" | ||
58 | * @generated | ||
59 | */ | ||
60 | EList<ApplicationType> getApplicationTypes(); | ||
61 | |||
62 | /** | ||
63 | * Returns the value of the '<em><b>Host Types</b></em>' containment reference list. | ||
64 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.domains.cps.HostType}. | ||
65 | * <!-- begin-user-doc --> | ||
66 | * <p> | ||
67 | * If the meaning of the '<em>Host Types</em>' containment reference list isn't clear, | ||
68 | * there really should be more of a description here... | ||
69 | * </p> | ||
70 | * <!-- end-user-doc --> | ||
71 | * @return the value of the '<em>Host Types</em>' containment reference list. | ||
72 | * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getCyberPhysicalSystem_HostTypes() | ||
73 | * @model containment="true" | ||
74 | * @generated | ||
75 | */ | ||
76 | EList<HostType> getHostTypes(); | ||
77 | |||
78 | /** | ||
79 | * Returns the value of the '<em><b>Hosts</b></em>' reference list. | ||
80 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance}. | ||
81 | * <!-- begin-user-doc --> | ||
82 | * <p> | ||
83 | * If the meaning of the '<em>Hosts</em>' reference list isn't clear, | ||
84 | * there really should be more of a description here... | ||
85 | * </p> | ||
86 | * <!-- end-user-doc --> | ||
87 | * @return the value of the '<em>Hosts</em>' reference list. | ||
88 | * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getCyberPhysicalSystem_Hosts() | ||
89 | * @model transient="true" changeable="false" volatile="true" derived="true" | ||
90 | * annotation="org.eclipse.viatra.query.querybasedfeature patternFQN='hu.bme.mit.inf.dslreasoner.domains.cps.queries.cpsHosts'" | ||
91 | * @generated | ||
92 | */ | ||
93 | EList<HostInstance> getHosts(); | ||
94 | |||
95 | /** | ||
96 | * Returns the value of the '<em><b>Applications</b></em>' reference list. | ||
97 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationInstance}. | ||
98 | * <!-- begin-user-doc --> | ||
99 | * <p> | ||
100 | * If the meaning of the '<em>Applications</em>' reference list isn't clear, | ||
101 | * there really should be more of a description here... | ||
102 | * </p> | ||
103 | * <!-- end-user-doc --> | ||
104 | * @return the value of the '<em>Applications</em>' reference list. | ||
105 | * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getCyberPhysicalSystem_Applications() | ||
106 | * @model transient="true" changeable="false" volatile="true" derived="true" | ||
107 | * annotation="org.eclipse.viatra.query.querybasedfeature patternFQN='hu.bme.mit.inf.dslreasoner.domains.cps.queries.cpsApplications'" | ||
108 | * @generated | ||
109 | */ | ||
110 | EList<ApplicationInstance> getApplications(); | ||
111 | |||
112 | } // CyberPhysicalSystem | ||