Associates a location pointer with a constValBasic pointer. More...

#include <ReachConstsStandard.hpp>

Inheritance diagram for OA::ReachConsts::ConstDef:

Collaboration diagram for OA::ReachConsts::ConstDef:

Public Member Functions
	ConstDef (OA_ptr< Location > locP, OA_ptr< ConstValBasicInterface > cvbP, ConstDefType cdType)

	ConstDef (OA_ptr< Location > locP, OA_ptr< ConstValBasicInterface > cvbP)

	ConstDef (OA_ptr< Location > locP, ConstDefType cdType)

	ConstDef (OA_ptr< Location > locP)

	ConstDef (ConstDef &other)

	ConstDef ()

	~ConstDef ()

OA_ptr< Location >	getLocPtr () const

OA_ptr< ConstValBasicInterface >	getConstPtr () const

ConstDefType	getConstDefType () const

ConstDef &	operator= (const ConstDef &other)

OA_ptr< ConstDef >	clone ()
	not doing a deep copy More...

void	output (IRHandlesIRInterface &pIR)

bool	operator== (const ConstDef &other) const
	operator== just compares content of locPtr More...

bool	equiv (const ConstDef &other)
	method equiv compares all parts of ConstDef as appropriate More...

bool	operator!= (const ConstDef &other) const

bool	operator< (const ConstDef &other) const

bool	sameLoc (const ConstDef &other) const

std::string	toString (OA_ptr< IRHandlesIRInterface > pIR)
	Return a string that contains a character representation of. More...

void	dump (std::ostream &os, OA_ptr< IRHandlesIRInterface > pIR)

Public Member Functions inherited from OA::Annotation
	Annotation ()

virtual	~Annotation ()

Private Attributes
OA_ptr< Location >	mLocPtr

OA_ptr< ConstValBasicInterface >	mConstPtr

ConstDefType	mCDType

Additional Inherited Members
Static Public Member Functions inherited from OA::Annotation
static void	configOutput (OA_ptr< OutputBuilder > ob)

Static Protected Attributes inherited from OA::Annotation
static OA_ptr< OutputBuilder >	sOutBuild

Detailed Description

Associates a location pointer with a constValBasic pointer.

Definition at line 56 of file ReachConstsStandard.hpp.

Constructor & Destructor Documentation

OA::ReachConsts::ConstDef::ConstDef	(	OA_ptr< Location >	locP,
		OA_ptr< ConstValBasicInterface >	cvbP,
		ConstDefType	cdType
	)

ConstDef constructor: using given location and given constant and given ConstDefType. Use with caution as ConstDefType indicates ConstValBasicInterface usage in other routines.

Definition at line 31 of file ReachConstsStandard.cpp.

References OA::ReachConsts::debug, mCDType, mConstPtr, mLocPtr, and OA_DEBUG_CTRL_MACRO.

OA::ReachConsts::ConstDef::ConstDef	(	OA_ptr< Location >	locP,
		OA_ptr< ConstValBasicInterface >	cvbP
	)

ConstDef constructor: using given location and given constant and default ConstDefType VALUE.

Definition at line 43 of file ReachConstsStandard.cpp.

References mCDType, mConstPtr, mLocPtr, OA::OA_ptr< T >::ptrEqual(), OA::ReachConsts::TOP, and OA::ReachConsts::VALUE.

Here is the call graph for this function:

OA::ReachConsts::ConstDef::ConstDef	(	OA_ptr< Location >	locP,
		ConstDefType	cdType
	)

ConstDef constructor: using given location and given ConstDefType and default ConstValBasicInterface of 0. Correct usage only involves a ConstDefType of TOP or BOTTOM. Using VALUE causes an assertion failure.

Definition at line 58 of file ReachConstsStandard.cpp.

References mCDType, mConstPtr, mLocPtr, and OA::ReachConsts::VALUE.

OA::ReachConsts::ConstDef::ConstDef ( OA_ptr< Location > locP)

ConstDef constructor: using given location and default ConstDefType of TOP and default ConstValBasicInterface of 0.

Definition at line 69 of file ReachConstsStandard.cpp.

References mCDType, mConstPtr, mLocPtr, and OA::ReachConsts::TOP.

OA::ReachConsts::ConstDef::ConstDef ( ConstDef & other)

inline

Definition at line 66 of file ReachConstsStandard.hpp.

OA::ReachConsts::ConstDef::ConstDef ( )

inline

Definition at line 69 of file ReachConstsStandard.hpp.

Referenced by clone().

OA::ReachConsts::ConstDef::~ConstDef ( )

inline

Definition at line 70 of file ReachConstsStandard.hpp.

Member Function Documentation

OA_ptr<ConstDef> OA::ReachConsts::ConstDef::clone ( )

inline

not doing a deep copy

Definition at line 81 of file ReachConstsStandard.hpp.

References ConstDef().

Here is the call graph for this function:

void OA::ReachConsts::ConstDef::dump	(	std::ostream &	os,
		OA_ptr< IRHandlesIRInterface >	pIR
	)

inline

Definition at line 107 of file ReachConstsStandard.hpp.

References toString().

Referenced by OA::ReachConsts::ManagerICFGReachConsts::callerToCallee().

Here is the call graph for this function:

bool OA::ReachConsts::ConstDef::equiv ( const ConstDef & other)

method equiv compares all parts of ConstDef as appropriate

Equality method for ConstDef. If locations are equal and const types are equal, then true for TOP or BOTTOM. If locations are equal and const types are both VALUE, then true when actual const values are equal. False otherwise.

Definition at line 109 of file ReachConstsStandard.cpp.

References OA::ReachConsts::BOTTOM, getConstDefType(), getConstPtr(), getLocPtr(), mCDType, mConstPtr, mLocPtr, OA::ReachConsts::TOP, and OA::ReachConsts::VALUE.

Here is the call graph for this function: