コード例 #1
0
ファイル: class_hierarchy.py プロジェクト: holdenli/CS-444
 def __init__(self, node, c=None):
     if node == None or node.name != "FieldDeclaration":
         self.mods = []
         self.name = ""
         self.type = None
     else:
         self.mods = ast.get_modifiers(node.find_child("Modifiers"))
         self.name = node.find_child("Identifier").value.value
         self.type = c.get_type(node.find_child("Type"))
         node.obj  = self
     if c != None and c.interface:
         self.mods.append("Abstract")
     self.node = node
     self.declared_in = c
コード例 #2
0
ファイル: class_hierarchy.py プロジェクト: holdenli/CS-444
 def __init__(self, node, c=None):
     if node == None or (node.name != "MethodDeclaration" and node.name != "ConstructorDeclaration"):
         self.mods = []
         self.type = None
         self.name = ""
         self.params = []
     else:
         self.mods = ast.get_modifiers(node.find_child("Modifiers"))
         if node.name == "ConstructorDeclaration":
             self.type = None
         else:
             self.type = c.get_type(node.find_child("Type"))
         self.name = node.find_child("Identifier").value.value
         self.params = c.get_parameters(node.find_child("Parameters"))
         node.obj = self
     if c != None and c.interface:
         self.mods.append("Abstract")
     self.node = node
     self.declared_in = c
コード例 #3
0
ファイル: typecheck.py プロジェクト: holdenli/CS-444
def typecheck_local_var_decl(node, c, method, t_i, c_i):
    type_node = node.find_child('Type')
    init_node = node.find_child('Initializer')

    if type_node == None or init_node == None:
        logging.error('FATAL ERROR: typecheck_var_decl')
        sys.exit(1)

    # Extract type from Type node.
    var_type = type_node.canon
    initializer_type = var_type

    if len(init_node.children) == 1:
        initializer_type = typecheck_expr(init_node[0], c, method, t_i, c_i)

    if is_assignable(var_type, initializer_type, c_i):
        node.typ = var_type
        return node.typ
    else:
        logging.error('Invalid initializer for variable of type %s to %s' % (initializer_type, var_type))
        sys.exit(42)