【发布时间】:2018-12-07 14:44:25
【问题描述】:
我正在尝试通过在进程生成器中使用多个命令来创建 .smv 文件的 XML 文件。我如何向进程生成器发出命令,使第一个命令和下一个命令的输出生成下一个输出
Process p = null;
ProcessBuilder pb = new ProcessBuilder("nusmv","-int", "D:/files/bitshift.smv");
p = pb.start();
InputStream in = null;
OutputStream outS = null;
StringBuffer commandResult = new StringBuffer();
String line = null;
int readInt;
int returnVal = p.waitFor();
in = p.getInputStream();
while ((readInt = in.read()) != -1)
{commandResult.append((char)readInt);
outS = (BufferedOutputStream) p.getOutputStream();
outS.write("Process_model".getBytes());
outS.write("show_traces -p 4 -o D:/output.xml".getBytes());}
outS.close();
System.out.println(commandResult.toString());
in.close();
我应该怎么做才能解决我的问题?
【问题讨论】:
标签: java processbuilder