SVF::CxtThreadProc Class Reference

#include <CxtStmt.h>

Inheritance diagram for SVF::CxtThreadProc:

Public Member Functions
	CxtThreadProc (NodeID t, const CallStrCxt &c, const SVFFunction *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 SVFFunction *f)
	Constructor.
	CxtProc (const CxtProc &ctm)
	Copy constructor.
virtual	~CxtProc ()
	Destructor.
const SVFFunction *	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 SVFFunction *	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 396 of file CxtStmt.h.

Constructor & Destructor Documentation

CxtThreadProc() [1/2]

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

inline

Constructor.

Definition at line 400 of file CxtStmt.h.

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

CxtThreadProc() [2/2]

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

inline

Copy constructor.

Definition at line 404 of file CxtStmt.h.

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

~CxtThreadProc()

virtual SVF::CxtThreadProc::~CxtThreadProc ( )

inlinevirtual

Destructor.

Definition at line 408 of file CxtStmt.h.

    {
    }

Member Function Documentation

dump()

void SVF::CxtThreadProc::dump ( ) const

inline

Dump CxtThreadProc.

Definition at line 449 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 412 of file CxtStmt.h.

    {
        return tid;
    }

operator!=()

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

inline

Overloading operator==.

Definition at line 444 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 418 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 428 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 439 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 455 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