SVF::CxtStmt Class Reference

#include <CxtStmt.h>

Inheritance diagram for SVF::CxtStmt:

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

Protected Attributes
CallStrCxt	cxt
const ICFGNode *	inst

Detailed Description

Context-sensitive thread statement <c,s>

Definition at line 40 of file CxtStmt.h.

Constructor & Destructor Documentation

CxtStmt() [1/2]

SVF::CxtStmt::CxtStmt ( const CallStrCxt &  c, const ICFGNode *  f  )

inline

Constructor.

Definition at line 44 of file CxtStmt.h.

                                                    :cxt(c), inst(f)
    {
    }

CxtStmt() [2/2]

SVF::CxtStmt::CxtStmt ( const CxtStmt &  ctm )

inline

Copy constructor.

Definition at line 48 of file CxtStmt.h.

                                : cxt(ctm.getContext()),inst(ctm.getStmt())
    {
    }

~CxtStmt()

virtual SVF::CxtStmt::~CxtStmt ( )

inlinevirtual

Destructor.

Definition at line 52 of file CxtStmt.h.

    {
    }

Member Function Documentation

cxtToStr()

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

inline

Return context in string format.

Definition at line 95 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::CxtStmt::dump ( ) const

inline

Dump CxtStmt.

Definition at line 108 of file CxtStmt.h.

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

getContext()

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

inline

Return current context.

Definition at line 56 of file CxtStmt.h.

    {
        return cxt;
    }

getStmt()

const ICFGNode * SVF::CxtStmt::getStmt ( ) const

inline

Return current statement.

Definition at line 61 of file CxtStmt.h.

    {
        return inst;
    }

operator!=()

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

inline

Overloading operator==.

Definition at line 90 of file CxtStmt.h.

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

operator<()

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

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

operator=()

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

inline

Overloading operator=.

Definition at line 75 of file CxtStmt.h.

    {
        if(*this!=rhs)
        {
            inst = rhs.getStmt();
            cxt = rhs.getContext();
        }
        return *this;
    }

operator==()

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

inline

Overloading operator==.

Definition at line 85 of file CxtStmt.h.

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

Member Data Documentation

cxt

CallStrCxt SVF::CxtStmt::cxt

protected

Definition at line 114 of file CxtStmt.h.

inst

const ICFGNode* SVF::CxtStmt::inst

protected

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