/**

 * @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);    

  }

}