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

Constructor & Destructor Documentation

CxtStmt() [1/2]

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

inline

Constructor.

Definition at line 46 of file CxtStmt.h.

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

CxtStmt() [2/2]

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

inline

Copy constructor.

Definition at line 50 of file CxtStmt.h.

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

~CxtStmt()

virtual SVF::CxtStmt::~CxtStmt ( )

inlinevirtual

Destructor.

Definition at line 54 of file CxtStmt.h.

    {
    }

Member Function Documentation

cxtToStr()

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

inline

Return context in string format.

Definition at line 97 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 110 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 58 of file CxtStmt.h.

    {
        return cxt;
    }

getStmt()

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

inline

Return current statement.

Definition at line 63 of file CxtStmt.h.

    {
        return inst;
    }

operator!=()

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

inline

Overloading operator==.

Definition at line 92 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 69 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 77 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 87 of file CxtStmt.h.

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

Member Data Documentation

cxt

CallStrCxt SVF::CxtStmt::cxt

protected

Definition at line 116 of file CxtStmt.h.

inst

const ICFGNode* SVF::CxtStmt::inst

protected

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