SVF::CxtThread Class Reference

#include <CxtStmt.h>

Public Member Functions
	CxtThread (const CallStrCxt &c, const ICFGNode *fork)
	Constructor.
	CxtThread (const CxtThread &ct)
	Copy constructor.
virtual	~CxtThread ()
	Destructor.
const CallStrCxt &	getContext () const
	Return context of the thread.
const ICFGNode *	getThread () const
	Return forksite.
bool	operator< (const CxtThread &rhs) const
CxtThread &	operator= (const CxtThread &rhs)
	Overloading operator=.
bool	operator== (const CxtThread &rhs) const
	Overloading operator==.
bool	operator!= (const CxtThread &rhs) const
	Overloading operator==.
std::string	cxtToStr () const
	Return context in string format.
void	setInloop (bool in)
	inloop, incycle attributes
bool	isInloop () const
void	setIncycle (bool in)
bool	isIncycle () const
void	dump () const
	Dump CxtThread.

Protected Attributes
CallStrCxt	cxt
const ICFGNode *	forksite
bool	inloop
bool	incycle

Detailed Description

Context-sensitive thread <c,t>

Definition at line 189 of file CxtStmt.h.

Constructor & Destructor Documentation

CxtThread() [1/2]

SVF::CxtThread::CxtThread ( const CallStrCxt &  c, const ICFGNode *  fork  )

inline

Constructor.

Definition at line 193 of file CxtStmt.h.

                                                         : cxt(c), forksite(fork), inloop(false), incycle(false)
    {
    }

CxtThread() [2/2]

SVF::CxtThread::CxtThread ( const CxtThread &  ct )

inline

Copy constructor.

Definition at line 197 of file CxtStmt.h.

                                   :
        cxt(ct.getContext()), forksite(ct.getThread()), inloop(ct.isInloop()), incycle(ct.isIncycle())
    {
    }

~CxtThread()

virtual SVF::CxtThread::~CxtThread ( )

inlinevirtual

Destructor.

Definition at line 202 of file CxtStmt.h.

    {
    }

Member Function Documentation

cxtToStr()

std::string SVF::CxtThread::cxtToStr ( ) const

inline

Return context in string format.

Definition at line 245 of file CxtStmt.h.

    {
        std::string str;
        std::stringstream rawstr(str);
        rawstr << "[:";
        for(CallStrCxt::const_iterator it = cxt.begin(), eit = cxt.end(); it!=eit; ++it)
        {
            rawstr << *it << " ";
        }
        rawstr << " ]";
        return rawstr.str();
    }

dump()

void SVF::CxtThread::dump ( ) const

inline

Dump CxtThread.

Definition at line 279 of file CxtStmt.h.

    {
        std::string loop = inloop?", inloop":"";
        std::string cycle = incycle?", incycle":"";
 
        if(forksite)
        {
            SVFUtil::outs() << "[ Thread: "
                            << forksite->toString()  << "\t Contexts: " << cxtToStr()
                            << loop << cycle <<"  ]\n";
        }
        else
        {
            SVFUtil::outs() << "[ Thread: " << "main   "  << "\t Contexts: " << cxtToStr()
                            << loop << cycle <<"  ]\n";
        }
    }

getContext()

const CallStrCxt & SVF::CxtThread::getContext ( ) const

inline

Return context of the thread.

Definition at line 206 of file CxtStmt.h.

    {
        return cxt;
    }

getThread()

const ICFGNode * SVF::CxtThread::getThread ( ) const

inline

Return forksite.

Definition at line 211 of file CxtStmt.h.

    {
        return forksite;
    }

isIncycle()

bool SVF::CxtThread::isIncycle ( ) const

inline

Definition at line 272 of file CxtStmt.h.

    {
        return incycle;
    }

isInloop()

bool SVF::CxtThread::isInloop ( ) const

inline

Definition at line 264 of file CxtStmt.h.

    {
        return inloop;
    }

operator!=()

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

inline

Overloading operator==.

Definition at line 240 of file CxtStmt.h.

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

operator<()

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

    {
        if (forksite != rhs.getThread())
            return forksite < rhs.getThread();
        else
            return cxt < rhs.getContext();
    }

operator=()

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

inline

Overloading operator=.

Definition at line 225 of file CxtStmt.h.

    {
        if(*this!=rhs)
        {
            forksite = rhs.getThread();
            cxt = rhs.getContext();
        }
        return *this;
    }

operator==()

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

inline

Overloading operator==.

Definition at line 235 of file CxtStmt.h.

    {
        return (forksite == rhs.getThread() && cxt == rhs.getContext());
    }

setIncycle()

void SVF::CxtThread::setIncycle ( bool  in )

inline

Definition at line 268 of file CxtStmt.h.

    {
        incycle = in;
    }

setInloop()

void SVF::CxtThread::setInloop ( bool  in )

inline

inloop, incycle attributes

Definition at line 260 of file CxtStmt.h.

    {
        inloop = in;
    }

Member Data Documentation

cxt

CallStrCxt SVF::CxtThread::cxt

protected

Definition at line 297 of file CxtStmt.h.

forksite

const ICFGNode* SVF::CxtThread::forksite

protected

Definition at line 298 of file CxtStmt.h.

incycle

bool SVF::CxtThread::incycle

protected

Definition at line 300 of file CxtStmt.h.

inloop

bool SVF::CxtThread::inloop

protected

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