Ejemplo n.º 1
0
 public void __exit__()
 {
     _graph._pop_control_dependencies_controller(this);
     if (_new_stack)
     {
         _graph._control_dependencies_stack = _old_stack;
         _graph._set_control_flow_context(_old_control_flow_context);
     }
 }