diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse')
2 files changed, 10 insertions, 0 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 3a6cc964..5ef7b226 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 | |||
@@ -58,6 +58,8 @@ import org.eclipse.xtext.ui.editor.contentassist.IProposalConflictHelper; | |||
58 | import org.eclipse.xtext.ui.editor.contentassist.PrefixMatcher; | 58 | import org.eclipse.xtext.ui.editor.contentassist.PrefixMatcher; |
59 | import org.eclipse.xtext.ui.editor.contentassist.antlr.AntlrProposalConflictHelper; | 59 | import org.eclipse.xtext.ui.editor.contentassist.antlr.AntlrProposalConflictHelper; |
60 | import org.eclipse.xtext.ui.editor.contentassist.antlr.DelegatingContentAssistContextFactory; | 60 | import org.eclipse.xtext.ui.editor.contentassist.antlr.DelegatingContentAssistContextFactory; |
61 | import org.eclipse.xtext.ui.editor.formatting.IContentFormatterFactory; | ||
62 | import org.eclipse.xtext.ui.editor.formatting2.ContentFormatterFactory; | ||
61 | import org.eclipse.xtext.ui.editor.outline.IOutlineTreeProvider; | 63 | import org.eclipse.xtext.ui.editor.outline.IOutlineTreeProvider; |
62 | import org.eclipse.xtext.ui.editor.outline.impl.IOutlineTreeStructureProvider; | 64 | import org.eclipse.xtext.ui.editor.outline.impl.IOutlineTreeStructureProvider; |
63 | import org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreInitializer; | 65 | import org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreInitializer; |
@@ -185,6 +187,11 @@ public abstract class AbstractVampireLanguageUiModule extends DefaultUiModule { | |||
185 | .to(BuilderPreferenceAccess.Initializer.class); | 187 | .to(BuilderPreferenceAccess.Initializer.class); |
186 | } | 188 | } |
187 | 189 | ||
190 | // contributed by org.eclipse.xtext.xtext.generator.formatting.Formatter2Fragment2 | ||
191 | public Class<? extends IContentFormatterFactory> bindIContentFormatterFactory() { | ||
192 | return ContentFormatterFactory.class; | ||
193 | } | ||
194 | |||
188 | // contributed by org.eclipse.xtext.xtext.generator.ui.labeling.LabelProviderFragment2 | 195 | // contributed by org.eclipse.xtext.xtext.generator.ui.labeling.LabelProviderFragment2 |
189 | public Class<? extends ILabelProvider> bindILabelProvider() { | 196 | public Class<? extends ILabelProvider> bindILabelProvider() { |
190 | return VampireLanguageLabelProvider.class; | 197 | return VampireLanguageLabelProvider.class; |
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 23e813f5..74901fcb 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 | |||
@@ -172,6 +172,9 @@ public abstract class AbstractVampireLanguageProposalProvider extends TerminalsP | |||
172 | public void complete_SIGNED_RAT_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 172 | public void complete_SIGNED_RAT_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
173 | // subclasses may override | 173 | // subclasses may override |
174 | } | 174 | } |
175 | public void complete_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
176 | // subclasses may override | ||
177 | } | ||
175 | public void complete_ANY_OTHER(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 178 | public void complete_ANY_OTHER(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
176 | // subclasses may override | 179 | // subclasses may override |
177 | } | 180 | } |