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