C-Breeze
C Compiler Infrastructure

[ Project home page]

Unify_ECR Class Reference

#include <unification.h>

List of all members.

Public Member Functions

 Unify_ECR (declNode *v, procNode *p)
 Unify_ECR (UnifyType *t)
declNode * var () const
void var (declNode *d)
procNode * proc () const
void proc (procNode *p)
Unify_ECR * parent () const
void parent (Unify_ECR *p)
Unify_ECR * root ()
Unify_Pendings & pending ()
int id () const
bool operator== (Unify_ECR &other)
Unify_ECR * Union (Unify_ECR *other)
decl_list all_decls () const
UnifyType * type ()
void type (UnifyType *t)
void print ()

Static Public Member Functions

static set< Unify_ECR * > allECR ()

Protected Attributes

REF declNode * _var
REF procNode * _proc
REF Unify_ECR * _parent
REF Unify_ECR * _root
int _ndecestors
set< Unify_ECR * > _children
Unify_Pendings _pending
TREE int _id
TREE UnifyType * _type

Static Protected Attributes

static int id_count
static set< Unify_ECR * > all_ECR

Friends

ostream & operator<< (ostream &o, Unify_ECR &ecr)


Constructor & Destructor Documentation

Unify_ECR::Unify_ECR (  declNode *  v,
procNode *  p
) 
 

Unify_ECR::Unify_ECR (  UnifyType *  t  ) 
 


Member Function Documentation

decl_list Unify_ECR::all_decls (   )  const
 

static set<Unify_ECR*> Unify_ECR::allECR (   )  [inline, static]
 

Definition at line 109 of file unification.h.

References all_ECR.

int Unify_ECR::id (   )  const [inline]
 

Definition at line 99 of file unification.h.

References _id.

bool Unify_ECR::operator== (  Unify_ECR &  other  )  [inline]
 

Definition at line 100 of file unification.h.

References root().

void Unify_ECR::parent (  Unify_ECR *  p  )  [inline]
 

Definition at line 96 of file unification.h.

References _parent, and _root.

Unify_ECR* Unify_ECR::parent (   )  const [inline]
 

Definition at line 95 of file unification.h.

References _parent.

Unify_Pendings& Unify_ECR::pending (   )  [inline]
 

Definition at line 98 of file unification.h.

References _pending.

void Unify_ECR::print (   ) 
 

void Unify_ECR::proc (  procNode *  p  )  [inline]
 

Definition at line 94 of file unification.h.

References _proc.

procNode* Unify_ECR::proc (   )  const [inline]
 

Definition at line 93 of file unification.h.

References _proc.

Unify_ECR* Unify_ECR::root (   ) 
 

Referenced by UnifyType::ecr(), and operator==().

void Unify_ECR::type (  UnifyType *  t  ) 
 

UnifyType* Unify_ECR::type (   ) 
 

Referenced by Alpha::equal().

Unify_ECR* Unify_ECR::Union (  Unify_ECR *  other  ) 
 

void Unify_ECR::var (  declNode *  d  )  [inline]
 

Definition at line 92 of file unification.h.

References _var.

declNode* Unify_ECR::var (  void   )  const [inline]
 

Definition at line 91 of file unification.h.

References _var.


Friends And Related Function Documentation

ostream& operator<< (  ostream &  o,
Unify_ECR &  ecr
)  [friend]
 

Definition at line 106 of file unification.h.


Member Data Documentation

set<Unify_ECR*> Unify_ECR::_children [protected]
 

Definition at line 79 of file unification.h.

TREE int Unify_ECR::_id [protected]
 

Definition at line 81 of file unification.h.

Referenced by id().

int Unify_ECR::_ndecestors [protected]
 

Definition at line 78 of file unification.h.

REF Unify_ECR* Unify_ECR::_parent [protected]
 

Definition at line 77 of file unification.h.

Referenced by parent().

Unify_Pendings Unify_ECR::_pending [protected]
 

Definition at line 80 of file unification.h.

Referenced by pending().

REF procNode* Unify_ECR::_proc [protected]
 

Definition at line 76 of file unification.h.

Referenced by proc().

REF Unify_ECR * Unify_ECR::_root [protected]
 

Definition at line 77 of file unification.h.

Referenced by parent().

TREE UnifyType* Unify_ECR::_type [protected]
 

Definition at line 82 of file unification.h.

REF declNode* Unify_ECR::_var [protected]
 

Definition at line 75 of file unification.h.

Referenced by var().

set<Unify_ECR*> Unify_ECR::all_ECR [static, protected]
 

Definition at line 85 of file unification.h.

Referenced by allECR().

int Unify_ECR::id_count [static, protected]
 

Definition at line 84 of file unification.h.


The documentation for this class was generated from the following file:

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