/// <summary>
/// Raises the SymbolTableEdits event with the given edit event arguments.
/// The events are raised on different thread.
/// </summary>
public void ReportSymbolTableEdits(EditEventArgs editEventArguments) {
if (this.SymbolTableEdits != null)
ThreadPool.QueueUserWorkItem(this.ReportSymbolTableEditsUsingDifferentThread, editEventArguments);
}
public void ReportSymbolTableEdits(EditEventArgs editEventArguments) {
Contract.Requires(editEventArguments != null);
this.SymbolTableEdits(this, editEventArguments);
throw new NotImplementedException();
}
