From 07073f142e982a1b9fb08255c8eb74d18dbf7a34 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Wed, 16 Jan 2019 01:41:23 -0500
Subject: FAM MM transformation works

---
 .../.VampireLanguageRuntimeModule.xtendbin         | Bin 1712 -> 1712 bytes
 .../formatting2/.VampireLanguageFormatter.xtendbin | Bin 0 -> 4130 bytes
 .../mcgill/ecse/dslreasoner/formatting2/.gitignore |   1 +
 .../formatting2/VampireLanguageFormatter.java      |  95 +++++++++++++++++++++
 .../scoping/.VampireLanguageScopeProvider.xtendbin | Bin 1755 -> 1755 bytes
 5 files changed, 96 insertions(+)
 create mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.VampireLanguageFormatter.xtendbin
 create mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.gitignore
 create mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.java

(limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca')

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageRuntimeModule.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageRuntimeModule.xtendbin
index 4bb663d0..dc32e478 100644
Binary files a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageRuntimeModule.xtendbin and b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageRuntimeModule.xtendbin differ
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.VampireLanguageFormatter.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.VampireLanguageFormatter.xtendbin
new file mode 100644
index 00000000..bbe52159
Binary files /dev/null and b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.VampireLanguageFormatter.xtendbin differ
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.gitignore
new file mode 100644
index 00000000..da6e993e
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.gitignore
@@ -0,0 +1 @@
+/.VampireLanguageFormatter.java._trace
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.java
new file mode 100644
index 00000000..73a032e7
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.java
@@ -0,0 +1,95 @@
+/**
+ * generated by Xtext 2.12.0
+ */
+package ca.mcgill.ecse.dslreasoner.formatting2;
+
+import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess;
+import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment;
+import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula;
+import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude;
+import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName;
+import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel;
+import com.google.inject.Inject;
+import java.util.Arrays;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.xtext.formatting2.AbstractFormatter2;
+import org.eclipse.xtext.formatting2.IFormattableDocument;
+import org.eclipse.xtext.formatting2.IHiddenRegionFormatter;
+import org.eclipse.xtext.resource.XtextResource;
+import org.eclipse.xtext.xbase.lib.Extension;
+import org.eclipse.xtext.xbase.lib.Procedures.Procedure1;
+
+@SuppressWarnings("all")
+public class VampireLanguageFormatter extends AbstractFormatter2 {
+  @Inject
+  @Extension
+  private VampireLanguageGrammarAccess _vampireLanguageGrammarAccess;
+  
+  protected void _format(final VampireModel vampireModel, @Extension final IFormattableDocument document) {
+    EList<VLSInclude> _includes = vampireModel.getIncludes();
+    for (final VLSInclude vLSInclude : _includes) {
+      document.<VLSInclude>format(vLSInclude);
+    }
+    EList<VLSComment> _comments = vampireModel.getComments();
+    for (final VLSComment vLSComment : _comments) {
+      document.<VLSComment>format(vLSComment);
+    }
+    EList<VLSFofFormula> _formulas = vampireModel.getFormulas();
+    for (final VLSFofFormula vLSFofFormula : _formulas) {
+      document.<VLSFofFormula>format(vLSFofFormula);
+    }
+  }
+  
+  protected void _format(final VLSInclude vLSInclude, @Extension final IFormattableDocument document) {
+    EList<VLSName> _names = vLSInclude.getNames();
+    for (final VLSName vLSName : _names) {
+      document.<VLSName>format(vLSName);
+    }
+  }
+  
+  protected void _format(final VLSFofFormula formula, @Extension final IFormattableDocument document) {
+    final Procedure1<IHiddenRegionFormatter> _function = (IHiddenRegionFormatter it) -> {
+      it.newLine();
+    };
+    document.<VLSFofFormula>append(formula, _function);
+  }
+  
+  protected void _format(final VLSComment comment, @Extension final IFormattableDocument document) {
+    final Procedure1<IHiddenRegionFormatter> _function = (IHiddenRegionFormatter it) -> {
+      it.newLine();
+    };
+    document.<VLSComment>append(comment, _function);
+  }
+  
+  public void format(final Object comment, final IFormattableDocument document) {
+    if (comment instanceof XtextResource) {
+      _format((XtextResource)comment, document);
+      return;
+    } else if (comment instanceof VLSComment) {
+      _format((VLSComment)comment, document);
+      return;
+    } else if (comment instanceof VLSFofFormula) {
+      _format((VLSFofFormula)comment, document);
+      return;
+    } else if (comment instanceof VLSInclude) {
+      _format((VLSInclude)comment, document);
+      return;
+    } else if (comment instanceof VampireModel) {
+      _format((VampireModel)comment, document);
+      return;
+    } else if (comment instanceof EObject) {
+      _format((EObject)comment, document);
+      return;
+    } else if (comment == null) {
+      _format((Void)null, document);
+      return;
+    } else if (comment != null) {
+      _format(comment, document);
+      return;
+    } else {
+      throw new IllegalArgumentException("Unhandled parameter types: " +
+        Arrays.<Object>asList(comment, document).toString());
+    }
+  }
+}
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/scoping/.VampireLanguageScopeProvider.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/scoping/.VampireLanguageScopeProvider.xtendbin
index 70c2d95d..ea7bbec5 100644
Binary files a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/scoping/.VampireLanguageScopeProvider.xtendbin and b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/scoping/.VampireLanguageScopeProvider.xtendbin differ
-- 
cgit v1.2.3-54-g00ecf