colNum = INIT_COL ;
}
else
colNum++;
if ( ! Character.isDefined(ch) )
throw new AtlasException(String.format("No such codepoint: 0x%04X", ch)) ;
}
System.out.printf("%s: chars = %d , lines = %d\n", fn, charCount, lineNum) ;
} catch (AtlasException ex)
{
System.out.printf(label+"[line=%d, col=%d] %s\n", lineNum, colNum, ex.getMessage()) ;