SVF::CxtThreadProc Class Reference

#include <CxtStmt.h>

Inheritance diagram for SVF::CxtThreadProc:

Public Member Functions
	CxtThreadProc (NodeID t, const CallStrCxt &c, const FunObjVar *f)
	Constructor.
	CxtThreadProc (const CxtThreadProc &ctm)
	Copy constructor.
virtual	~CxtThreadProc ()
	Destructor.
NodeID	getTid () const
	Return current thread id.
bool	operator< (const CxtThreadProc &rhs) const
CxtThreadProc &	operator= (const CxtThreadProc &rhs)
	Overloading operator=.
bool	operator== (const CxtThreadProc &rhs) const
	Overloading operator==.
bool	operator!= (const CxtThreadProc &rhs) const
	Overloading operator==.
void	dump () const
	Dump CxtThreadProc.
Public Member Functions inherited from SVF::CxtProc
	CxtProc (const CallStrCxt &c, const FunObjVar *f)
	Constructor.
	CxtProc (const CxtProc &ctm)
	Copy constructor.
virtual	~CxtProc ()
	Destructor.
const FunObjVar *	getProc () const
	Return current procedure.
const CallStrCxt &	getContext () const
	Return current context.
bool	operator< (const CxtProc &rhs) const
CxtProc &	operator= (const CxtProc &rhs)
	Overloading operator=.
bool	operator== (const CxtProc &rhs) const
	Overloading operator==.
bool	operator!= (const CxtProc &rhs) const
	Overloading operator==.
std::string	cxtToStr () const
	Return context in string format.
void	dump () const
	Dump CxtProc.

Private Attributes
NodeID	tid

Additional Inherited Members
Protected Attributes inherited from SVF::CxtProc
CallStrCxt	cxt
const FunObjVar *	fun

Detailed Description

Context-sensitive procedure <t,c,m> t represent current thread during traversing c represent current context m represent current procedure

Definition at line 394 of file CxtStmt.h.

Constructor & Destructor Documentation

CxtThreadProc() [1/2]

SVF::CxtThreadProc::CxtThreadProc ( NodeID t, const CallStrCxt & c, const FunObjVar * f )

inline

Constructor.

Definition at line 398 of file CxtStmt.h.

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

CxtThreadProc() [2/2]

SVF::CxtThreadProc::CxtThreadProc ( const CxtThreadProc & ctm )

inline

Copy constructor.

Definition at line 402 of file CxtStmt.h.

                                            : CxtProc(ctm.getContext(),ctm.getProc()), tid(ctm.getTid())
    {
    }

~CxtThreadProc()

virtual SVF::CxtThreadProc::~CxtThreadProc ( )

inlinevirtual

Destructor.

Definition at line 406 of file CxtStmt.h.

    {
    }

Member Function Documentation

dump()

void SVF::CxtThreadProc::dump ( ) const

inline

Dump CxtThreadProc.

Definition at line 447 of file CxtStmt.h.

    {
        SVFUtil::outs() << "[ Current Thread id: " << tid << "  Proc: " << fun->getName() << "\t Contexts: " << cxtToStr() << "  ]\n";
    }

getTid()

NodeID SVF::CxtThreadProc::getTid ( ) const

inline

Return current thread id.

Definition at line 410 of file CxtStmt.h.

    {
        return tid;
    }

operator!=()

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

inline

Overloading operator==.

Definition at line 442 of file CxtStmt.h.

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

operator<()

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

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

operator=()

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

inline

Overloading operator=.

Definition at line 426 of file CxtStmt.h.

    {
        if(*this!=rhs)
        {
            tid = rhs.getTid();
            fun = rhs.getProc();
            cxt = rhs.getContext();
        }
        return *this;
    }

operator==()

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

inline

Overloading operator==.

Definition at line 437 of file CxtStmt.h.

    {
        return (tid == rhs.getTid() && fun == rhs.getProc() && cxt == rhs.getContext());
    }

Member Data Documentation

tid

NodeID SVF::CxtThreadProc::tid

private

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