diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java index 5d94a5bb..b5884df4 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.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; | 4 | package ca.mcgill.ecse.dslreasoner; |
5 | 5 | ||
@@ -12,6 +12,7 @@ import ca.mcgill.ecse.dslreasoner.scoping.VampireLanguageScopeProvider; | |||
12 | import ca.mcgill.ecse.dslreasoner.serializer.VampireLanguageSemanticSequencer; | 12 | import ca.mcgill.ecse.dslreasoner.serializer.VampireLanguageSemanticSequencer; |
13 | import ca.mcgill.ecse.dslreasoner.serializer.VampireLanguageSyntacticSequencer; | 13 | import ca.mcgill.ecse.dslreasoner.serializer.VampireLanguageSyntacticSequencer; |
14 | import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess; | 14 | import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess; |
15 | import ca.mcgill.ecse.dslreasoner.validation.VampireLanguageConfigurableIssueCodesProvider; | ||
15 | import ca.mcgill.ecse.dslreasoner.validation.VampireLanguageValidator; | 16 | import ca.mcgill.ecse.dslreasoner.validation.VampireLanguageValidator; |
16 | import com.google.inject.Binder; | 17 | import com.google.inject.Binder; |
17 | import com.google.inject.Provider; | 18 | import com.google.inject.Provider; |
@@ -54,6 +55,7 @@ import org.eclipse.xtext.serializer.sequencer.ISemanticSequencer; | |||
54 | import org.eclipse.xtext.serializer.sequencer.ISyntacticSequencer; | 55 | import org.eclipse.xtext.serializer.sequencer.ISyntacticSequencer; |
55 | import org.eclipse.xtext.service.DefaultRuntimeModule; | 56 | import org.eclipse.xtext.service.DefaultRuntimeModule; |
56 | import org.eclipse.xtext.service.SingletonBinding; | 57 | import org.eclipse.xtext.service.SingletonBinding; |
58 | import org.eclipse.xtext.validation.ConfigurableIssueCodesProvider; | ||
57 | 59 | ||
58 | /** | 60 | /** |
59 | * Manual modifications go to {@link VampireLanguageRuntimeModule}. | 61 | * Manual modifications go to {@link VampireLanguageRuntimeModule}. |
@@ -146,6 +148,11 @@ public abstract class AbstractVampireLanguageRuntimeModule extends DefaultRuntim | |||
146 | return VampireLanguageValidator.class; | 148 | return VampireLanguageValidator.class; |
147 | } | 149 | } |
148 | 150 | ||
151 | // contributed by org.eclipse.xtext.xtext.generator.validation.ValidatorFragment2 | ||
152 | public Class<? extends ConfigurableIssueCodesProvider> bindConfigurableIssueCodesProvider() { | ||
153 | return VampireLanguageConfigurableIssueCodesProvider.class; | ||
154 | } | ||
155 | |||
149 | // contributed by org.eclipse.xtext.xtext.generator.scoping.ImportNamespacesScopingFragment2 | 156 | // contributed by org.eclipse.xtext.xtext.generator.scoping.ImportNamespacesScopingFragment2 |
150 | public Class<? extends IScopeProvider> bindIScopeProvider() { | 157 | public Class<? extends IScopeProvider> bindIScopeProvider() { |
151 | return VampireLanguageScopeProvider.class; | 158 | return VampireLanguageScopeProvider.class; |