SVF::CxtProc Class Reference

#include <CxtStmt.h>

Inheritance diagram for SVF::CxtProc:

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

Protected Attributes
CallStrCxt	cxt
const FunObjVar *	fun

Detailed Description

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

Definition at line 307 of file CxtStmt.h.

Constructor & Destructor Documentation

CxtProc() [1/2]

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

inline

Constructor.

Definition at line 311 of file CxtStmt.h.

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

CxtProc() [2/2]

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

inline

Copy constructor.

Definition at line 316 of file CxtStmt.h.

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

~CxtProc()

virtual SVF::CxtProc::~CxtProc ( )

inlinevirtual

Destructor.

Definition at line 321 of file CxtStmt.h.

    {
    }

Member Function Documentation

cxtToStr()

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

inline

Return context in string format.

Definition at line 364 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 377 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 330 of file CxtStmt.h.

    {
        return cxt;
    }

getProc()

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

inline

Return current procedure.

Definition at line 325 of file CxtStmt.h.

    {
        return fun;
    }

operator!=()

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

inline

Overloading operator==.

Definition at line 359 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 336 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 344 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 354 of file CxtStmt.h.

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

Member Data Documentation

cxt

CallStrCxt SVF::CxtProc::cxt

protected

Definition at line 383 of file CxtStmt.h.

fun

const FunObjVar* SVF::CxtProc::fun

protected

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