public void reportOverflow(String msg)
{
switch(overflowHandling)
{
case WARN:
warnClient(new OverflowException());
break;
case ERROR:
throw new OverflowException();
case IGNORE:
// ignores, does nothing
break;
default:
throw new AssertionError(overflowHandling);