SVF::CxtStmtDPItem< LocCond > Class Template Reference

#include <DPItem.h>

Inheritance diagram for SVF::CxtStmtDPItem< LocCond >:

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

Private Attributes
ContextCond	context

Additional Inherited Members
Static Public Member Functions inherited from SVF::DPItem
static void	setMaxBudget (u32_t max)
	set max step budge per query More...
static u32_t	getMaxBudget ()
Protected Attributes inherited from SVF::StmtDPItem< LocCond >
const LocCond *	curloc
Protected Attributes inherited from SVF::DPItem
NodeID	cur
Static Protected Attributes inherited from SVF::DPItem
static u64_t	maximumBudget = ULONG_MAX - 1

Detailed Description

template<class LocCond>
class SVF::CxtStmtDPItem< LocCond >

Definition at line 389 of file DPItem.h.

Constructor & Destructor Documentation

CxtStmtDPItem() [1/2]

template<class LocCond >

SVF::CxtStmtDPItem< LocCond >::CxtStmtDPItem ( const CxtVar &  var, const LocCond *  locCond  )

inline

Constructor.

Definition at line 395 of file DPItem.h.

                                                             : StmtDPItem<LocCond>(var.get_id(),locCond), context(var.get_cond())
    {
    }

CxtStmtDPItem() [2/2]

template<class LocCond >

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

inline

Copy constructor.

Definition at line 399 of file DPItem.h.

                                                     :
        StmtDPItem<LocCond>(dps), context(dps.context)
    {
    }

~CxtStmtDPItem()

template<class LocCond >

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

inlinevirtual

Destructor.

Definition at line 404 of file DPItem.h.

    {
    }

Member Function Documentation

dump()

template<class LocCond >

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

inline

Definition at line 466 of file DPItem.h.

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

getCond() [1/2]

template<class LocCond >

ContextCond& SVF::CxtStmtDPItem< LocCond >::getCond ( )

inline

Get context.

Definition at line 419 of file DPItem.h.

    {
        return this->context;
    }

getCond() [2/2]

template<class LocCond >

const ContextCond& SVF::CxtStmtDPItem< LocCond >::getCond ( ) const

inline

Get context.

Definition at line 414 of file DPItem.h.

    {
        return this->context;
    }

getCondVar()

template<class LocCond >

CxtVar SVF::CxtStmtDPItem< LocCond >::getCondVar ( ) const

inline

Get context var.

Definition at line 408 of file DPItem.h.

    {
        CxtVar var(this->context,this->cur);
        return var;
    }

matchContext()

template<class LocCond >

bool SVF::CxtStmtDPItem< LocCond >::matchContext ( NodeID  cxt )

inline

Match context.

Definition at line 430 of file DPItem.h.

    {
        return this->context.matchContext(cxt);
    }

operator!=()

template<class LocCond >

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

inline

Overloading operator==.

Definition at line 462 of file DPItem.h.

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

operator<()

template<class LocCond >

bool SVF::CxtStmtDPItem< LocCond >::operator< ( const CxtStmtDPItem< 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 437 of file DPItem.h.

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

operator=()

template<class LocCond >

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

inline

Overloading operator=.

Definition at line 447 of file DPItem.h.

    {
        if(*this!=rhs)
        {
            StmtDPItem<LocCond>::operator=(rhs);
            this->context = rhs.getCond();
        }
        return *this;
    }

operator==()

template<class LocCond >

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

inline

Overloading operator==.

Definition at line 457 of file DPItem.h.

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

pushContext()

template<class LocCond >

bool SVF::CxtStmtDPItem< LocCond >::pushContext ( NodeID  cxt )

inline

Push context.

Definition at line 424 of file DPItem.h.

    {
        return this->context.pushContext(cxt);
    }

Member Data Documentation

context

template<class LocCond >

ContextCond SVF::CxtStmtDPItem< LocCond >::context

private

Definition at line 392 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