1 files changed, 51 insertions, 2 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java
index 1cac2633..1479e6b7 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java
@@ -2,11 +2,60 @@ package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder;
 

 import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration;

 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel;

+import ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguageFactoryImpl;

+import com.google.common.base.Objects;

 import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace;

+import java.io.BufferedReader;

+import java.io.InputStream;

+import java.io.InputStreamReader;

+import java.util.List;

+import java.util.Map;

+import org.eclipse.emf.common.util.EList;

+import org.eclipse.emf.common.util.URI;

+import org.eclipse.emf.ecore.EObject;

+import org.eclipse.emf.ecore.resource.Resource;

+import org.eclipse.xtext.xbase.lib.CollectionLiterals;

+import org.eclipse.xtext.xbase.lib.Conversions;

+import org.eclipse.xtext.xbase.lib.Exceptions;

 

 @SuppressWarnings("all")

 public class VampireHandler {

-  public Object callSolver(final VampireModel problem, final ReasonerWorkspace workspace, final VampireSolverConfiguration configuration, final String vampireCode) {

-    return null;

+  public EList<EObject> callSolver(final VampireModel problem, final ReasonerWorkspace workspace, final VampireSolverConfiguration configuration) {

+    try {

+      EList<EObject> _xblockexpression = null;

+      {

+        final String CMD = "cmd /c ";

+        final String VAMPDIR = "..\\..\\Solvers\\Vampire-Solver\\ca.mcgill.ecse.dslreasoner.vampire.reasoner\\lib\\";

+        final String VAMPNAME = "vampire.exe";

+        final String TEMPNAME = "TEMP.tptp";

+        final String OPTION = " --mode casc_sat ";

+        final String SOLNNAME = "solution.tptp";

+        final String PATH = "C:/cygwin64/bin";

+        final URI wsURI = workspace.getWorkspaceURI();

+        final String tempLoc = (wsURI + TEMPNAME);

+        String _plus = (wsURI + SOLNNAME);

+        final String solnLoc = (_plus + " ");

+        final String vampLoc = (VAMPDIR + VAMPNAME);

+        String tempURI = workspace.writeModel(problem, TEMPNAME).toFileString();

+        final Process p = Runtime.getRuntime().exec((((((CMD + vampLoc) + OPTION) + tempLoc) + " > ") + solnLoc), ((String[])Conversions.unwrapArray(CollectionLiterals.<String>newArrayList(("Path=" + PATH)), String.class)));

+        p.waitFor();

+        InputStream _inputStream = p.getInputStream();

+        InputStreamReader _inputStreamReader = new InputStreamReader(_inputStream);

+        final BufferedReader reader = new BufferedReader(_inputStreamReader);

+        final List<String> output = CollectionLiterals.<String>newArrayList();

+        String line = "";

+        while ((!Objects.equal((line = reader.readLine()), null))) {

+          output.add((line + "\n"));

+        }

+        workspace.getFile(TEMPNAME).delete();

+        Map<String, Object> _extensionToFactoryMap = Resource.Factory.Registry.INSTANCE.getExtensionToFactoryMap();

+        VampireLanguageFactoryImpl _vampireLanguageFactoryImpl = new VampireLanguageFactoryImpl();

+        _extensionToFactoryMap.put("*", _vampireLanguageFactoryImpl);

+        _xblockexpression = workspace.<VampireModel>readModel(VampireModel.class, SOLNNAME).eResource().getContents();

+      }

+      return _xblockexpression;

+    } catch (Throwable _e) {

+      throw Exceptions.sneakyThrow(_e);

+    }

   }

 }