diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-06-10 20:39:40 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-06-10 20:39:40 +0200 |
commit | 10d272818443979dbb15972b397e8ac1bbbd5cd2 (patch) | |
tree | 0e6bafd1a1dabad2affefdaed295f780fcc6f65b /Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTStatisticDoubleValueImpl.java | |
parent | Migrating Additional projects (diff) | |
download | VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.tar.gz VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.tar.zst VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.zip |
Added generated Xtext artefacts
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTStatisticDoubleValueImpl.java')
-rw-r--r-- | Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTStatisticDoubleValueImpl.java | 178 |
1 files changed, 178 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/SMTStatisticDoubleValueImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTStatisticDoubleValueImpl.java new file mode 100644 index 00000000..91a69998 --- /dev/null +++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTStatisticDoubleValueImpl.java | |||
@@ -0,0 +1,178 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.smtLanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticDoubleValue; | ||
6 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage; | ||
7 | |||
8 | import java.math.BigDecimal; | ||
9 | |||
10 | import org.eclipse.emf.common.notify.Notification; | ||
11 | |||
12 | import org.eclipse.emf.ecore.EClass; | ||
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 Statistic Double Value</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.SMTStatisticDoubleValueImpl#getValue <em>Value</em>}</li> | ||
24 | * </ul> | ||
25 | * </p> | ||
26 | * | ||
27 | * @generated | ||
28 | */ | ||
29 | public class SMTStatisticDoubleValueImpl extends SMTStatisticValueImpl implements SMTStatisticDoubleValue | ||
30 | { | ||
31 | /** | ||
32 | * The default value of the '{@link #getValue() <em>Value</em>}' attribute. | ||
33 | * <!-- begin-user-doc --> | ||
34 | * <!-- end-user-doc --> | ||
35 | * @see #getValue() | ||
36 | * @generated | ||
37 | * @ordered | ||
38 | */ | ||
39 | protected static final BigDecimal VALUE_EDEFAULT = null; | ||
40 | |||
41 | /** | ||
42 | * The cached value of the '{@link #getValue() <em>Value</em>}' attribute. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @see #getValue() | ||
46 | * @generated | ||
47 | * @ordered | ||
48 | */ | ||
49 | protected BigDecimal value = VALUE_EDEFAULT; | ||
50 | |||
51 | /** | ||
52 | * <!-- begin-user-doc --> | ||
53 | * <!-- end-user-doc --> | ||
54 | * @generated | ||
55 | */ | ||
56 | protected SMTStatisticDoubleValueImpl() | ||
57 | { | ||
58 | super(); | ||
59 | } | ||
60 | |||
61 | /** | ||
62 | * <!-- begin-user-doc --> | ||
63 | * <!-- end-user-doc --> | ||
64 | * @generated | ||
65 | */ | ||
66 | @Override | ||
67 | protected EClass eStaticClass() | ||
68 | { | ||
69 | return SmtLanguagePackage.Literals.SMT_STATISTIC_DOUBLE_VALUE; | ||
70 | } | ||
71 | |||
72 | /** | ||
73 | * <!-- begin-user-doc --> | ||
74 | * <!-- end-user-doc --> | ||
75 | * @generated | ||
76 | */ | ||
77 | public BigDecimal getValue() | ||
78 | { | ||
79 | return value; | ||
80 | } | ||
81 | |||
82 | /** | ||
83 | * <!-- begin-user-doc --> | ||
84 | * <!-- end-user-doc --> | ||
85 | * @generated | ||
86 | */ | ||
87 | public void setValue(BigDecimal newValue) | ||
88 | { | ||
89 | BigDecimal oldValue = value; | ||
90 | value = newValue; | ||
91 | if (eNotificationRequired()) | ||
92 | eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_STATISTIC_DOUBLE_VALUE__VALUE, oldValue, value)); | ||
93 | } | ||
94 | |||
95 | /** | ||
96 | * <!-- begin-user-doc --> | ||
97 | * <!-- end-user-doc --> | ||
98 | * @generated | ||
99 | */ | ||
100 | @Override | ||
101 | public Object eGet(int featureID, boolean resolve, boolean coreType) | ||
102 | { | ||
103 | switch (featureID) | ||
104 | { | ||
105 | case SmtLanguagePackage.SMT_STATISTIC_DOUBLE_VALUE__VALUE: | ||
106 | return getValue(); | ||
107 | } | ||
108 | return super.eGet(featureID, resolve, coreType); | ||
109 | } | ||
110 | |||
111 | /** | ||
112 | * <!-- begin-user-doc --> | ||
113 | * <!-- end-user-doc --> | ||
114 | * @generated | ||
115 | */ | ||
116 | @Override | ||
117 | public void eSet(int featureID, Object newValue) | ||
118 | { | ||
119 | switch (featureID) | ||
120 | { | ||
121 | case SmtLanguagePackage.SMT_STATISTIC_DOUBLE_VALUE__VALUE: | ||
122 | setValue((BigDecimal)newValue); | ||
123 | return; | ||
124 | } | ||
125 | super.eSet(featureID, newValue); | ||
126 | } | ||
127 | |||
128 | /** | ||
129 | * <!-- begin-user-doc --> | ||
130 | * <!-- end-user-doc --> | ||
131 | * @generated | ||
132 | */ | ||
133 | @Override | ||
134 | public void eUnset(int featureID) | ||
135 | { | ||
136 | switch (featureID) | ||
137 | { | ||
138 | case SmtLanguagePackage.SMT_STATISTIC_DOUBLE_VALUE__VALUE: | ||
139 | setValue(VALUE_EDEFAULT); | ||
140 | return; | ||
141 | } | ||
142 | super.eUnset(featureID); | ||
143 | } | ||
144 | |||
145 | /** | ||
146 | * <!-- begin-user-doc --> | ||
147 | * <!-- end-user-doc --> | ||
148 | * @generated | ||
149 | */ | ||
150 | @Override | ||
151 | public boolean eIsSet(int featureID) | ||
152 | { | ||
153 | switch (featureID) | ||
154 | { | ||
155 | case SmtLanguagePackage.SMT_STATISTIC_DOUBLE_VALUE__VALUE: | ||
156 | return VALUE_EDEFAULT == null ? value != null : !VALUE_EDEFAULT.equals(value); | ||
157 | } | ||
158 | return super.eIsSet(featureID); | ||
159 | } | ||
160 | |||
161 | /** | ||
162 | * <!-- begin-user-doc --> | ||
163 | * <!-- end-user-doc --> | ||
164 | * @generated | ||
165 | */ | ||
166 | @Override | ||
167 | public String toString() | ||
168 | { | ||
169 | if (eIsProxy()) return super.toString(); | ||
170 | |||
171 | StringBuffer result = new StringBuffer(super.toString()); | ||
172 | result.append(" (value: "); | ||
173 | result.append(value); | ||
174 | result.append(')'); | ||
175 | return result.toString(); | ||
176 | } | ||
177 | |||
178 | } //SMTStatisticDoubleValueImpl | ||