void read_symbol_table(TargetMemoryAccess memory)
{
if (initialized)
throw new InternalError ();
Report.Debug (DebugFlags.JitSymtab, "Starting to read symbol table");
try {
DateTime start = DateTime.Now;
++full_update_count;
do_read_symbol_table (memory);
update_time += DateTime.Now - start;
} catch (ThreadAbortException) {
return;
} catch (SymbolTableException ex) {
Console.WriteLine ("Can't read symbol table: {0} {1}",
memory, ex.Message);
return;
} catch (Exception e) {
Console.WriteLine ("Can't read symbol table: {0} {1} {2}",
memory, e, Environment.StackTrace);
return;
}
Report.Debug (DebugFlags.JitSymtab, "Done reading symbol table");
initialized = true;
}