/** Posts a fatal error. This causes the system to exit. */
public synchronized void fatal(String s, Parameter p1, Parameter p2) {
println("FATAL ERROR:\n" + s, ALL_LOGS, true);
if (p1 != null) println("PARAMETER: " + p1, ALL_LOGS, true);
if (p2 != null && p1 != null) println(" ALSO: " + p2, ALL_LOGS, true);
else println("PARAMETER: " + p2, ALL_LOGS, true);
exitWithError();
}
/** Exits with a fatal error if the error flag has been raised. */
public synchronized void exitIfErrors() {
if (errors) {
println("SYSTEM EXITING FROM ERRORS\n", ALL_LOGS, true);
exitWithError();
}
}
/** Posts a fatal error. This causes the system to exit. */
public synchronized void fatal(String s) {
println("FATAL ERROR:\n" + s, ALL_LOGS, true);
exitWithError();
}