SVF::StmtDPItem< LocCond > Class Template Reference

#include <DPItem.h>

Inheritance diagram for SVF::StmtDPItem< LocCond >:

Public Member Functions
	StmtDPItem (NodeID c, const LocCond *locCond)
	Constructor.
	StmtDPItem (const StmtDPItem &dps)
	Copy constructor.
virtual	~StmtDPItem ()
	Destructor.
const LocCond *	getLoc () const
	Get context.
void	setLoc (const LocCond *l)
	Set location.
void	setLocVar (const LocCond *l, NodeID v)
	Set location and pointer id.
bool	operator< (const StmtDPItem &rhs) const
StmtDPItem &	operator= (const StmtDPItem &rhs)
	Overloading operator==.
bool	operator== (const StmtDPItem &rhs) const
	Overloading operator==.
bool	operator!= (const StmtDPItem &rhs) const
	Overloading operator!=.
void	dump () const
Public Member Functions inherited from SVF::DPItem
	DPItem (NodeID c)
	Constructor.
	DPItem (const DPItem &dps)
	Copy constructor.
	DPItem (DPItem &&dps) noexcept
	Move constructor.
DPItem &	operator= (DPItem &&rhs) noexcept
	Move operator=.
virtual	~DPItem ()
	Destructor.
NodeID	getCurNodeID () const
void	setCurNodeID (NodeID c)
bool	operator< (const DPItem &rhs) const
DPItem &	operator= (const DPItem &rhs)
	Overloading Operator=.
bool	operator== (const DPItem &rhs) const
	Overloading Operator==.
bool	operator!= (const DPItem &rhs) const
	Overloading Operator!=.
void	dump () const

Protected Attributes
const LocCond *	curloc
Protected Attributes inherited from SVF::DPItem
NodeID	cur

Additional Inherited Members
Static Public Member Functions inherited from SVF::DPItem
static void	setMaxBudget (u32_t max)
	set max step budge per query
static u32_t	getMaxBudget ()
Static Protected Attributes inherited from SVF::DPItem
static u64_t	maximumBudget = ULONG_MAX - 1

Detailed Description

template<class LocCond>
class SVF::StmtDPItem< LocCond >

FlowSensitive DPItem

Definition at line 132 of file DPItem.h.

Constructor & Destructor Documentation

StmtDPItem() [1/2]

template<class LocCond >

SVF::StmtDPItem< LocCond >::StmtDPItem ( NodeID  c, const LocCond *  locCond  )

inline

Constructor.

Definition at line 141 of file DPItem.h.

                                                 : DPItem(c), curloc(locCond)
    {
    }

StmtDPItem() [2/2]

template<class LocCond >

SVF::StmtDPItem< LocCond >::StmtDPItem ( const StmtDPItem< LocCond > &  dps )

inline

Copy constructor.

Definition at line 145 of file DPItem.h.

                                      :
        DPItem(dps), curloc(dps.curloc)
    {
    }

~StmtDPItem()

template<class LocCond >

virtual SVF::StmtDPItem< LocCond >::~StmtDPItem ( )

inlinevirtual

Destructor.

Definition at line 150 of file DPItem.h.

    {
    }

Member Function Documentation

dump()

template<class LocCond >

void SVF::StmtDPItem< LocCond >::dump ( ) const

inline

Definition at line 198 of file DPItem.h.

    {
        SVFUtil::outs() << "statement " << *(this->curloc)  << ", var " << this->cur << "\n";
    }

getLoc()

template<class LocCond >

const LocCond * SVF::StmtDPItem< LocCond >::getLoc ( ) const

inline

Get context.

Definition at line 154 of file DPItem.h.

    {
        return this->curloc;
    }

operator!=()

template<class LocCond >

bool SVF::StmtDPItem< LocCond >::operator!= ( const StmtDPItem< LocCond > &  rhs ) const

inline

Overloading operator!=.

Definition at line 194 of file DPItem.h.

    {
        return !(*this==rhs);
    }

operator<()

template<class LocCond >

bool SVF::StmtDPItem< LocCond >::operator< ( const StmtDPItem< LocCond > &  rhs ) const

inline

Enable compare operator to avoid duplicated item insertion in map or set to be noted that two vectors can also overload operator()

Definition at line 171 of file DPItem.h.

    {
        if (this->cur != rhs.cur)
            return this->cur < rhs.cur;
        else
            return this->curloc < rhs.curloc;
    }

operator=()

template<class LocCond >

StmtDPItem & SVF::StmtDPItem< LocCond >::operator= ( const StmtDPItem< LocCond > &  rhs )

inline

Overloading operator==.

Definition at line 179 of file DPItem.h.

    {
        if(*this!=rhs)
        {
            DPItem::operator=(rhs);
            this->curloc = rhs.getLoc();
        }
        return *this;
    }

operator==()

template<class LocCond >

bool SVF::StmtDPItem< LocCond >::operator== ( const StmtDPItem< LocCond > &  rhs ) const

inline

Overloading operator==.

Definition at line 189 of file DPItem.h.

    {
        return (this->cur == rhs.cur && this->curloc == rhs.getLoc());
    }

setLoc()

template<class LocCond >

void SVF::StmtDPItem< LocCond >::setLoc ( const LocCond *  l )

inline

Set location.

Definition at line 159 of file DPItem.h.

    {
        this->curloc = l;
    }

setLocVar()

template<class LocCond >

void SVF::StmtDPItem< LocCond >::setLocVar ( const LocCond *  l, NodeID  v  )

inline

Set location and pointer id.

Definition at line 164 of file DPItem.h.

    {
        this->curloc = l;
        this->cur = v;
    }

Member Data Documentation

curloc

template<class LocCond >

const LocCond* SVF::StmtDPItem< LocCond >::curloc

protected

Definition at line 137 of file DPItem.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/Util/DPItem.h