- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在使用 Runtime.getRuntime().exec() 方法来运行“optimathsat.exe”文件。我的代码就像
public boolean runOptimathSat() throws InterruptedException {
boolean runSucceed = false;
smtInputFileDirectory = getInputDirectory();
txtOutputFileDirectory = getOutputDirectory();
optimathsatDirectory = getOptimathSatDirectory();
if ((smtInputFileDirectory != null) && (txtOutputFileDirectory != null)
&& (optimathsatDirectory != null)) {
if (isWindows()) {
String winCommand;
winCommand = "cmd /c cd " + optimathsatDirectory + " && optimathsat.exe -opt.print_objectives=True -opt.output_format=old -optimization.card_constr_encoding=2 -optimization.dpll.search_strategy=1 -preprocessor.toplevel_propagation=False -preprocessor.simplification=0 < " + smtInputFileDirectory + " > " + txtOutputFileDirectory + " 2>& 1";
System.err.println("COMMAND: "+winCommand);
try {
Process p = Runtime.getRuntime().exec(winCommand);
p.waitFor();
runSucceed = true;
} catch (IOException e) {
e.printStackTrace();
}
return runSucceed;}
运行这段代码后,它会在控制台中显示以下行
COMMAND: cmd /c cd "C:\Users\Karencom\OptiMathSAT\optimathsat-1.5.1-windows-64-bit-mingw\bin" && optimathsat.exe -opt.print_objectives=True -opt.output_format=old -optimization.card_constr_encoding=2 -optimization.dpll.search_strategy=1 -preprocessor.toplevel_propagation=False -preprocessor.simplification=0 < "C:/Users/Karencom/runtime-New_configuration/tetest/Optimathsat/bibi.smt2" > "C:/Users/Karencom/runtime-New_configuration/tetest/Optimathsat/bibi.txt" 2>& 1
并在 bibi.txt 文件中显示以下错误
'optimathsat.exe' is not recognized as an internal or external command, operable program or batch file.
但是,当我在一个单独的项目(只有一个类)中复制上面的一些代码行,并在 winCommand 变量中替换生成的命令时,它工作得很好。
import java.io.IOException;
public class Test {
public static void main(String[] args) throws InterruptedException {
// TODO Auto-generated method stub
try {
String winCommand="cmd /c cd"+ " \"C:\\Users\\Karencom\\OptiMathSAT\\optimathsat-1.5.1-windows-64-bit-mingw\\bin\" && optimathsat.exe -opt.print_objectives=True -opt.output_format=old -optimization.card_constr_encoding=2 -optimization.dpll.search_strategy=1 -preprocessor.toplevel_propagation=False -preprocessor.simplification=0 < \"C:/Users/Karencom/runtime-New_configuration/tetest/Optimathsat/sensen.smt2\" > \"C:/Users/Karencom/runtime-New_configuration/tetest/Optimathsat/sensen.txt\" 2>& 1";
Process p = Runtime.getRuntime().exec(winCommand);
p.waitFor();
System.err.println("COMMAND: "+winCommand);
} catch (IOException e) {
e.printStackTrace();
}
}
}
我猜是第一个项目的配置不对,但我不知道如何解决。
最佳答案
您正在使用 cmd
做两件事:
与其使用 cmd
,不如使用 Java 的 ProcessBuilder
.
String[] winCommand = {
"optimathsat.exe",
"-opt.print_objectives=True",
"-opt.output_format=old",
"-optimization.card_constr_encoding=2",
"-optimization.dpll.search_strategy=1",
"-preprocessor.toplevel_propagation=False",
"-preprocessor.simplification=0"
};
Process p = new ProcessBuilder(winCommand)
.directory(new File(optimathsatDirectory)) // "cd " + optimathsatDirectory
.redirectInput(new File(smtInputFileDirectory)) // "< " + smtInputFileDirectory
.redirectOutput(new File(txtOutputFileDirectory)) // "> " + txtOutputFileDirectory
.redirectErrorStream(true) // 2>& 1
.start();
p.waitFor();
关于java - runtime.getruntime.exec 无法识别可执行文件,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/50127296/
尝试使用一些自定义数据(-p 标志)调用 ping。由于我需要传递参数,因此使用接受字符串数组的 exec() 重载似乎很直观。它一直失败,所以我尝试了与一长串相同的精确输入,现在一切都很好。我不知道
在下面的例子中,Java中调用“php hello.php”的两种方法有什么区别? p1 对 p2? String[] commands; String command = "php hello.ph
我在编译程序时遇到的问题是java无法识别“.getRuntime()”方法。下面是我的代码: import java.lang.*; public class Temp {
我正在阅读有关如何在运行 android 2.2 的自定义设备(中文框)上不在 dalvik(例如,后台 native 进程)内运行的 android 中获取正在运行进程的 PID 的信息,似乎没有在
我在 Java 1.8 上调用 p = Runtime.getRuntime().exec(command)。该命令调用 bash 脚本如下: #!/bin/bash args=("$@") cat
Runtime.getRuntime().freeMemory() 返回空闲堆内存空间还是堆+非堆内存空间? 最佳答案 javadoc说: @return an approximation to th
我想在 java 程序中使用 Runtime.getRuntime().exec 完整的代码片段如下,但我的问题归结为当我在 Runtime.getRuntime().exec(command),但是
我正在我的程序中构建某种更新程序功能。当检测到更新时,程序应下载 updater.jar 并终止。之后,updater.jar 将下载该程序的新版本并删除旧版本。这就是我的主程序运行更新程序的方式:
当我在 Windows 命令提示符中运行此命令时,它会打开默认浏览器并加载相应的页面: START: http://google.com 我尝试使用下面的 Java 代码执行相同的操作,但收到错误消息
我试图在 java 中执行终端命令,但得到错误的结果(即使该命令正在执行)。当我将相同的命令粘贴到终端时,它会产生正确的输出。我猜测问题是由于重定向字符('')而发生的,但我还没有找到解决方案。我正在
我正在尝试让我的 java 程序从命令提示符运行 svn 命令,这会将日志写入 xml 文件。 这就是我想要它做的事情: Runtime.getRuntime().exec("cmd.exe /c s
我正在尝试通过Java将curl命令作为进程执行。当我执行它时,我根本没有得到任何输出。当我通过命令行执行相同的命令时,我得到了正确的输出。 URL 以 XML 形式返回输出。 这是我的 Java 程
我正在尝试将我编写的 2 个简单程序合并到一个 .jar 中。我将两个 .jars 打包成一个新的,并使用 Runtime.getRuntime().exec 方法来执行它们。 代码: public
我正在尝试从我的 java 应用程序运行 *.bat 文件(它能够运行多个命令并一一检索输出)。 我的目的是发送一个命令,读取输出,使用此输出作为第二个命令,然后再次检索输出。 为了实现这一目标,通过
我正在尝试计算此 stub 的运行时内存使用情况。这在 Eclipse 中工作正常,但是当我在 Linux 服务器上运行相同的代码时,它除了 0 之外不打印任何内容。服务器配置:64位,4核服务器,1
我发现以下代码使用 Runtime.getRuntime().exec 运行任意程序(例如 Notepad.exe )。 public class RuntimeDemo { public st
我创建了一个类来处理 Android 应用程序中的根命令,该类在大多数情况下都运行良好。我使用 Runtime.getRuntime().exec("su") 创建进程,然后使用 DataOutput
基本上,当我输入这些命令时手动打开终端,筛选程序可以运行并写入一个 .key 文件,但是当我尝试从我的程序中调用它时,没有任何内容被写入。 我是否正确使用了 exec() 方法?我查看了 API,但似
我在让 .getruntime.exec() 正常工作时遇到了一些问题。这是处理该部分的代码: while (line != null) { String name = line; Strin
我目前正在使用 Java 制作 Firefox 插件开发 GUI 工具。但是,当我尝试获取 .bat 的输出时,我陷入了困境。文件。 当我运行.bat时file using java 我可以看到输出,
我是一名优秀的程序员,十分优秀!