def visit_array(self, node): self.extend_path(node) DomainVisitor.visit_array(self, node) self.path.pop()
def visit_stripe(self, node): self.extend_path(node) DomainVisitor.visit_stripe(self, node) self.path.pop()