| private ReportSymbolTableEditsUsingDifferentThread ( object state ) : void | ||
| state | object | The edit event arguments. |
| return | void | |
private void ReportSymbolTableEditsUsingDifferentThread(object/*?*/ state) {
Contract.Requires(state is EditEventArgs);
EditEventArgs editEventArguments = (EditEventArgs)state;
if (this.SymbolTableEdits != null)
this.SymbolTableEdits(this, editEventArguments);
}