private void postEvent(Event e)
{
Console.WriteLine("\npostEvent {0}\n",e.r);
events.Enqueue(e);
if (!doing)
{
Console.WriteLine("notify\n");
notify.WakeupMain();
}
}
internal void AddEvent(Event copyEvent) {
this.copyEvents.Add(copyEvent);
}
protected void AddEvent(Event copyEvent) {
EnsureCopyCodeAction();
lastCopyCodeAction.AddEvent(copyEvent);
}