FAM MM transformation works

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;
 import org.eclipse.xtext.ui.editor.contentassist.PrefixMatcher;

 import org.eclipse.xtext.ui.editor.contentassist.antlr.AntlrProposalConflictHelper;

 import org.eclipse.xtext.ui.editor.contentassist.antlr.DelegatingContentAssistContextFactory;

+import org.eclipse.xtext.ui.editor.formatting.IContentFormatterFactory;

+import org.eclipse.xtext.ui.editor.formatting2.ContentFormatterFactory;

 import org.eclipse.xtext.ui.editor.outline.IOutlineTreeProvider;

 import org.eclipse.xtext.ui.editor.outline.impl.IOutlineTreeStructureProvider;

 import org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreInitializer;

@@ -185,6 +187,11 @@ public abstract class AbstractVampireLanguageUiModule extends DefaultUiModule {
                         .to(BuilderPreferenceAccess.Initializer.class);

         }

         

+        // contributed by org.eclipse.xtext.xtext.generator.formatting.Formatter2Fragment2

+        public Class<? extends IContentFormatterFactory> bindIContentFormatterFactory() {

+                return ContentFormatterFactory.class;

+        }

+        

         // contributed by org.eclipse.xtext.xtext.generator.ui.labeling.LabelProviderFragment2

         public Class<? extends ILabelProvider> bindILabelProvider() {

                 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
         public void complete_SIGNED_RAT_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {

                 // subclasses may override

         }

+        public void complete_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {

+                // subclasses may override

+        }

         public void complete_ANY_OTHER(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {

                 // subclasses may override

         }