def pop_globalinterruptible(self, node_): clone = self.pop() scope = globalinterruptible_get_scope(node_) clone._pop_scope(scope) clone._pop_scope_level() clone._do_stack.pop() return clone
def push_globalinterruptible(self, node_): clone = self.push(node_) scope = globalinterruptible_get_scope(node_) # Some scope details not specified explicitly enough in langref yet clone._push_scope(scope) clone._push_scope_level() _append_disabled_frame(clone._do_stack, set([])) return clone
def _visit_globalinterruptible(self, node_): scope = globalinterruptible_get_scope(node_) if scope == globalinterruptible_EMPTY_SCOPE_NAME: children = [] scopenode = globalinterruptible_get_scope_child(node_) children.append(self._replace_scope_node(scopenode)) children.append(globalinterruptible_get_block_child(node_)) children.extend(globalinterruptible_get_interrupt_children(node_)) node_ = util.antlr_dupnode_and_replace_children(node_, children) return node_
def _visit_globalinterruptible(self, node_): scope = globalinterruptible_get_scope(node_) if scope != globalinterruptible_EMPTY_SCOPE_NAME: self._collect_scopes_aux(scope) return node_