Method push_scope

imperative/src/impl/interpreter/interpreter_impl.cpp:1464–1480

}

void ChannelImpl::push_scope(std::string name, ScopeType type) {
    MGB_LOCK_GUARD(m_spin);
    assert_available();
    auto& state = get_channel_state();
    state.stack_manager.enter(name);
    MGB_RECORD_EVENT(ScopeEvent, name, type);
    if (Profiler::is_profiling()) {
        m_worker.add_task(
                {Profiler::next_id(), PushScope{name, type},
                 get_channel_state().stack_manager.dump()});
    } else {
        m_worker.add_task({
                Profiler::next_id(),
                PushScope{name},
        });
    }
}

void ChannelImpl::pop_scope(std::string name, ScopeType type) {
    MGB_LOCK_GUARD(m_spin);