diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-07 00:35:42 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-07 00:35:42 -0400 |
commit | 5d1165ceef23e20c4bbe46fe6f88e95f317234b5 (patch) | |
tree | 9ed155a9e8d74b0f1ce7173aacd50e0e01c96f22 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java | |
parent | VAMPIRE: fix model generation (diff) | |
download | VIATRA-Generator-5d1165ceef23e20c4bbe46fe6f88e95f317234b5.tar.gz VIATRA-Generator-5d1165ceef23e20c4bbe46fe6f88e95f317234b5.tar.zst VIATRA-Generator-5d1165ceef23e20c4bbe46fe6f88e95f317234b5.zip |
VAMPIRE: Implement Vampire measurement code
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java index 0e25a4cc..c87155c9 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java | |||
@@ -72,11 +72,11 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL | |||
72 | case VampireLanguagePackage.VLS_TFF_FORMULA: return createVLSTffFormula(); | 72 | case VampireLanguagePackage.VLS_TFF_FORMULA: return createVLSTffFormula(); |
73 | case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation(); | 73 | case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation(); |
74 | case VampireLanguagePackage.VLS_TFF_TERM: return createVLSTffTerm(); | 74 | case VampireLanguagePackage.VLS_TFF_TERM: return createVLSTffTerm(); |
75 | case VampireLanguagePackage.VLS_TERM: return createVLSTerm(); | ||
75 | case VampireLanguagePackage.VLS_DECLARATION: return createVLSDeclaration(); | 76 | case VampireLanguagePackage.VLS_DECLARATION: return createVLSDeclaration(); |
76 | case VampireLanguagePackage.VLS_OTHER_DECLARATION: return createVLSOtherDeclaration(); | 77 | case VampireLanguagePackage.VLS_OTHER_DECLARATION: return createVLSOtherDeclaration(); |
77 | case VampireLanguagePackage.VLS_VARIABLE_DECLARATION: return createVLSVariableDeclaration(); | 78 | case VampireLanguagePackage.VLS_VARIABLE_DECLARATION: return createVLSVariableDeclaration(); |
78 | case VampireLanguagePackage.VLS_TYPE_DEF: return createVLSTypeDef(); | 79 | case VampireLanguagePackage.VLS_TYPE_DEF: return createVLSTypeDef(); |
79 | case VampireLanguagePackage.VLS_TERM: return createVLSTerm(); | ||
80 | case VampireLanguagePackage.VLS_VARIABLE: return createVLSVariable(); | 80 | case VampireLanguagePackage.VLS_VARIABLE: return createVLSVariable(); |
81 | case VampireLanguagePackage.VLS_FUNCTION_AS_TERM: return createVLSFunctionAsTerm(); | 81 | case VampireLanguagePackage.VLS_FUNCTION_AS_TERM: return createVLSFunctionAsTerm(); |
82 | case VampireLanguagePackage.VLS_DEFINED_TERM: return createVLSDefinedTerm(); | 82 | case VampireLanguagePackage.VLS_DEFINED_TERM: return createVLSDefinedTerm(); |
@@ -192,6 +192,17 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL | |||
192 | * <!-- end-user-doc --> | 192 | * <!-- end-user-doc --> |
193 | * @generated | 193 | * @generated |
194 | */ | 194 | */ |
195 | public VLSTerm createVLSTerm() | ||
196 | { | ||
197 | VLSTermImpl vlsTerm = new VLSTermImpl(); | ||
198 | return vlsTerm; | ||
199 | } | ||
200 | |||
201 | /** | ||
202 | * <!-- begin-user-doc --> | ||
203 | * <!-- end-user-doc --> | ||
204 | * @generated | ||
205 | */ | ||
195 | public VLSDeclaration createVLSDeclaration() | 206 | public VLSDeclaration createVLSDeclaration() |
196 | { | 207 | { |
197 | VLSDeclarationImpl vlsDeclaration = new VLSDeclarationImpl(); | 208 | VLSDeclarationImpl vlsDeclaration = new VLSDeclarationImpl(); |
@@ -236,17 +247,6 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL | |||
236 | * <!-- end-user-doc --> | 247 | * <!-- end-user-doc --> |
237 | * @generated | 248 | * @generated |
238 | */ | 249 | */ |
239 | public VLSTerm createVLSTerm() | ||
240 | { | ||
241 | VLSTermImpl vlsTerm = new VLSTermImpl(); | ||
242 | return vlsTerm; | ||
243 | } | ||
244 | |||
245 | /** | ||
246 | * <!-- begin-user-doc --> | ||
247 | * <!-- end-user-doc --> | ||
248 | * @generated | ||
249 | */ | ||
250 | public VLSVariable createVLSVariable() | 250 | public VLSVariable createVLSVariable() |
251 | { | 251 | { |
252 | VLSVariableImpl vlsVariable = new VLSVariableImpl(); | 252 | VLSVariableImpl vlsVariable = new VLSVariableImpl(); |