diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/ForallImpl.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/ForallImpl.java | 182 |
1 files changed, 182 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/ForallImpl.java b/Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/ForallImpl.java new file mode 100644 index 00000000..0007f67f --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/ForallImpl.java | |||
@@ -0,0 +1,182 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package org.eclipse.viatra.solver.language.solverLanguage.impl; | ||
4 | |||
5 | import org.eclipse.emf.common.notify.Notification; | ||
6 | import org.eclipse.emf.common.notify.NotificationChain; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | import org.eclipse.emf.ecore.InternalEObject; | ||
10 | |||
11 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
12 | |||
13 | import org.eclipse.viatra.solver.language.solverLanguage.Expression; | ||
14 | import org.eclipse.viatra.solver.language.solverLanguage.Forall; | ||
15 | import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; | ||
16 | |||
17 | /** | ||
18 | * <!-- begin-user-doc --> | ||
19 | * An implementation of the model object '<em><b>Forall</b></em>'. | ||
20 | * <!-- end-user-doc --> | ||
21 | * <p> | ||
22 | * The following features are implemented: | ||
23 | * </p> | ||
24 | * <ul> | ||
25 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ForallImpl#getBody <em>Body</em>}</li> | ||
26 | * </ul> | ||
27 | * | ||
28 | * @generated | ||
29 | */ | ||
30 | public class ForallImpl extends AggregateExpressionImpl implements Forall { | ||
31 | /** | ||
32 | * The cached value of the '{@link #getBody() <em>Body</em>}' containment reference. | ||
33 | * <!-- begin-user-doc --> | ||
34 | * <!-- end-user-doc --> | ||
35 | * @see #getBody() | ||
36 | * @generated | ||
37 | * @ordered | ||
38 | */ | ||
39 | protected Expression body; | ||
40 | |||
41 | /** | ||
42 | * <!-- begin-user-doc --> | ||
43 | * <!-- end-user-doc --> | ||
44 | * @generated | ||
45 | */ | ||
46 | protected ForallImpl() { | ||
47 | super(); | ||
48 | } | ||
49 | |||
50 | /** | ||
51 | * <!-- begin-user-doc --> | ||
52 | * <!-- end-user-doc --> | ||
53 | * @generated | ||
54 | */ | ||
55 | @Override | ||
56 | protected EClass eStaticClass() { | ||
57 | return SolverLanguagePackage.Literals.FORALL; | ||
58 | } | ||
59 | |||
60 | /** | ||
61 | * <!-- begin-user-doc --> | ||
62 | * <!-- end-user-doc --> | ||
63 | * @generated | ||
64 | */ | ||
65 | public Expression getBody() { | ||
66 | return body; | ||
67 | } | ||
68 | |||
69 | /** | ||
70 | * <!-- begin-user-doc --> | ||
71 | * <!-- end-user-doc --> | ||
72 | * @generated | ||
73 | */ | ||
74 | public NotificationChain basicSetBody(Expression newBody, NotificationChain msgs) { | ||
75 | Expression oldBody = body; | ||
76 | body = newBody; | ||
77 | if (eNotificationRequired()) { | ||
78 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, | ||
79 | SolverLanguagePackage.FORALL__BODY, oldBody, newBody); | ||
80 | if (msgs == null) | ||
81 | msgs = notification; | ||
82 | else | ||
83 | msgs.add(notification); | ||
84 | } | ||
85 | return msgs; | ||
86 | } | ||
87 | |||
88 | /** | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | */ | ||
93 | public void setBody(Expression newBody) { | ||
94 | if (newBody != body) { | ||
95 | NotificationChain msgs = null; | ||
96 | if (body != null) | ||
97 | msgs = ((InternalEObject) body).eInverseRemove(this, | ||
98 | EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.FORALL__BODY, null, msgs); | ||
99 | if (newBody != null) | ||
100 | msgs = ((InternalEObject) newBody).eInverseAdd(this, | ||
101 | EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.FORALL__BODY, null, msgs); | ||
102 | msgs = basicSetBody(newBody, msgs); | ||
103 | if (msgs != null) | ||
104 | msgs.dispatch(); | ||
105 | } else if (eNotificationRequired()) | ||
106 | eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.FORALL__BODY, newBody, | ||
107 | newBody)); | ||
108 | } | ||
109 | |||
110 | /** | ||
111 | * <!-- begin-user-doc --> | ||
112 | * <!-- end-user-doc --> | ||
113 | * @generated | ||
114 | */ | ||
115 | @Override | ||
116 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
117 | switch (featureID) { | ||
118 | case SolverLanguagePackage.FORALL__BODY: | ||
119 | return basicSetBody(null, msgs); | ||
120 | } | ||
121 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
122 | } | ||
123 | |||
124 | /** | ||
125 | * <!-- begin-user-doc --> | ||
126 | * <!-- end-user-doc --> | ||
127 | * @generated | ||
128 | */ | ||
129 | @Override | ||
130 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
131 | switch (featureID) { | ||
132 | case SolverLanguagePackage.FORALL__BODY: | ||
133 | return getBody(); | ||
134 | } | ||
135 | return super.eGet(featureID, resolve, coreType); | ||
136 | } | ||
137 | |||
138 | /** | ||
139 | * <!-- begin-user-doc --> | ||
140 | * <!-- end-user-doc --> | ||
141 | * @generated | ||
142 | */ | ||
143 | @Override | ||
144 | public void eSet(int featureID, Object newValue) { | ||
145 | switch (featureID) { | ||
146 | case SolverLanguagePackage.FORALL__BODY: | ||
147 | setBody((Expression) newValue); | ||
148 | return; | ||
149 | } | ||
150 | super.eSet(featureID, newValue); | ||
151 | } | ||
152 | |||
153 | /** | ||
154 | * <!-- begin-user-doc --> | ||
155 | * <!-- end-user-doc --> | ||
156 | * @generated | ||
157 | */ | ||
158 | @Override | ||
159 | public void eUnset(int featureID) { | ||
160 | switch (featureID) { | ||
161 | case SolverLanguagePackage.FORALL__BODY: | ||
162 | setBody((Expression) null); | ||
163 | return; | ||
164 | } | ||
165 | super.eUnset(featureID); | ||
166 | } | ||
167 | |||
168 | /** | ||
169 | * <!-- begin-user-doc --> | ||
170 | * <!-- end-user-doc --> | ||
171 | * @generated | ||
172 | */ | ||
173 | @Override | ||
174 | public boolean eIsSet(int featureID) { | ||
175 | switch (featureID) { | ||
176 | case SolverLanguagePackage.FORALL__BODY: | ||
177 | return body != null; | ||
178 | } | ||
179 | return super.eIsSet(featureID); | ||
180 | } | ||
181 | |||
182 | } //ForallImpl | ||