/**

  * @author Walther Neuper

  * Created on Mar 30, 2017

  * (c) due to copyright terms

  */

 package isac.bridge;

 import java.io.FileNotFoundException;

 import java.io.IOException;

 import java.io.InputStream;

 import java.nio.file.Paths;

 import java.util.Properties;

 import edu.tum.cs.isabelle.api.Configuration;

 import edu.tum.cs.isabelle.api.Environment;

 import edu.tum.cs.isabelle.api.Version;

 import edu.tum.cs.isabelle.japi.JPlatform;

 import edu.tum.cs.isabelle.japi.JSetup;

 import edu.tum.cs.isabelle.japi.JSystem;

 import edu.tum.cs.isabelle.setup.Setup;

 /*

  * Connect tests with Isac's mathematics engine.

  */

 public class Isabelle_Isac {

   public static JSystem connect() {

     String isabelle_home_ = "";

     InputStream inputStream = null;

     try {

       Properties prop = new Properties();

       String propFileName = "./properties/BridgeMain.properties";

       inputStream = Isabelle_Isac.class.getClassLoader().getResourceAsStream(propFileName);

       if (inputStream != null) {

         prop.load(inputStream);

       } else {

         throw new FileNotFoundException("property file '" + propFileName + "' not found in the classpath");

       }

       // get the property value and print it out

       isabelle_home_ = prop.getProperty("ISABELLE_HOME");

         } catch (Exception e) {

         System.out.println("Exception: " + e);

       } finally {

         try { inputStream.close();

       } catch (IOException e) { e.printStackTrace(); }

       }

     Setup setup = new Setup(Paths.get(isabelle_home_), JPlatform.guess(),

                new Version("2015"), Setup.defaultPackageName());

     Environment env = JSetup.makeEnvironment(setup); // without Duration

     Configuration config = Configuration.fromBuiltin("libisabelle_Isac");

     return JSystem.create(env, config);    

   }

 }