SVF::CxtProc Class Reference

#include <CxtStmt.h>

Inheritance diagram for SVF::CxtProc:

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

Protected Attributes
CallStrCxt	cxt
const SVFFunction *	fun

Detailed Description

Context-sensitive procedure <c,m> c represent current context m represent current procedure

Definition at line 309 of file CxtStmt.h.

Constructor & Destructor Documentation

CxtProc() [1/2]

SVF::CxtProc::CxtProc ( const CallStrCxt &  c, const SVFFunction *  f  )

inline

Constructor.

Definition at line 313 of file CxtStmt.h.

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

CxtProc() [2/2]

SVF::CxtProc::CxtProc ( const CxtProc &  ctm )

inline

Copy constructor.

Definition at line 318 of file CxtStmt.h.

                                :
        cxt(ctm.getContext()), fun(ctm.getProc())
    {
    }

~CxtProc()

virtual SVF::CxtProc::~CxtProc ( )

inlinevirtual

Destructor.

Definition at line 323 of file CxtStmt.h.

    {
    }

Member Function Documentation

cxtToStr()

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

inline

Return context in string format.

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

inline

Dump CxtProc.

Definition at line 379 of file CxtStmt.h.

    {
        SVFUtil::outs() << "[ Proc: " << fun->getName() << "\t Contexts: " << cxtToStr() << "  ]\n";
    }

getContext()

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

inline

Return current context.

Definition at line 332 of file CxtStmt.h.

    {
        return cxt;
    }

getProc()

const SVFFunction* SVF::CxtProc::getProc ( ) const

inline

Return current procedure.

Definition at line 327 of file CxtStmt.h.

    {
        return fun;
    }

operator!=()

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

inline

Overloading operator==.

Definition at line 361 of file CxtStmt.h.

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

operator<()

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

    {
        if (fun != rhs.getProc())
            return fun < rhs.getProc();
        else
            return cxt < rhs.getContext();
    }

operator=()

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

inline

Overloading operator=.

Definition at line 346 of file CxtStmt.h.

    {
        if (*this != rhs)
        {
            fun = rhs.getProc();
            cxt = rhs.getContext();
        }
        return *this;
    }

operator==()

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

inline

Overloading operator==.

Definition at line 356 of file CxtStmt.h.

    {
        return (fun == rhs.getProc() && cxt == rhs.getContext());
    }

Member Data Documentation

cxt

CallStrCxt SVF::CxtProc::cxt

protected

Definition at line 385 of file CxtStmt.h.

fun

const SVFFunction* SVF::CxtProc::fun

protected

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