view python/c3/visitor.py @ 166:da0087b82fbe

Improved type checking
author Windel Bouwman
date Fri, 22 Mar 2013 16:15:31 +0100
parents 8104fc8b5e90
children 0b5b2ee6b435
line wrap: on
line source

from .astnodes import *

class Visitor:
   """ Visitor that visits all nodes in the ast and runs the function 'f' """
   def __init__(self, f1, f2):
      self.f1 = f1
      self.f2 = f2
   def visit(self, node):
      # Run visitor:
      self.f1(node)
      # Descent into subnodes:
      if type(node) is Package:
         for s in node.scope:
            self.visit(s)
      elif type(node) is Function:
         for s in node.scope:
            self.visit(s)
         self.visit(node.typ)
         self.visit(node.body)
      elif type(node) is CompoundStatement:
         for s in node.statements:
            self.visit(s)
      elif type(node) is IfStatement:
         self.visit(node.condition)
         self.visit(node.truestatement)
         self.visit(node.falsestatement)
      elif type(node) is ProcedureCall:
         pass
         # TODO
      elif type(node) is Assignment:
         self.visit(node.lval)
         self.visit(node.rval)
      elif type(node) is ReturnStatement:
         self.visit(node.expr)
      elif type(node) is Binop:
         self.visit(node.a)
         self.visit(node.b)
      elif type(node) is Constant:
         self.visit(node.value)
      elif type(node) in [EmptyStatement, VariableUse, Variable, Literal, FunctionType]:
         # Those nodes do not have child nodes.
         pass
      else:
         print('UNK visit', node)
      self.f2(node)