Java 从其他程序中提取信息/控制其他程序
我希望编写一个Java程序，可以从程序EVA2H1（）的结果中提取信息，并将其输入到定理证明程序（如SPASS）中 我发现一些类可以打开其他程序并读取文件，但不一定与其他程序一起工作。即使是将其硬编码为与特定程序一起工作也可以。我正在考虑使用InputStream，但不确定如何进行集成 有人会扔指针吗Java 从其他程序中提取信息/控制其他程序,java,external,verification,integrate,Java,External,Verification,Integrate,我希望编写一个Java程序，可以从程序EVA2H1（）的结果中提取信息，并将其输入到定理证明程序（如SPASS）中 我发现一些类可以打开其他程序并读取文件，但不一定与其他程序一起工作。即使是将其硬编码为与特定程序一起工作也可以。我正在考虑使用InputStream，但不确定如何进行集成 有人会扔指针吗 我最初试图通过使用同一种语言OCaml编写所有内容，使所有内容都能作为一个程序工作，但我发现这很复杂，因为我不习惯这样做，所以我现在尝试一种不同的方法。如果要在shell中运行，可以通过管道将EV
我最初试图通过使用同一种语言OCaml编写所有内容，使所有内容都能作为一个程序工作，但我发现这很复杂，因为我不习惯这样做，所以我现在尝试一种不同的方法。如果要在shell中运行，可以通过管道将EVA2H1的输出传输到stdout，然后使用Java从stdin读取它
您还可以使用process和Runtime类在Java内部启动外部进程。通过这种方式，您可以向流程提供参数，并读取其输出。这里您似乎受到EVA2H1可以生成的输出特性的限制。请您分析并编写更多关于您可以从EVA2H1生成的输出类型的信息，以及将其导入Java进程时面临的问题？它是一个一次性的文本文件，还是您需要收听来自OCaml进程的定期更新？