[isabelle-dev] NEWS: Scala method invocation service for ML
makarius at sketis.net
Mon Jul 11 17:51:14 CEST 2011
*** ML ***
* Scala layer provides JVM method invocation service for static
methods of type (String)String, see Invoke_Scala.method in ML.
Invoke_Scala.method "java.lang.System.getProperty" "java.home"
See e.g. Isabelle/0517a69de5d6.
This long-projected facility is still a bit experimental. It assumes that
the method terminates without further interaction. Stability of the
Isabelle/Scala/PIDE process with add-on jobs still needs further
investigation, e.g. when heavy decision procedures are run. Foreign native
code is better not linked into the jEdit process, since it can cause hard
crashes of the JVM.
More information about the isabelle-dev