ECR Class Reference

#include <steensgaard.h>

Inheritance diagram for ECR:

Collaboration diagram for ECR:

Public Member Functions
	ECR ()
	~ECR ()
ECR *	union_with (ECR *that)
ECR *	get_ecr ()
ECR *	get_type ()
void	set_type (ECR *that)
std::list< ECR * > &	get_pending ()
Lambda *	get_lambda ()
void	set_lambda (Lambda *l)

Private Member Functions
ECR *	find_group ()

Private Attributes
ECR *	type
Lambda *	lambda
std::list< ECR * >	pending

Detailed Description

Definition at line 22 of file steensgaard.h.

Constructor & Destructor Documentation

ECR::ECR ( )

inline

Definition at line 32 of file steensgaard.h.

ECR::~ECR ( )

inline

Definition at line 33 of file steensgaard.h.

Member Function Documentation

ECR* ECR::find_group ( )

inlineprivate

Definition at line 27 of file steensgaard.h.

Referenced by get_ecr(), get_pending(), get_type(), and set_type().

ECR* ECR::union_with ( ECR *  that)

inline

Definition at line 35 of file steensgaard.h.

Referenced by ECRmap::join().

ECR* ECR::get_ecr ( )

inline

Definition at line 40 of file steensgaard.h.

References find_group().

Referenced by ECRmap::function_call_p(), ECRmap::join(), and ECRmap::output().

ECR* ECR::get_type ( )

inline

Definition at line 41 of file steensgaard.h.

References find_group(), and type.

Referenced by ECRmap::allocate(), ECRmap::cjoin(), ECRmap::deref_x_eq_y(), ECRmap::function_call_p(), ECRmap::function_def_x(), ECRmap::get_ECR(), ECRmap::join(), ECRmap::outputLOC(), ECRmap::set_type(), ECRmap::x_eq_addr_y(), ECRmap::x_eq_deref_y(), ECRmap::x_eq_op_y(), and ECRmap::x_eq_y().

void ECR::set_type ( ECR *  that)

inline

Definition at line 45 of file steensgaard.h.

References find_group(), and type.

Referenced by ECRmap::get_ECR(), ECRmap::join(), and ECRmap::set_type().

std::list<ECR*>& ECR::get_pending ( )

inline

Definition at line 49 of file steensgaard.h.

References find_group(), and pending.

Referenced by ECRmap::cjoin(), ECRmap::join(), ECRmap::outputLOC(), and ECRmap::set_type().

Lambda* ECR::get_lambda ( )

inline

Definition at line 50 of file steensgaard.h.

References lambda.

Referenced by ECRmap::function_call_p(), ECRmap::function_def_x(), ECRmap::join(), ECRmap::outputLOC(), and ECRmap::unify().

void ECR::set_lambda ( Lambda *  l)

inline

Definition at line 51 of file steensgaard.h.

References lambda.

Referenced by ECRmap::function_call_p(), ECRmap::function_def_x(), and ECRmap::join().

Member Data Documentation

ECR* ECR::type

private

Definition at line 24 of file steensgaard.h.

Referenced by get_type(), and set_type().

Lambda* ECR::lambda

private

Definition at line 25 of file steensgaard.h.

Referenced by get_lambda(), and set_lambda().

std::list<ECR *> ECR::pending

private

Definition at line 26 of file steensgaard.h.

Referenced by get_pending().

---

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

• steensgaard.h