diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java | 7 |
1 files changed, 7 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; |