C-Breeze
C Compiler Infrastructure

[ Project home page]
Main Page | Modules | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Namespace Members | Class Members | File Members | Related Pages
u / abrown / src / cbz / c-breeze.cs380c.spr2006 / src / pointers

unification.h File Reference

#include "c_breeze.h"

Go to the source code of this file.

Defines

#define T_bottom   UnifyType::bottom()
#define L_bottom   Lambda::bottom()
#define is_Sim_Obj(t)   assert(t->objTyp()==SIMPLE || t->objTyp()==OBJECT)
#define Sim_Obj_Size(t)   (t->objTyp()==SIMPLE ? t->simple()->s : t->object()->s)
#define Sim_Obj_Lambda(t)   (t->objTyp()==SIMPLE ? t->simple()->lambda : t->object()->lambda)
#define Sim_Obj_Alpha(t)   ((t->objTyp()==SIMPLE) ? t->simple()->alpha : t->object()->alpha)

Typedefs

typedef set< declNode * > declSet
typedef list< declSet > FieldOrder
typedef list< typeNode * > FieldTypeOrder
typedef map< declSet, Unify_ECR * > EltMap
typedef Unify_Simple Unify_Simple
typedef Unify_Structure Unify_Structure
typedef Unify_Object Unify_Object
typedef Unify_Blank Unify_Blank
typedef set< Unify_Pending
* >::iterator 		Pendings_p
typedef set< UnifyType * > UnifyTypes

Enumerations

enum  Object_Typ {
  BOTTOM, SIMPLE, STRUCTURE, OBJECT,
  BLANK
}

Define Documentation

#define is_Sim_Obj (  t   )     assert(t->objTyp()==SIMPLE || t->objTyp()==OBJECT)
 

Definition at line 510 of file unification.h.

#define L_bottom   Lambda::bottom()
 

Definition at line 332 of file unification.h.

#define Sim_Obj_Alpha (  t   )     ((t->objTyp()==SIMPLE) ? t->simple()->alpha : t->object()->alpha)
 

Definition at line 514 of file unification.h.

#define Sim_Obj_Lambda (  t   )     (t->objTyp()==SIMPLE ? t->simple()->lambda : t->object()->lambda)
 

Definition at line 512 of file unification.h.

#define Sim_Obj_Size (  t   )     (t->objTyp()==SIMPLE ? t->simple()->s : t->object()->s)
 

Definition at line 511 of file unification.h.

#define T_bottom   UnifyType::bottom()
 

Definition at line 331 of file unification.h.

Typedef Documentation

typedef set<declNode*> declSet
 

Definition at line 151 of file unification.h.

typedef map<declSet,Unify_ECR*> EltMap
 

Definition at line 154 of file unification.h.

typedef list<declSet> FieldOrder
 

Definition at line 152 of file unification.h.

typedef list<typeNode*> FieldTypeOrder
 

Definition at line 153 of file unification.h.

typedef set<Unify_Pending*>::iterator Pendings_p
 

Definition at line 368 of file unification.h.

typedef struct Unify_Blank Unify_Blank
 

typedef struct Unify_Object Unify_Object
 

typedef struct Unify_Simple Unify_Simple
 

typedef struct Unify_Structure Unify_Structure
 

typedef set<UnifyType*> UnifyTypes
 

Definition at line 369 of file unification.h.

Enumeration Type Documentation

enum Object_Typ
 

Enumeration values:
BOTTOM 
SIMPLE 
STRUCTURE 
OBJECT 
BLANK 

Definition at line 224 of file unification.h.


Generated on February 1, 2006
Back to the C-Breeze home page