diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui')
3 files changed, 25 insertions, 16 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java index 5ef7b226..726c20f5 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.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.ui; | 4 | package ca.mcgill.ecse.dslreasoner.ui; |
5 | 5 | ||
@@ -11,6 +11,7 @@ import ca.mcgill.ecse.dslreasoner.ui.labeling.VampireLanguageDescriptionLabelPro | |||
11 | import ca.mcgill.ecse.dslreasoner.ui.labeling.VampireLanguageLabelProvider; | 11 | import ca.mcgill.ecse.dslreasoner.ui.labeling.VampireLanguageLabelProvider; |
12 | import ca.mcgill.ecse.dslreasoner.ui.outline.VampireLanguageOutlineTreeProvider; | 12 | import ca.mcgill.ecse.dslreasoner.ui.outline.VampireLanguageOutlineTreeProvider; |
13 | import ca.mcgill.ecse.dslreasoner.ui.quickfix.VampireLanguageQuickfixProvider; | 13 | import ca.mcgill.ecse.dslreasoner.ui.quickfix.VampireLanguageQuickfixProvider; |
14 | import ca.mcgill.ecse.dslreasoner.validation.VampireLanguageValidatorConfigurationBlock; | ||
14 | import com.google.inject.Binder; | 15 | import com.google.inject.Binder; |
15 | import com.google.inject.Provider; | 16 | import com.google.inject.Provider; |
16 | import com.google.inject.name.Names; | 17 | import com.google.inject.name.Names; |
@@ -78,6 +79,7 @@ import org.eclipse.xtext.ui.refactoring.ui.IRenameSupport; | |||
78 | import org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferences; | 79 | import org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferences; |
79 | import org.eclipse.xtext.ui.resource.ResourceServiceDescriptionLabelProvider; | 80 | import org.eclipse.xtext.ui.resource.ResourceServiceDescriptionLabelProvider; |
80 | import org.eclipse.xtext.ui.shared.Access; | 81 | import org.eclipse.xtext.ui.shared.Access; |
82 | import org.eclipse.xtext.ui.validation.AbstractValidatorConfigurationBlock; | ||
81 | 83 | ||
82 | /** | 84 | /** |
83 | * Manual modifications go to {@link VampireLanguageUiModule}. | 85 | * Manual modifications go to {@link VampireLanguageUiModule}. |
@@ -135,6 +137,11 @@ public abstract class AbstractVampireLanguageUiModule extends DefaultUiModule { | |||
135 | binder.bind(InternalVampireLanguageLexer.class).toProvider(LexerProvider.create(InternalVampireLanguageLexer.class)); | 137 | binder.bind(InternalVampireLanguageLexer.class).toProvider(LexerProvider.create(InternalVampireLanguageLexer.class)); |
136 | } | 138 | } |
137 | 139 | ||
140 | // contributed by org.eclipse.xtext.xtext.generator.validation.ValidatorFragment2 | ||
141 | public Class<? extends AbstractValidatorConfigurationBlock> bindAbstractValidatorConfigurationBlock() { | ||
142 | return VampireLanguageValidatorConfigurationBlock.class; | ||
143 | } | ||
144 | |||
138 | // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2 | 145 | // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2 |
139 | public Class<? extends PrefixMatcher> bindPrefixMatcher() { | 146 | public Class<? extends PrefixMatcher> bindPrefixMatcher() { |
140 | return FQNPrefixMatcher.class; | 147 | return FQNPrefixMatcher.class; |
@@ -223,6 +230,13 @@ public abstract class AbstractVampireLanguageUiModule extends DefaultUiModule { | |||
223 | } | 230 | } |
224 | 231 | ||
225 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | 232 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 |
233 | public void configureIPreferenceStoreInitializer(Binder binder) { | ||
234 | binder.bind(IPreferenceStoreInitializer.class) | ||
235 | .annotatedWith(Names.named("RefactoringPreferences")) | ||
236 | .to(RefactoringPreferences.Initializer.class); | ||
237 | } | ||
238 | |||
239 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | ||
226 | public Class<? extends IRenameStrategy> bindIRenameStrategy() { | 240 | public Class<? extends IRenameStrategy> bindIRenameStrategy() { |
227 | return DefaultRenameStrategy.class; | 241 | return DefaultRenameStrategy.class; |
228 | } | 242 | } |
@@ -233,13 +247,6 @@ public abstract class AbstractVampireLanguageUiModule extends DefaultUiModule { | |||
233 | } | 247 | } |
234 | 248 | ||
235 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | 249 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 |
236 | public void configureIPreferenceStoreInitializer(Binder binder) { | ||
237 | binder.bind(IPreferenceStoreInitializer.class) | ||
238 | .annotatedWith(Names.named("RefactoringPreferences")) | ||
239 | .to(RefactoringPreferences.Initializer.class); | ||
240 | } | ||
241 | |||
242 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | ||
243 | public Class<? extends IRenameRefactoringProvider> bindIRenameRefactoringProvider() { | 250 | public Class<? extends IRenameRefactoringProvider> bindIRenameRefactoringProvider() { |
244 | return DefaultRenameRefactoringProvider.class; | 251 | return DefaultRenameRefactoringProvider.class; |
245 | } | 252 | } |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageExecutableExtensionFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageExecutableExtensionFactory.java index 18440e58..1dc2d4cb 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageExecutableExtensionFactory.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageExecutableExtensionFactory.java | |||
@@ -1,10 +1,11 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.ui; | 4 | package ca.mcgill.ecse.dslreasoner.ui; |
5 | 5 | ||
6 | import ca.mcgill.ecse.dslreasoner.vampire.language.ui.internal.LanguageActivator; | 6 | import ca.mcgill.ecse.dslreasoner.vampire.language.ui.internal.LanguageActivator; |
7 | import com.google.inject.Injector; | 7 | import com.google.inject.Injector; |
8 | import org.eclipse.core.runtime.Platform; | ||
8 | import org.eclipse.xtext.ui.guice.AbstractGuiceAwareExecutableExtensionFactory; | 9 | import org.eclipse.xtext.ui.guice.AbstractGuiceAwareExecutableExtensionFactory; |
9 | import org.osgi.framework.Bundle; | 10 | import org.osgi.framework.Bundle; |
10 | 11 | ||
@@ -16,12 +17,13 @@ public class VampireLanguageExecutableExtensionFactory extends AbstractGuiceAwar | |||
16 | 17 | ||
17 | @Override | 18 | @Override |
18 | protected Bundle getBundle() { | 19 | protected Bundle getBundle() { |
19 | return LanguageActivator.getInstance().getBundle(); | 20 | return Platform.getBundle(LanguageActivator.PLUGIN_ID); |
20 | } | 21 | } |
21 | 22 | ||
22 | @Override | 23 | @Override |
23 | protected Injector getInjector() { | 24 | protected Injector getInjector() { |
24 | return LanguageActivator.getInstance().getInjector(LanguageActivator.CA_MCGILL_ECSE_DSLREASONER_VAMPIRELANGUAGE); | 25 | LanguageActivator activator = LanguageActivator.getInstance(); |
26 | return activator != null ? activator.getInjector(LanguageActivator.CA_MCGILL_ECSE_DSLREASONER_VAMPIRELANGUAGE) : null; | ||
25 | } | 27 | } |
26 | 28 | ||
27 | } | 29 | } |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/AbstractVampireLanguageProposalProvider.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/AbstractVampireLanguageProposalProvider.java index aead1baf..8e11f8c7 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/AbstractVampireLanguageProposalProvider.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/AbstractVampireLanguageProposalProvider.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.ui.contentassist; | 4 | package ca.mcgill.ecse.dslreasoner.ui.contentassist; |
5 | 5 | ||
@@ -131,13 +131,13 @@ public abstract class AbstractVampireLanguageProposalProvider extends TerminalsP | |||
131 | public void completeVLSVariable_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 131 | public void completeVLSVariable_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
132 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 132 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
133 | } | 133 | } |
134 | public void completeVLSFunctionFof_Functor(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 134 | public void completeVLSFunctionAsTerm_Functor(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
135 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(0)), context, acceptor); | 135 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(0)), context, acceptor); |
136 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(1)), context, acceptor); | 136 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(1)), context, acceptor); |
137 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(2)), context, acceptor); | 137 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(2)), context, acceptor); |
138 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(3)), context, acceptor); | 138 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(3)), context, acceptor); |
139 | } | 139 | } |
140 | public void completeVLSFunctionFof_Terms(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 140 | public void completeVLSFunctionAsTerm_Terms(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
141 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 141 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
142 | } | 142 | } |
143 | public void completeVLSDefinedTerm_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 143 | public void completeVLSDefinedTerm_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
@@ -267,7 +267,7 @@ public abstract class AbstractVampireLanguageProposalProvider extends TerminalsP | |||
267 | public void complete_VLSFofTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 267 | public void complete_VLSFofTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
268 | // subclasses may override | 268 | // subclasses may override |
269 | } | 269 | } |
270 | public void complete_VLSFunctionFof(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 270 | public void complete_VLSFunctionAsTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
271 | // subclasses may override | 271 | // subclasses may override |
272 | } | 272 | } |
273 | public void complete_VLSDefinedTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 273 | public void complete_VLSDefinedTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |