diff options
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTComplexTypeReferenceImpl.java')
-rw-r--r-- | Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTComplexTypeReferenceImpl.java | 172 |
1 files changed, 172 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTComplexTypeReferenceImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTComplexTypeReferenceImpl.java new file mode 100644 index 00000000..5338604b --- /dev/null +++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTComplexTypeReferenceImpl.java | |||
@@ -0,0 +1,172 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.smtLanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexTypeReference; | ||
6 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTType; | ||
7 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage; | ||
8 | |||
9 | import org.eclipse.emf.common.notify.Notification; | ||
10 | |||
11 | import org.eclipse.emf.ecore.EClass; | ||
12 | import org.eclipse.emf.ecore.InternalEObject; | ||
13 | |||
14 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
15 | |||
16 | /** | ||
17 | * <!-- begin-user-doc --> | ||
18 | * An implementation of the model object '<em><b>SMT Complex Type Reference</b></em>'. | ||
19 | * <!-- end-user-doc --> | ||
20 | * <p> | ||
21 | * The following features are implemented: | ||
22 | * <ul> | ||
23 | * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexTypeReferenceImpl#getReferred <em>Referred</em>}</li> | ||
24 | * </ul> | ||
25 | * </p> | ||
26 | * | ||
27 | * @generated | ||
28 | */ | ||
29 | public class SMTComplexTypeReferenceImpl extends SMTTypeReferenceImpl implements SMTComplexTypeReference | ||
30 | { | ||
31 | /** | ||
32 | * The cached value of the '{@link #getReferred() <em>Referred</em>}' reference. | ||
33 | * <!-- begin-user-doc --> | ||
34 | * <!-- end-user-doc --> | ||
35 | * @see #getReferred() | ||
36 | * @generated | ||
37 | * @ordered | ||
38 | */ | ||
39 | protected SMTType referred; | ||
40 | |||
41 | /** | ||
42 | * <!-- begin-user-doc --> | ||
43 | * <!-- end-user-doc --> | ||
44 | * @generated | ||
45 | */ | ||
46 | protected SMTComplexTypeReferenceImpl() | ||
47 | { | ||
48 | super(); | ||
49 | } | ||
50 | |||
51 | /** | ||
52 | * <!-- begin-user-doc --> | ||
53 | * <!-- end-user-doc --> | ||
54 | * @generated | ||
55 | */ | ||
56 | @Override | ||
57 | protected EClass eStaticClass() | ||
58 | { | ||
59 | return SmtLanguagePackage.Literals.SMT_COMPLEX_TYPE_REFERENCE; | ||
60 | } | ||
61 | |||
62 | /** | ||
63 | * <!-- begin-user-doc --> | ||
64 | * <!-- end-user-doc --> | ||
65 | * @generated | ||
66 | */ | ||
67 | public SMTType getReferred() | ||
68 | { | ||
69 | if (referred != null && referred.eIsProxy()) | ||
70 | { | ||
71 | InternalEObject oldReferred = (InternalEObject)referred; | ||
72 | referred = (SMTType)eResolveProxy(oldReferred); | ||
73 | if (referred != oldReferred) | ||
74 | { | ||
75 | if (eNotificationRequired()) | ||
76 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE__REFERRED, oldReferred, referred)); | ||
77 | } | ||
78 | } | ||
79 | return referred; | ||
80 | } | ||
81 | |||
82 | /** | ||
83 | * <!-- begin-user-doc --> | ||
84 | * <!-- end-user-doc --> | ||
85 | * @generated | ||
86 | */ | ||
87 | public SMTType basicGetReferred() | ||
88 | { | ||
89 | return referred; | ||
90 | } | ||
91 | |||
92 | /** | ||
93 | * <!-- begin-user-doc --> | ||
94 | * <!-- end-user-doc --> | ||
95 | * @generated | ||
96 | */ | ||
97 | public void setReferred(SMTType newReferred) | ||
98 | { | ||
99 | SMTType oldReferred = referred; | ||
100 | referred = newReferred; | ||
101 | if (eNotificationRequired()) | ||
102 | eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE__REFERRED, oldReferred, referred)); | ||
103 | } | ||
104 | |||
105 | /** | ||
106 | * <!-- begin-user-doc --> | ||
107 | * <!-- end-user-doc --> | ||
108 | * @generated | ||
109 | */ | ||
110 | @Override | ||
111 | public Object eGet(int featureID, boolean resolve, boolean coreType) | ||
112 | { | ||
113 | switch (featureID) | ||
114 | { | ||
115 | case SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE__REFERRED: | ||
116 | if (resolve) return getReferred(); | ||
117 | return basicGetReferred(); | ||
118 | } | ||
119 | return super.eGet(featureID, resolve, coreType); | ||
120 | } | ||
121 | |||
122 | /** | ||
123 | * <!-- begin-user-doc --> | ||
124 | * <!-- end-user-doc --> | ||
125 | * @generated | ||
126 | */ | ||
127 | @Override | ||
128 | public void eSet(int featureID, Object newValue) | ||
129 | { | ||
130 | switch (featureID) | ||
131 | { | ||
132 | case SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE__REFERRED: | ||
133 | setReferred((SMTType)newValue); | ||
134 | return; | ||
135 | } | ||
136 | super.eSet(featureID, newValue); | ||
137 | } | ||
138 | |||
139 | /** | ||
140 | * <!-- begin-user-doc --> | ||
141 | * <!-- end-user-doc --> | ||
142 | * @generated | ||
143 | */ | ||
144 | @Override | ||
145 | public void eUnset(int featureID) | ||
146 | { | ||
147 | switch (featureID) | ||
148 | { | ||
149 | case SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE__REFERRED: | ||
150 | setReferred((SMTType)null); | ||
151 | return; | ||
152 | } | ||
153 | super.eUnset(featureID); | ||
154 | } | ||
155 | |||
156 | /** | ||
157 | * <!-- begin-user-doc --> | ||
158 | * <!-- end-user-doc --> | ||
159 | * @generated | ||
160 | */ | ||
161 | @Override | ||
162 | public boolean eIsSet(int featureID) | ||
163 | { | ||
164 | switch (featureID) | ||
165 | { | ||
166 | case SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE__REFERRED: | ||
167 | return referred != null; | ||
168 | } | ||
169 | return super.eIsSet(featureID); | ||
170 | } | ||
171 | |||
172 | } //SMTComplexTypeReferenceImpl | ||