SVF::CxtThreadStmt Class Reference

#include <CxtStmt.h>

Inheritance diagram for SVF::CxtThreadStmt:

Public Member Functions
	CxtThreadStmt (NodeID t, const CallStrCxt &c, const ICFGNode *f)
	Constructor. More...
	CxtThreadStmt (const CxtThreadStmt &ctm)
	Copy constructor. More...
virtual	~CxtThreadStmt ()
	Destructor. More...
NodeID	getTid () const
	Return current context. More...
bool	operator< (const CxtThreadStmt &rhs) const
CxtThreadStmt &	operator= (const CxtThreadStmt &rhs)
	Overloading operator=. More...
bool	operator== (const CxtThreadStmt &rhs) const
	Overloading operator==. More...
bool	operator!= (const CxtThreadStmt &rhs) const
	Overloading operator==. More...
void	dump () const
	Dump CxtThreadStmt. More...
Public Member Functions inherited from SVF::CxtStmt
	CxtStmt (const CallStrCxt &c, const ICFGNode *f)
	Constructor. More...
	CxtStmt (const CxtStmt &ctm)
	Copy constructor. More...
virtual	~CxtStmt ()
	Destructor. More...
const CallStrCxt &	getContext () const
	Return current context. More...
const ICFGNode *	getStmt () const
	Return current statement. More...
bool	operator< (const CxtStmt &rhs) const
CxtStmt &	operator= (const CxtStmt &rhs)
	Overloading operator=. More...
bool	operator== (const CxtStmt &rhs) const
	Overloading operator==. More...
bool	operator!= (const CxtStmt &rhs) const
	Overloading operator==. More...
std::string	cxtToStr () const
	Return context in string format. More...
void	dump () const
	Dump CxtStmt. More...

Private Attributes
NodeID	tid

Additional Inherited Members
Protected Attributes inherited from SVF::CxtStmt
CallStrCxt	cxt
const ICFGNode *	inst

Detailed Description

Context-sensitive thread statement <t,c,s>

Definition at line 124 of file CxtStmt.h.

Constructor & Destructor Documentation

CxtThreadStmt() [1/2]

SVF::CxtThreadStmt::CxtThreadStmt ( NodeID  t, const CallStrCxt &  c, const ICFGNode *  f  )

inline

Constructor.

Definition at line 128 of file CxtStmt.h.

                                                                    :CxtStmt(c,f), tid(t)
    {
    }

CxtThreadStmt() [2/2]

SVF::CxtThreadStmt::CxtThreadStmt ( const CxtThreadStmt &  ctm )

inline

Copy constructor.

Definition at line 132 of file CxtStmt.h.

                                            :CxtStmt(ctm), tid(ctm.getTid())
    {
    }

~CxtThreadStmt()

virtual SVF::CxtThreadStmt::~CxtThreadStmt ( )

inlinevirtual

Destructor.

Definition at line 136 of file CxtStmt.h.

    {
    }

Member Function Documentation

dump()

void SVF::CxtThreadStmt::dump ( ) const

inline

Dump CxtThreadStmt.

Definition at line 176 of file CxtStmt.h.

    {
        SVFUtil::outs() << "[ Current Thread id: " << tid << "  Stmt: " << inst->toString() << "\t Contexts: " << cxtToStr() << "  ]\n";
    }

getTid()

NodeID SVF::CxtThreadStmt::getTid ( ) const

inline

Return current context.

Definition at line 140 of file CxtStmt.h.

    {
        return tid;
    }

operator!=()

bool SVF::CxtThreadStmt::operator!= ( const CxtThreadStmt &  rhs ) const

inline

Overloading operator==.

Definition at line 171 of file CxtStmt.h.

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

operator<()

bool SVF::CxtThreadStmt::operator< ( const CxtThreadStmt &  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 146 of file CxtStmt.h.

    {
        if (tid != rhs.getTid())
            return tid < rhs.getTid();
        else if(inst!=rhs.getStmt())
            return inst < rhs.getStmt();
        else
            return cxt < rhs.getContext();
    }

operator=()

CxtThreadStmt& SVF::CxtThreadStmt::operator= ( const CxtThreadStmt &  rhs )

inline

Overloading operator=.

Definition at line 156 of file CxtStmt.h.

    {
        if(*this!=rhs)
        {
            CxtStmt::operator=(rhs);
            tid = rhs.getTid();
        }
        return *this;
    }

operator==()

bool SVF::CxtThreadStmt::operator== ( const CxtThreadStmt &  rhs ) const

inline

Overloading operator==.

Definition at line 166 of file CxtStmt.h.

    {
        return (tid == rhs.getTid() && inst == rhs.getStmt() && cxt == rhs.getContext());
    }

Member Data Documentation

tid

NodeID SVF::CxtThreadStmt::tid

private

Definition at line 182 of file CxtStmt.h.

---

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

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