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 187 of file CxtStmt.h.

Constructor & Destructor Documentation

CxtThread() [1/2]

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

inline

Constructor.

Definition at line 191 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 195 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 200 of file CxtStmt.h.

    {
    }

Member Function Documentation

cxtToStr()

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

inline

Return context in string format.

Definition at line 243 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 277 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 204 of file CxtStmt.h.

    {
        return cxt;
    }

getThread()

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

inline

Return forksite.

Definition at line 209 of file CxtStmt.h.

    {
        return forksite;
    }

isIncycle()

bool SVF::CxtThread::isIncycle ( ) const

inline

Definition at line 270 of file CxtStmt.h.

    {
        return incycle;
    }

isInloop()

bool SVF::CxtThread::isInloop ( ) const

inline

Definition at line 262 of file CxtStmt.h.

    {
        return inloop;
    }

operator!=()

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

inline

Overloading operator==.

Definition at line 238 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 215 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 223 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 233 of file CxtStmt.h.

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

setIncycle()

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

inline

Definition at line 266 of file CxtStmt.h.

    {
        incycle = in;
    }

setInloop()

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

inline

inloop, incycle attributes

Definition at line 258 of file CxtStmt.h.

    {
        inloop = in;
    }

Member Data Documentation

cxt

CallStrCxt SVF::CxtThread::cxt

protected

Definition at line 295 of file CxtStmt.h.

forksite

const ICFGNode* SVF::CxtThread::forksite

protected

Definition at line 296 of file CxtStmt.h.

incycle

bool SVF::CxtThread::incycle

protected

Definition at line 298 of file CxtStmt.h.

inloop

bool SVF::CxtThread::inloop

protected

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