Main Page Modules Namespace List Class Hierarchy Alphabetical List Compound List File List Namespace Members Compound Members File Members Related Pages
Unify_ECR Class Reference#include <unification.h>
List of all members.
Constructor & Destructor Documentation
|
Definition at line 562 of file unification.cc.
References _type, all_ECR, Array, UnifyType::ecr(), declNode::init(), Initializer, Unify_Size::sizeOf(), Node::typ(), typeNode::type(), declNode::type(), and Unify_Blank. |
Member Function Documentation
set<Unify_ECR*> Unify_ECR::allECR |
( |
|
) |
[inline, static] |
|
int Unify_ECR::id |
( |
|
) |
const [inline] |
|
bool Unify_ECR::operator== |
( |
Unify_ECR & |
other |
) |
[inline] |
|
void Unify_ECR::parent |
( |
Unify_ECR * |
p |
) |
[inline] |
|
Unify_ECR* Unify_ECR::parent |
( |
|
) |
const [inline] |
|
void Unify_ECR::print |
( |
|
) |
|
|
|
Definition at line 640 of file unification.cc.
References _parent, _pending, _type, Unify_Pending::cjoin, Unify_Pendings::empty(), huge_pending, id(), Pendings_p, root(), Unify_Pendings::set(), Unify_Pendings::size(), and type().
Referenced by UnificationBasedPtr::print_ecr(). |
void Unify_ECR::proc |
( |
procNode * |
p |
) |
[inline] |
|
procNode* Unify_ECR::proc |
( |
|
) |
const [inline] |
|
Unify_ECR * Unify_ECR::root |
( |
|
) |
|
|
|
Definition at line 592 of file unification.cc.
References _parent, and _root.
Referenced by UnificationBasedPtr::at_proc(), UnificationBasedPtr::cjoin(), Unify_Pendings::cleanup(), UnifyType::ecr(), UnificationBasedPtr::ecr1(), Unify_Pendings::insert(), UnificationBasedPtr::join(), UnificationBasedPtr::make_compatible(), operator==(), print(), type(), UnificationBasedPtr::unify(), and Union(). |
|
Definition at line 581 of file unification.cc.
References _type, and root().
Referenced by Pointers::assignment_operator(), UnificationBasedPtr::at_allocation(), UnificationBasedPtr::at_call(), UnificationBasedPtr::at_decl(), UnificationBasedPtr::at_initializer(), UnificationBasedPtr::at_proc(), UnificationBasedPtr::at_threeAddr(), UnificationBasedPtr::cjoin(), Unify_Pendings::cleanup(), UnificationBasedPtr::collapse(), memoryModel::create_memory_object(), UnificationBasedPtr::createProcBlock(), Pointers::dot_operator(), UnificationBasedPtr::ecr(), UnificationBasedPtr::ecrDeref(), UnificationBasedPtr::ecrField(), UnificationBasedPtr::ensure_no_bottom(), UnificationBasedPtr::ensure_sim_obj(), UnificationBasedPtr::ensure_struct_obj(), Alpha::equal(), Lambda::equal(), UnificationBasedPtr::expand(), UnificationBasedPtr::finalize(), memoryModel::generate_array_elements_for(), memoryModel::initialize_struct(), Unify_Pendings::insert(), UnificationBasedPtr::join(), Alpha::leq(), memoryModel::lookup_string_constant(), UnificationBasedPtr::mergeOperand(), print(), Lambda::print(), Alpha::print(), UnificationBasedPtr::print_ecr(), UnificationBasedPtr::promote(), UnificationBasedPtr::settype(), Pointers::star_operator(), type(), and UnificationBasedPtr::unify(). |
Unify_ECR * Unify_ECR::Union |
( |
Unify_ECR * |
other |
) |
|
|
void Unify_ECR::var |
( |
declNode * |
d |
) |
[inline] |
|
declNode* Unify_ECR::var |
( |
void |
|
) |
const [inline] |
|
Friends And Related Function Documentation
ostream& operator<< |
( |
ostream & |
o, |
|
|
Unify_ECR & |
ecr |
|
) |
[friend] |
|
Member Data Documentation
set<Unify_ECR*> Unify_ECR::_children [protected]
|
|
TREE int Unify_ECR::_id [protected]
|
|
int Unify_ECR::_ndecestors [protected]
|
|
REF Unify_ECR* Unify_ECR::_parent [protected]
|
|
REF procNode* Unify_ECR::_proc [protected]
|
|
REF Unify_ECR * Unify_ECR::_root [protected]
|
|
REF declNode* Unify_ECR::_var [protected]
|
|
set< Unify_ECR * > Unify_ECR::all_ECR [static, protected]
|
|
int Unify_ECR::id_count = 0 [static, protected]
|
|
The documentation for this class was generated from the following files:
|