78 |
78 |
79 bridge_logger_ = new BridgeLogger(log_path); |
79 bridge_logger_ = new BridgeLogger(log_path); |
80 new ClientList(); |
80 new ClientList(); |
81 setUpBridgeLog(); |
81 setUpBridgeLog(); |
82 //*TTY*/startThreadsFirstTime(); |
82 //*TTY*/startThreadsFirstTime(); |
83 /*PIDE*/log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"..."); |
83 /* cp from last working version: |
84 //see libisabelle/modules/examples/src/main/java/edu/tum/cs/isabelle/examples/Hello_PIDE.java |
|
85 /* cp from |
|
86 * https://hg.risc.uni-linz.ac.at/wneuper/isac/file/84f1ca6a6dd9/isac-java/src/java/isac/bridge/BridgeMain.java#l85 |
84 * https://hg.risc.uni-linz.ac.at/wneuper/isac/file/84f1ca6a6dd9/isac-java/src/java/isac/bridge/BridgeMain.java#l85 |
87 85 log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"..."); |
85 85 log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"..."); |
88 86 Setup setup = new Setup(Paths.get(isabelle_home), JPlatform.guess(), |
86 86 Setup setup = new Setup(Paths.get(isabelle_home), JPlatform.guess(), |
89 87 new Version("2015"), Setup.defaultPackageName()); |
87 87 new Version("2015"), Setup.defaultPackageName()); |
90 88 Environment env = JSetup.makeEnvironment(setup); // ohne Duration |
88 88 Environment env = JSetup.makeEnvironment(setup); // without Duration |
91 89 Configuration config = Configuration.fromBuiltin("libisabelle_Isac"); |
89 89 Configuration config = Configuration.fromBuiltin("libisabelle_Isac"); |
92 90 JSystem sys = JSystem.create(env, config); |
90 90 JSystem sys = JSystem.create(env, config); |
93 92 |
91 92 |
94 93 connection_to_kernel_ = sys; |
92 93 connection_to_kernel_ = sys; |
95 94 log(1, "<--ISA: connection established"); |
93 94 log(1, "<--ISA: connection established"); |
96 */ |
94 */ |
97 /* |
95 /* cp from downloaded libisabelle, current version: |
98 package info.hupel.isabelle.examples.java; |
96 package info.hupel.isabelle.examples.java; |
99 |
97 |
100 import java.nio.file.Path; |
98 import java.nio.file.Path; |
101 import java.nio.file.Paths; |
99 import java.nio.file.Paths; |
102 import java.util.Arrays; |
100 import java.util.Arrays; |
115 System.out.println(response); |
113 System.out.println(response); |
116 sys.dispose(); |
114 sys.dispose(); |
117 } |
115 } |
118 } |
116 } |
119 */ |
117 */ |
|
118 /*PIDE*/log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"..."); |
|
119 |
120 JResources res = JResources.dumpIsabelleResources(); |
120 JResources res = JResources.dumpIsabelleResources(); |
121 Path path = java.nio.file.Paths.get |
121 Path path = java.nio.file.Paths.get |
122 ("/home/wneuper/.isabelle/isabisac/heaps/polyml-5.7.1_x86-linux/libisabelle_Isac"); |
122 ("/home/wneuper/.isabelle/isabisac/heaps/polyml-5.7.1_x86-linux/libisabelle_Isac"); |
123 Configuration config = Configuration.simple("Protocol"); |
123 Configuration config = Configuration.simple("Protocol"); |
124 Environment env = JSetup.makeEnvironment(JSetup.defaultSetup(new Version.Stable("2018")), res); |
124 Environment env = JSetup.makeEnvironment(JSetup.defaultSetup(new Version.Stable("2018")), res); |