/// <summary>
/// Take all the pending triggers that have been added by AddPendingTrigger,
/// and finally make them become active. To be called by the CPU when it
/// decides that enough mainline code has had a chance to happen that it's
/// okay to enable triggers again.
/// </summary>
public void ActivatePendingTriggers()
{
Triggers.AddRange(TriggersToInsert);
TriggersToInsert.Clear();
}
/// <summary>
/// Remove all active and pending triggers.
/// </summary>
public void ClearTriggers()
{
Triggers.Clear();
TriggersToInsert.Clear();
}
