OA::ReachConsts::ConstDefSet Class Reference

Set of ConstDef* (intended for use with CFGDFProblem, core data. More...

#include <ReachConstsStandard.hpp>

Inheritance diagram for OA::ReachConsts::ConstDefSet:

[legend]

Collaboration diagram for OA::ReachConsts::ConstDefSet:

[legend]

List of all members.

Public Member Functions
	ConstDefSet ()
	ConstDefSet (ConstDefType defaultType)
	ConstDefSet (const ConstDefSet &other)
	~ConstDefSet ()
void	output (IRHandlesIRInterface &ir)
ConstDefSet &	operator= (const ConstDefSet &other)
OA_ptr< DataFlow::DataFlowSet >	clone ()
void	insert (OA_ptr< ConstDef > h)
void	remove (OA_ptr< ConstDef > h)
int	insertANDtell (OA_ptr< ConstDef > h)
int	removeANDtell (OA_ptr< ConstDef > h)
void	replace (OA_ptr< Location > locPtr, OA_ptr< ConstValBasicInterface > constPtr, ConstDefType cdType)
	replace any ConstDef in mSet with location locPtr
void	replace (OA_ptr< ConstDef > cd)
bool	operator== (DataFlow::DataFlowSet &other) const
	operator == for a ConstDefSet cannot rely upon the == operator for the
bool	operator!= (DataFlow::DataFlowSet &other) const
bool	operator== (const ConstDefSet &other) const
	need this one for stl containers
bool	empty () const
OA_ptr< ConstDef >	find (OA_ptr< Location > locPtr) const
std::string	toString (OA_ptr< IRHandlesIRInterface > pIR)
	Return a string representing the contents of a ConstDefSet.
void	dump (std::ostream &os, OA_ptr< IRHandlesIRInterface > pIR)
void	dump (std::ostream &os)
ConstDefType	getDefaultConstDef () const
	DefaultConstDef is used for ManagerICFGReachConst.
void	setDefaultConstDef (ConstDefType cdt)
	For construction purposes only, DefaultConstType only TOP or BOTTOM.
Protected Attributes
OA_ptr< std::set< OA_ptr < ConstDef > > >	mSet
Private Attributes
ConstDefType	mDefaultType
Friends
class	ConstDefSetIterator

Detailed Description

Set of ConstDef* (intended for use with CFGDFProblem, core data.

Definition at line 121 of file ReachConstsStandard.hpp.

Constructor & Destructor Documentation

OA::ReachConsts::ConstDefSet::ConstDefSet ( ) [inline]

Definition at line 128 of file ReachConstsStandard.hpp.

References mSet.

Referenced by clone().

OA::ReachConsts::ConstDefSet::ConstDefSet ( ConstDefType defaultType ) [inline]

Definition at line 129 of file ReachConstsStandard.hpp.

References mSet.

OA::ReachConsts::ConstDefSet::ConstDefSet ( const ConstDefSet & other ) [inline]

Definition at line 131 of file ReachConstsStandard.hpp.

OA::ReachConsts::ConstDefSet::~ConstDefSet ( ) [inline]

Definition at line 133 of file ReachConstsStandard.hpp.

Member Function Documentation

OA_ptr<DataFlow::DataFlowSet> OA::ReachConsts::ConstDefSet::clone ( ) [inline, virtual]

Implements OA::DataFlow::DataFlowSet.

Definition at line 148 of file ReachConstsStandard.hpp.

References ConstDefSet(), mDefaultType, and mSet.

Here is the call graph for this function:

void OA::ReachConsts::ConstDefSet::dump ( std::ostream & os ) [inline, virtual]

Implements OA::DataFlow::DataFlowSet.

Definition at line 198 of file ReachConstsStandard.hpp.

void OA::ReachConsts::ConstDefSet::dump	(	std::ostream &	os,
		OA_ptr< IRHandlesIRInterface >	pIR
	)			`[inline, virtual]`

Implements OA::DataFlow::DataFlowSet.

Definition at line 195 of file ReachConstsStandard.hpp.

References toString().

Here is the call graph for this function:

bool OA::ReachConsts::ConstDefSet::empty ( ) const [inline]

Definition at line 186 of file ReachConstsStandard.hpp.

References mSet.

OA_ptr< ConstDef > OA::ReachConsts::ConstDefSet::find ( OA_ptr< Location > locPtr ) const

Return pointer to a copy of a ConstDef in this set with matching locPtr NULL is returned if no ConstDef in this set matches locPtr

find the ConstDef in this ConstDefSet with the given location (should be at most one) return a ptr to that ConstDef

Definition at line 264 of file ReachConstsStandard.cpp.

References mSet, and OA::ReachConsts::TOP.

Referenced by OA::ReachConsts::ManagerReachConstsStandard::setDefMemRef2Const(), OA::ReachConsts::ManagerICFGReachConsts::setDefMemRef2Const(), OA::ReachConsts::ManagerReachConstsStandard::setUseMemRef2Const(), and OA::ReachConsts::ManagerICFGReachConsts::setUseMemRef2Const().

ConstDefType OA::ReachConsts::ConstDefSet::getDefaultConstDef ( ) const [inline]

DefaultConstDef is used for ManagerICFGReachConst.

Definition at line 201 of file ReachConstsStandard.hpp.

References mDefaultType.

void OA::ReachConsts::ConstDefSet::insert ( OA_ptr< ConstDef > h ) [inline]

Definition at line 159 of file ReachConstsStandard.hpp.

References mSet.

Referenced by OA::ReachConsts::ManagerReachConstsStandard::meet(), OA::ReachConsts::ManagerICFGReachConsts::meet(), and replace().

int OA::ReachConsts::ConstDefSet::insertANDtell ( OA_ptr< ConstDef > h ) [inline]

Definition at line 161 of file ReachConstsStandard.hpp.

References mSet.

Referenced by replace().

bool OA::ReachConsts::ConstDefSet::operator!= ( DataFlow::DataFlowSet & other ) const [inline]

Definition at line 179 of file ReachConstsStandard.hpp.

ConstDefSet& OA::ReachConsts::ConstDefSet::operator= ( const ConstDefSet & other ) [inline]

After the assignment operation, the lhs ConstDefSet will point to the same instances of ConstDef's that the rhs points to. Use clone if you want separate instances of the ConstDef's

Definition at line 142 of file ReachConstsStandard.hpp.

References mDefaultType, and mSet.

bool OA::ReachConsts::ConstDefSet::operator== ( const ConstDefSet & other ) const [inline]

need this one for stl containers

Definition at line 183 of file ReachConstsStandard.hpp.

References operator==().

Here is the call graph for this function: