src/typecheck.h

Go to the documentation of this file.

/* -*- Mode: objc; c-basic-offset: 2; tab-width: 2 indent-tabs-mode: nil -*- */
/* vim: set filetype=objc ts=2 sw=2 expandtab: */

/*
 * Copyright (C) 2007 Neil Dantam
 *               2007 Jeff Seibert
 *
 * This program is free software: you can redistribute it and/or modify it
 * under the terms of the GNU General Public License, verson 3 ONLY, as
 * published by the Free Software Foundation.
 * 
 * This program is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
 * more details.
 * 
 * You should have received a copy of the GNU General Public License along with
 * this program.  If not, see <http://www.gnu.org/licenses/>.
 */


#ifndef _TYPECHECK_H_
#define _TYPECHECK_H_
#include "scope.h"

@interface ClassType : Object{
  BOOL seenInterface;        
  BOOL seenImplementation;   
  SymTable *fields;          
  SymTable *instMethods;     
  SymTable *classMethods;    
  Interface *iface;          
  Implementation *impl;      
  ClassType *parent;         
  ObjectTipe *tipe;        
}

-(void) setInterface: (Interface*) i;
-(void) setImplementation: (Implementation*) i;
-(void) setSuper: (ClassType*) i;
-(void) addField: (char*) f tipe: (Tipe*) t;
-(void) addInstMethods: (char *) n : (Method *) m;
-(void) addClassMethods: (char *) n : (Method *) m;
-(char*) classname;
-(ObjectTipe*) tipe;
-(Implementation*) impl;
-(Interface*) iface;
-(int) findField: (char*) f;

-(BOOL) hasField: (char*) f;
-(ClassType*) parent;
-(BOOL) hasClassMethod: (char*) m;
-(Method*) getClassMethod: (char*) m;

-(Method*) findClassMethod: (char *) method;
@end
/*
@interface MethodType {
  SymTable *args;
  Method *method;
  SymTable *locals;
}
@end
*/


typedef struct {
  Klass *klass;
  ClassType *ct;
  BOOL namespaced;
} check_context;

@interface DeclReg : Object {
  id o;
}
-(id) init: (id) i;
-(void) reg: (Tipe*) t id: (char*) i;
-(void) regFormal: (Tipe*) t id: (char*) i;
@end

@interface ClassReg : DeclReg {
  ClassType *ct;
}
@end

@interface ScopeReg : DeclReg {
  Scope *s;
}
@end

@interface ContainerReg : DeclReg {
  ContainerTipe *cn;
}
@end


@interface SymTableReg : DeclReg {
  SymTable *table;
}
@end

@interface FormalReg : DeclReg {
  Scope *local; 
  Scope *global; 
}
-(id) init: (id) l: (id) g;
@end

@interface FormalWrapReg : DeclReg {
  FormalReg *fr; 
}
-(id) init: (id) f;
@end

@interface NullReg : DeclReg
@end


@interface ASTNode (TypeCheck)
-(ASTNode*) check;//: (check_context*) context;
//-(void) checkVar: (ClassType*) ct;
-(void) checkMethod: (Klass*) k;
-(Tipe*) checkDecl: (Tipe*) base reg: (DeclReg*) r;
-(Tipe*) checkExpr: (ASTNode**) node;// context: (check_context*) context ;
-(Tipe*) genTipe;
@end


extern SymTable *classEnv;
        
#endif

---