public void Flush() { // flush parent scopes first if (parent != null) parent.Flush(); RaiseExited(); }