public synchronized void warnOnce(String s, Parameter p1) {
if (!oneTimeWarnings.contains(s)) {
oneTimeWarnings.add(s);
println("ONCE-ONLY WARNING:\n" + s, ALL_LOGS, true);
if (p1 != null) println("PARAMETER: " + p1, ALL_LOGS, true);
}
}
/** Posts a warning one time only. */
public synchronized void warnOnce(String s) {
if (!oneTimeWarnings.contains(s)) {
oneTimeWarnings.add(s);
println("ONCE-ONLY WARNING:\n" + s, ALL_LOGS, true);
}
}