void function ( String arg0 ) { if ( Options . verbose ) out . print ( arg0 ) ; }
report generation progress . concode_field_sep StdOutWriter out concode_elem_sep int warnings concode_elem_sep String NL concode_elem_sep int errors concode_field_sep void debug concode_elem_sep void checkErrors concode_elem_sep void err concode_elem_sep String getLine concode_elem_sep void setGUIMode concode_elem_sep void error concode_elem_sep void error concode_elem_sep void error concode_elem_sep void error concode_elem_sep void error concode_elem_sep void showPosition concode_elem_sep void showPosition concode_elem_sep void requestBugReport concode_elem_sep void println concode_elem_sep void println concode_elem_sep void println concode_elem_sep void resetCounters concode_elem_sep void setOutputStream concode_elem_sep void warning concode_elem_sep void warning concode_elem_sep void warning concode_elem_sep void time concode_elem_sep void time concode_elem_sep void dump concode_elem_sep void printSystemInfo concode_elem_sep void statistics