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 131 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 140 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 144 of file DPItem.h.

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

~StmtDPItem()

template<class LocCond >

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

inlinevirtual

Destructor.

Definition at line 149 of file DPItem.h.

    {
    }

Member Function Documentation

dump()

template<class LocCond >

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

inline

Definition at line 197 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 153 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 193 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 170 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 178 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 188 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 158 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 163 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 136 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