Esempio n. 1
0
 def push_globalrecursion(self, node_):
     clone = self.push(node_)
     # Section 4.6.7 -- bound recursion labels for well-formedness
     # FIXME: factor out with globalrecursion.check_wellformedness_enter
     reclab = self.get_current_scope() + '.' + globalrecursion_get_label(node_) 
     clone = clone.add_recursion_label(reclab)
     return clone
Esempio n. 2
0
 def push_globalrecursion(self, node_):
     clone = self.push(node_)
     # Section 4.6.7 -- bound recursion labels for well-formedness
     # FIXME: factor out with globalrecursion.check_wellformedness_enter
     reclab = self.get_current_scope() + '.' + globalrecursion_get_label(
         node_)
     clone = clone.add_recursion_label(reclab)
     return clone
Esempio n. 3
0
 def _visit_globalrecursion(self, node_):
     lab = globalrecursion_get_label(node_)
     block = globalrecursion_get_block_child(node_)
     self._rec_blocks[lab] = block
     return node_