0

エラーなし、出力なし、どこが間違っているのかわかりません。

String[] commands = new String[] {"maude", "in 1.maude", "red f(a, b, e) ."};
Runtime rt = Runtime.getRuntime();
Process proc = rt.exec(commands);
InputStream stdin = proc.getInputStream();
InputStreamReader isr = new InputStreamReader(stdin);
BufferedReader br = new BufferedReader(isr);
String line = br.readLine();
while ( (line = br.readLine()) != null) {
    jTextArea4.append(line + "\n");
}

最初に、私は文字列の配列を持っています.1つ目はモードコンソールを実行し、2つ目は興味のあるモジュール(ファイル)は何か(ロードするファイル)を伝えるモードコンソールのコマンドです.最後のものはモードモジュールのいくつかのプロパティをチェックする実際のコマンド!

4

1 に答える 1

2

使用する:

String maudeCommand = "full_path_to_maude\\maude.exe";
String[] commands = new String[] {"cmd.exe", "/c", maudeCommand, "in", "1.maude", "red", "f(a, b, e)", "."};

maude.exefull_path_to_maudeの場所に置き換えます

于 2012-08-16T22:21:14.520 に答える