diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java index 41e073ca..1d9a6b22 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.util; | 4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.util; |
5 | 5 | ||
@@ -131,9 +131,9 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl | |||
131 | return createVLSVariableAdapter(); | 131 | return createVLSVariableAdapter(); |
132 | } | 132 | } |
133 | @Override | 133 | @Override |
134 | public Adapter caseVLSFunctionFof(VLSFunctionFof object) | 134 | public Adapter caseVLSFunctionAsTerm(VLSFunctionAsTerm object) |
135 | { | 135 | { |
136 | return createVLSFunctionFofAdapter(); | 136 | return createVLSFunctionAsTermAdapter(); |
137 | } | 137 | } |
138 | @Override | 138 | @Override |
139 | public Adapter caseVLSDefinedTerm(VLSDefinedTerm object) | 139 | public Adapter caseVLSDefinedTerm(VLSDefinedTerm object) |
@@ -443,16 +443,16 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl | |||
443 | } | 443 | } |
444 | 444 | ||
445 | /** | 445 | /** |
446 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof <em>VLS Function Fof</em>}'. | 446 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm <em>VLS Function As Term</em>}'. |
447 | * <!-- begin-user-doc --> | 447 | * <!-- begin-user-doc --> |
448 | * This default implementation returns null so that we can easily ignore cases; | 448 | * This default implementation returns null so that we can easily ignore cases; |
449 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 449 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
450 | * <!-- end-user-doc --> | 450 | * <!-- end-user-doc --> |
451 | * @return the new adapter. | 451 | * @return the new adapter. |
452 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof | 452 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm |
453 | * @generated | 453 | * @generated |
454 | */ | 454 | */ |
455 | public Adapter createVLSFunctionFofAdapter() | 455 | public Adapter createVLSFunctionAsTermAdapter() |
456 | { | 456 | { |
457 | return null; | 457 | return null; |
458 | } | 458 | } |