Ejemplo n.º 1
0
 def visit_array(self, node):
     self.extend_path(node)
     DomainVisitor.visit_array(self, node)
     self.path.pop()
Ejemplo n.º 2
0
 def visit_array(self, node):
     self.extend_path(node)
     DomainVisitor.visit_array(self, node)
     self.path.pop()
Ejemplo n.º 3
0
 def visit_stripe(self, node):
     self.extend_path(node)
     DomainVisitor.visit_stripe(self, node)
     self.path.pop()
Ejemplo n.º 4
0
 def visit_stripe(self, node):
     self.extend_path(node)
     DomainVisitor.visit_stripe(self, node)
     self.path.pop()