Download Dokument_1

D Erweiterte Tests des ANTLR-generierten Parsers
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
else {
outputappend(" " + args[i] + ":");
doFile(new File(args[i]) , args[i]); // parse it
}
}
// get end time & calculate difference
Date enddate = new Date();
outputappend("Endzeit: " + enddate.toString());
long timerequired = enddate.getTime() − startdate.getTime();
outputappend("Zeit benötigt: " +
Long.toString(timerequired / 3600000) + ":" +
Long.toString((timerequired \% 3600000) / 60000) + ":" +
Long.toString((timerequired \% 60000) / 1000) + "," +
Long.toString(timerequired \% 1000) +
" (=" + Long.toString(timerequired) + "ms)");
FileOutputStream mystream =
new FileOutputStream("ParserLog.txt");
mystream.write (resultOutPut.toString().getBytes() , 0 ,
resultOutPut.length());
mystream.close();
}
else
System.err.println("Usage: java Main [−showtree] "+
"<directory or file name>");
}
catch(Exception e) {
System.err.println("exception: "+e);
e.printStackTrace(System.err); // so we can get stack trace
}
}
60
61
62
63
64
private static void outputappend (String toAppend) {
resultOutPut.append(toAppend + "\n");
}
65
66
67
68
69
70
71
72
73
private static String stackTraceToString(Exception e) {
String myresult = "";
StackTraceElement trace[] = e.getStackTrace();
for (int i = 0; i < trace.length; i++) {
myresult += "@ " + trace[i].toString() + "\n";
}
return myresult;
130