/** Main method to test (read from multiple des files, output result to a des file) */
public static void main(String args[]) {
PTA pta, pta2;
int i;
if (args.length < 1) {
System.err.println("Usage: java ... <des files>");
System.exit(1);
}
try {
// Build PTA
System.out.println("Building PTA from \"" + args[0] + "\"");
pta = PTA.buildPTAFromDesFile(args[0]);
System.out.println(pta.infoString());
// System.out.println(pta);
for (i = 1; i < args.length; i++) {
System.out.println("Building PTA from \"" + args[i] + "\"");
pta2 = PTA.buildPTAFromDesFile(args[i]);
System.out.println(pta2.infoString());
// System.out.println(pta2);
pta = new PTAParallel().compose(pta, pta2);
// System.out.println(pta);
}
System.out.println("Final PTA: " + pta.infoString());
System.out.println(pta);
pta.check();
pta.writeToDesFile("par.des");
// Parse target location
} catch (PrismException e) {
System.err.println("Error: " + e.getMessage());
}
}