diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language')
4 files changed, 0 insertions, 469 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/ErrorPredicate.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/ErrorPredicate.java deleted file mode 100644 index c8e49d48..00000000 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/ErrorPredicate.java +++ /dev/null | |||
@@ -1,47 +0,0 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.solverLanguage; | ||
5 | |||
6 | |||
7 | /** | ||
8 | * <!-- begin-user-doc --> | ||
9 | * A representation of the model object '<em><b>Error Predicate</b></em>'. | ||
10 | * <!-- end-user-doc --> | ||
11 | * | ||
12 | * <p> | ||
13 | * The following features are supported: | ||
14 | * </p> | ||
15 | * <ul> | ||
16 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate#getName <em>Name</em>}</li> | ||
17 | * </ul> | ||
18 | * | ||
19 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getErrorPredicate() | ||
20 | * @model | ||
21 | * @generated | ||
22 | */ | ||
23 | public interface ErrorPredicate extends Predicate | ||
24 | { | ||
25 | /** | ||
26 | * Returns the value of the '<em><b>Name</b></em>' attribute. | ||
27 | * <!-- begin-user-doc --> | ||
28 | * <!-- end-user-doc --> | ||
29 | * @return the value of the '<em>Name</em>' attribute. | ||
30 | * @see #setName(String) | ||
31 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getErrorPredicate_Name() | ||
32 | * @model | ||
33 | * @generated | ||
34 | */ | ||
35 | String getName(); | ||
36 | |||
37 | /** | ||
38 | * Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate#getName <em>Name</em>}' attribute. | ||
39 | * <!-- begin-user-doc --> | ||
40 | * <!-- end-user-doc --> | ||
41 | * @param value the new value of the '<em>Name</em>' attribute. | ||
42 | * @see #getName() | ||
43 | * @generated | ||
44 | */ | ||
45 | void setName(String value); | ||
46 | |||
47 | } // ErrorPredicate | ||
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/PredicateSymbol.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/PredicateSymbol.java deleted file mode 100644 index 0f1d0c47..00000000 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/PredicateSymbol.java +++ /dev/null | |||
@@ -1,47 +0,0 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.solverLanguage; | ||
5 | |||
6 | |||
7 | /** | ||
8 | * <!-- begin-user-doc --> | ||
9 | * A representation of the model object '<em><b>Predicate Symbol</b></em>'. | ||
10 | * <!-- end-user-doc --> | ||
11 | * | ||
12 | * <p> | ||
13 | * The following features are supported: | ||
14 | * </p> | ||
15 | * <ul> | ||
16 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol#getSymbol <em>Symbol</em>}</li> | ||
17 | * </ul> | ||
18 | * | ||
19 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getPredicateSymbol() | ||
20 | * @model | ||
21 | * @generated | ||
22 | */ | ||
23 | public interface PredicateSymbol extends Predicate | ||
24 | { | ||
25 | /** | ||
26 | * Returns the value of the '<em><b>Symbol</b></em>' containment reference. | ||
27 | * <!-- begin-user-doc --> | ||
28 | * <!-- end-user-doc --> | ||
29 | * @return the value of the '<em>Symbol</em>' containment reference. | ||
30 | * @see #setSymbol(ModelSymbol) | ||
31 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getPredicateSymbol_Symbol() | ||
32 | * @model containment="true" | ||
33 | * @generated | ||
34 | */ | ||
35 | ModelSymbol getSymbol(); | ||
36 | |||
37 | /** | ||
38 | * Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol#getSymbol <em>Symbol</em>}' containment reference. | ||
39 | * <!-- begin-user-doc --> | ||
40 | * <!-- end-user-doc --> | ||
41 | * @param value the new value of the '<em>Symbol</em>' containment reference. | ||
42 | * @see #getSymbol() | ||
43 | * @generated | ||
44 | */ | ||
45 | void setSymbol(ModelSymbol value); | ||
46 | |||
47 | } // PredicateSymbol | ||
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/ErrorPredicateImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/ErrorPredicateImpl.java deleted file mode 100644 index f9b0e8c8..00000000 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/ErrorPredicateImpl.java +++ /dev/null | |||
@@ -1,179 +0,0 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.solverLanguage.impl; | ||
5 | |||
6 | import org.eclipse.emf.common.notify.Notification; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | |||
10 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
11 | |||
12 | import org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate; | ||
13 | import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; | ||
14 | |||
15 | /** | ||
16 | * <!-- begin-user-doc --> | ||
17 | * An implementation of the model object '<em><b>Error Predicate</b></em>'. | ||
18 | * <!-- end-user-doc --> | ||
19 | * <p> | ||
20 | * The following features are implemented: | ||
21 | * </p> | ||
22 | * <ul> | ||
23 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorPredicateImpl#getName <em>Name</em>}</li> | ||
24 | * </ul> | ||
25 | * | ||
26 | * @generated | ||
27 | */ | ||
28 | public class ErrorPredicateImpl extends PredicateImpl implements ErrorPredicate | ||
29 | { | ||
30 | /** | ||
31 | * The default value of the '{@link #getName() <em>Name</em>}' attribute. | ||
32 | * <!-- begin-user-doc --> | ||
33 | * <!-- end-user-doc --> | ||
34 | * @see #getName() | ||
35 | * @generated | ||
36 | * @ordered | ||
37 | */ | ||
38 | protected static final String NAME_EDEFAULT = null; | ||
39 | |||
40 | /** | ||
41 | * The cached value of the '{@link #getName() <em>Name</em>}' attribute. | ||
42 | * <!-- begin-user-doc --> | ||
43 | * <!-- end-user-doc --> | ||
44 | * @see #getName() | ||
45 | * @generated | ||
46 | * @ordered | ||
47 | */ | ||
48 | protected String name = NAME_EDEFAULT; | ||
49 | |||
50 | /** | ||
51 | * <!-- begin-user-doc --> | ||
52 | * <!-- end-user-doc --> | ||
53 | * @generated | ||
54 | */ | ||
55 | protected ErrorPredicateImpl() | ||
56 | { | ||
57 | super(); | ||
58 | } | ||
59 | |||
60 | /** | ||
61 | * <!-- begin-user-doc --> | ||
62 | * <!-- end-user-doc --> | ||
63 | * @generated | ||
64 | */ | ||
65 | @Override | ||
66 | protected EClass eStaticClass() | ||
67 | { | ||
68 | return SolverLanguagePackage.Literals.ERROR_PREDICATE; | ||
69 | } | ||
70 | |||
71 | /** | ||
72 | * <!-- begin-user-doc --> | ||
73 | * <!-- end-user-doc --> | ||
74 | * @generated | ||
75 | */ | ||
76 | @Override | ||
77 | public String getName() | ||
78 | { | ||
79 | return name; | ||
80 | } | ||
81 | |||
82 | /** | ||
83 | * <!-- begin-user-doc --> | ||
84 | * <!-- end-user-doc --> | ||
85 | * @generated | ||
86 | */ | ||
87 | @Override | ||
88 | public void setName(String newName) | ||
89 | { | ||
90 | String oldName = name; | ||
91 | name = newName; | ||
92 | if (eNotificationRequired()) | ||
93 | eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.ERROR_PREDICATE__NAME, oldName, name)); | ||
94 | } | ||
95 | |||
96 | /** | ||
97 | * <!-- begin-user-doc --> | ||
98 | * <!-- end-user-doc --> | ||
99 | * @generated | ||
100 | */ | ||
101 | @Override | ||
102 | public Object eGet(int featureID, boolean resolve, boolean coreType) | ||
103 | { | ||
104 | switch (featureID) | ||
105 | { | ||
106 | case SolverLanguagePackage.ERROR_PREDICATE__NAME: | ||
107 | return getName(); | ||
108 | } | ||
109 | return super.eGet(featureID, resolve, coreType); | ||
110 | } | ||
111 | |||
112 | /** | ||
113 | * <!-- begin-user-doc --> | ||
114 | * <!-- end-user-doc --> | ||
115 | * @generated | ||
116 | */ | ||
117 | @Override | ||
118 | public void eSet(int featureID, Object newValue) | ||
119 | { | ||
120 | switch (featureID) | ||
121 | { | ||
122 | case SolverLanguagePackage.ERROR_PREDICATE__NAME: | ||
123 | setName((String)newValue); | ||
124 | return; | ||
125 | } | ||
126 | super.eSet(featureID, newValue); | ||
127 | } | ||
128 | |||
129 | /** | ||
130 | * <!-- begin-user-doc --> | ||
131 | * <!-- end-user-doc --> | ||
132 | * @generated | ||
133 | */ | ||
134 | @Override | ||
135 | public void eUnset(int featureID) | ||
136 | { | ||
137 | switch (featureID) | ||
138 | { | ||
139 | case SolverLanguagePackage.ERROR_PREDICATE__NAME: | ||
140 | setName(NAME_EDEFAULT); | ||
141 | return; | ||
142 | } | ||
143 | super.eUnset(featureID); | ||
144 | } | ||
145 | |||
146 | /** | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | @Override | ||
152 | public boolean eIsSet(int featureID) | ||
153 | { | ||
154 | switch (featureID) | ||
155 | { | ||
156 | case SolverLanguagePackage.ERROR_PREDICATE__NAME: | ||
157 | return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name); | ||
158 | } | ||
159 | return super.eIsSet(featureID); | ||
160 | } | ||
161 | |||
162 | /** | ||
163 | * <!-- begin-user-doc --> | ||
164 | * <!-- end-user-doc --> | ||
165 | * @generated | ||
166 | */ | ||
167 | @Override | ||
168 | public String toString() | ||
169 | { | ||
170 | if (eIsProxy()) return super.toString(); | ||
171 | |||
172 | StringBuilder result = new StringBuilder(super.toString()); | ||
173 | result.append(" (name: "); | ||
174 | result.append(name); | ||
175 | result.append(')'); | ||
176 | return result.toString(); | ||
177 | } | ||
178 | |||
179 | } //ErrorPredicateImpl | ||
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/PredicateSymbolImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/PredicateSymbolImpl.java deleted file mode 100644 index f49c6701..00000000 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/PredicateSymbolImpl.java +++ /dev/null | |||
@@ -1,196 +0,0 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.solverLanguage.impl; | ||
5 | |||
6 | import org.eclipse.emf.common.notify.Notification; | ||
7 | import org.eclipse.emf.common.notify.NotificationChain; | ||
8 | |||
9 | import org.eclipse.emf.ecore.EClass; | ||
10 | import org.eclipse.emf.ecore.InternalEObject; | ||
11 | |||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
13 | |||
14 | import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol; | ||
15 | import org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol; | ||
16 | import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; | ||
17 | |||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * An implementation of the model object '<em><b>Predicate Symbol</b></em>'. | ||
21 | * <!-- end-user-doc --> | ||
22 | * <p> | ||
23 | * The following features are implemented: | ||
24 | * </p> | ||
25 | * <ul> | ||
26 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateSymbolImpl#getSymbol <em>Symbol</em>}</li> | ||
27 | * </ul> | ||
28 | * | ||
29 | * @generated | ||
30 | */ | ||
31 | public class PredicateSymbolImpl extends PredicateImpl implements PredicateSymbol | ||
32 | { | ||
33 | /** | ||
34 | * The cached value of the '{@link #getSymbol() <em>Symbol</em>}' containment reference. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @see #getSymbol() | ||
38 | * @generated | ||
39 | * @ordered | ||
40 | */ | ||
41 | protected ModelSymbol symbol; | ||
42 | |||
43 | /** | ||
44 | * <!-- begin-user-doc --> | ||
45 | * <!-- end-user-doc --> | ||
46 | * @generated | ||
47 | */ | ||
48 | protected PredicateSymbolImpl() | ||
49 | { | ||
50 | super(); | ||
51 | } | ||
52 | |||
53 | /** | ||
54 | * <!-- begin-user-doc --> | ||
55 | * <!-- end-user-doc --> | ||
56 | * @generated | ||
57 | */ | ||
58 | @Override | ||
59 | protected EClass eStaticClass() | ||
60 | { | ||
61 | return SolverLanguagePackage.Literals.PREDICATE_SYMBOL; | ||
62 | } | ||
63 | |||
64 | /** | ||
65 | * <!-- begin-user-doc --> | ||
66 | * <!-- end-user-doc --> | ||
67 | * @generated | ||
68 | */ | ||
69 | @Override | ||
70 | public ModelSymbol getSymbol() | ||
71 | { | ||
72 | return symbol; | ||
73 | } | ||
74 | |||
75 | /** | ||
76 | * <!-- begin-user-doc --> | ||
77 | * <!-- end-user-doc --> | ||
78 | * @generated | ||
79 | */ | ||
80 | public NotificationChain basicSetSymbol(ModelSymbol newSymbol, NotificationChain msgs) | ||
81 | { | ||
82 | ModelSymbol oldSymbol = symbol; | ||
83 | symbol = newSymbol; | ||
84 | if (eNotificationRequired()) | ||
85 | { | ||
86 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.PREDICATE_SYMBOL__SYMBOL, oldSymbol, newSymbol); | ||
87 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
88 | } | ||
89 | return msgs; | ||
90 | } | ||
91 | |||
92 | /** | ||
93 | * <!-- begin-user-doc --> | ||
94 | * <!-- end-user-doc --> | ||
95 | * @generated | ||
96 | */ | ||
97 | @Override | ||
98 | public void setSymbol(ModelSymbol newSymbol) | ||
99 | { | ||
100 | if (newSymbol != symbol) | ||
101 | { | ||
102 | NotificationChain msgs = null; | ||
103 | if (symbol != null) | ||
104 | msgs = ((InternalEObject)symbol).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.PREDICATE_SYMBOL__SYMBOL, null, msgs); | ||
105 | if (newSymbol != null) | ||
106 | msgs = ((InternalEObject)newSymbol).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.PREDICATE_SYMBOL__SYMBOL, null, msgs); | ||
107 | msgs = basicSetSymbol(newSymbol, msgs); | ||
108 | if (msgs != null) msgs.dispatch(); | ||
109 | } | ||
110 | else if (eNotificationRequired()) | ||
111 | eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.PREDICATE_SYMBOL__SYMBOL, newSymbol, newSymbol)); | ||
112 | } | ||
113 | |||
114 | /** | ||
115 | * <!-- begin-user-doc --> | ||
116 | * <!-- end-user-doc --> | ||
117 | * @generated | ||
118 | */ | ||
119 | @Override | ||
120 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) | ||
121 | { | ||
122 | switch (featureID) | ||
123 | { | ||
124 | case SolverLanguagePackage.PREDICATE_SYMBOL__SYMBOL: | ||
125 | return basicSetSymbol(null, msgs); | ||
126 | } | ||
127 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
128 | } | ||
129 | |||
130 | /** | ||
131 | * <!-- begin-user-doc --> | ||
132 | * <!-- end-user-doc --> | ||
133 | * @generated | ||
134 | */ | ||
135 | @Override | ||
136 | public Object eGet(int featureID, boolean resolve, boolean coreType) | ||
137 | { | ||
138 | switch (featureID) | ||
139 | { | ||
140 | case SolverLanguagePackage.PREDICATE_SYMBOL__SYMBOL: | ||
141 | return getSymbol(); | ||
142 | } | ||
143 | return super.eGet(featureID, resolve, coreType); | ||
144 | } | ||
145 | |||
146 | /** | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | @Override | ||
152 | public void eSet(int featureID, Object newValue) | ||
153 | { | ||
154 | switch (featureID) | ||
155 | { | ||
156 | case SolverLanguagePackage.PREDICATE_SYMBOL__SYMBOL: | ||
157 | setSymbol((ModelSymbol)newValue); | ||
158 | return; | ||
159 | } | ||
160 | super.eSet(featureID, newValue); | ||
161 | } | ||
162 | |||
163 | /** | ||
164 | * <!-- begin-user-doc --> | ||
165 | * <!-- end-user-doc --> | ||
166 | * @generated | ||
167 | */ | ||
168 | @Override | ||
169 | public void eUnset(int featureID) | ||
170 | { | ||
171 | switch (featureID) | ||
172 | { | ||
173 | case SolverLanguagePackage.PREDICATE_SYMBOL__SYMBOL: | ||
174 | setSymbol((ModelSymbol)null); | ||
175 | return; | ||
176 | } | ||
177 | super.eUnset(featureID); | ||
178 | } | ||
179 | |||
180 | /** | ||
181 | * <!-- begin-user-doc --> | ||
182 | * <!-- end-user-doc --> | ||
183 | * @generated | ||
184 | */ | ||
185 | @Override | ||
186 | public boolean eIsSet(int featureID) | ||
187 | { | ||
188 | switch (featureID) | ||
189 | { | ||
190 | case SolverLanguagePackage.PREDICATE_SYMBOL__SYMBOL: | ||
191 | return symbol != null; | ||
192 | } | ||
193 | return super.eIsSet(featureID); | ||
194 | } | ||
195 | |||
196 | } //PredicateSymbolImpl | ||