/// <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(); }