equal
deleted
inserted
replaced
10 import java.io.IOException; |
10 import java.io.IOException; |
11 import java.io.InputStream; |
11 import java.io.InputStream; |
12 import java.nio.file.Paths; |
12 import java.nio.file.Paths; |
13 import java.util.Properties; |
13 import java.util.Properties; |
14 |
14 |
15 import info.hupel.isabelle.api.Configuration; |
15 import edu.tum.cs.isabelle.api.Configuration; |
16 import info.hupel.isabelle.api.Environment; |
16 import edu.tum.cs.isabelle.api.Environment; |
17 import info.hupel.isabelle.api.Version; |
17 import edu.tum.cs.isabelle.api.Version; |
18 import info.hupel.isabelle.japi.JPlatform; |
18 import edu.tum.cs.isabelle.japi.JPlatform; |
19 import info.hupel.isabelle.japi.JResources; |
19 import edu.tum.cs.isabelle.japi.JSetup; |
20 import info.hupel.isabelle.japi.JSetup; |
20 import edu.tum.cs.isabelle.japi.JSystem; |
21 import info.hupel.isabelle.japi.JSystem; |
21 import edu.tum.cs.isabelle.setup.Setup; |
22 import info.hupel.isabelle.setup.Setup; |
|
23 |
22 |
24 /* |
23 /* |
25 * Connect tests with Isac's mathematics engine. |
24 * Connect tests with Isac's mathematics engine. |
26 */ |
25 */ |
27 public class Isabelle_Isac { |
26 public class Isabelle_Isac { |
44 System.out.println("Exception: " + e); |
43 System.out.println("Exception: " + e); |
45 } finally { |
44 } finally { |
46 try { inputStream.close(); |
45 try { inputStream.close(); |
47 } catch (IOException e) { e.printStackTrace(); } |
46 } catch (IOException e) { e.printStackTrace(); } |
48 } |
47 } |
49 JResources res = JResources.dumpIsabelleResources(); |
48 Setup setup = new Setup(Paths.get(isabelle_home_), JPlatform.guess(), |
|
49 new Version("2015"), Setup.defaultPackageName()); |
|
50 Environment env = JSetup.makeEnvironment(setup); // without Duration |
50 Configuration config = Configuration.fromBuiltin("libisabelle_Isac"); |
51 Configuration config = Configuration.fromBuiltin("libisabelle_Isac"); |
51 Environment env = JSetup.makeEnvironment(JSetup.defaultSetup(new Version.Stable("2018")), res); |
52 return JSystem.create(env, config); |
52 return JSystem.create(env, config); |
|
53 } |
53 } |
54 |
54 |
55 } |
55 } |