internal void AddPendingEvent(SingleSteppingEngine engine, Inferior.ChildEvent cevent) { Report.Debug (DebugFlags.Wait, "Add pending event: {0} {1}", engine, cevent); pending_events.Add (engine, cevent); }