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); } }
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); } }