我想在 .jar 应用程序中打开一个文件,并且我想使用 java 来执行此操作。解释一下,例如我有文件 SF_Antivalent.xml,我想用 uppaal.jar 打开它。我如何使用 Java 做到这一点。我已经编写了以下代码,但它不起作用。
public class test7 {
public static void main(String[] args){
Runtime rt=Runtime.getRuntime();
String file="C:\\Users\\V\\Documents\\diplwmatiki\\SFBs\\SF_Antivalent.xml";
Process p=rt("C:\\Windows\\System32\\java.exe", "-jar", "C:\\Users\\"
+ "V\\Documents\\uppaal-4.0.13-aca\\uppaal-4.0.13\\uppaal.jar" + file);
}
}
我收到此错误:类型测试的方法 rt(String, String, String) 未定义。有什么事要做吗?