src/tipe.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 _TIPE_H_
#define _TIPE_H_

#include "cons.h"
#include "symtable.h"


@interface Tipe : Object {

}
- (BOOL) isAssignableFrom: (Tipe*) t;
- (BOOL) isAssignableTo:   (Tipe*) t;
- (BOOL) isEquivalentTo: (Tipe*) t;
- (void) explain;
@end

@interface ErrorTipe : Tipe 
@end

@interface PrimitiveTipe : Tipe {
  char *type;  
}
-(id)setName: (char *) t;   
-(char*) type_name;         
//-(void) type_name: (char* name);         ///< gets primitivies name
@end


@interface PointerTipe : Tipe {
  Tipe *type;  
}
-(id) init: (Tipe*) t;
-(Tipe*) type;
+(PointerTipe*) reference: (Tipe*) t;
+(Tipe*) deref: (Tipe*) t;
@end


@interface FunctionTipe : Tipe {
  Tipe *result;  
}
-(FunctionTipe*) init: (id) r;
-(Tipe*) result; 
@end


@interface Field : Object {
  Tipe *type;   
  char *name;   
}
-(id) init: (Tipe*) t;
-(Tipe*) type;
-(char*) field_name;
-(id) field_name: (char*) n;
-(BOOL) equiv: (id) i;
@end


@interface ContainerTipe : Tipe {
  Cons *fields;  
}
-(void) addField: (Field*) f;
-(void) addField: (Tipe*) t name: (char*) n;
-(Cons*) fields;
-(Tipe*) fieldType: (char*) n;
-(BOOL) hasField: (char*) n;
@end


@interface StructTipe : ContainerTipe
@end


@interface UnionTipe : ContainerTipe
@end


@interface ObjectTipe : ContainerTipe {
  ObjectTipe *parent;
  char *name;
  SymTable *methods;
}
-(void) parent: (id) p;
-(id) parent;
-(id) parentTipe: (int) level;
-(int) fieldOrder: (char*) f;
-(char*) classname;
-(void) classname: (char*) n;
-(void) method: (char*) msg;
-(BOOL) hasMethod: (char*) msg;
-(int) findMethod: (char*) msg;

@end

#endif

---