#include <DPItem.h>

Public Types
typedef CallStrCxt::const_iterator	const_iterator

Public Member Functions
	ContextCond ()
	Constructor.

	ContextCond (const ContextCond &cond)
	Copy Constructor.

	ContextCond (ContextCond &&cond) noexcept
	Move Constructor.

ContextCond &	operator= (ContextCond &&cond) noexcept
	Move operator=.

virtual	~ContextCond ()
	Destructor.

const CallStrCxt &	getContexts () const
	Get context.

CallStrCxt &	getContexts ()
	Get context.

bool	isConcreteCxt () const
	Whether it is an concrete context.

void	setNonConcreteCxt ()
	Whether it is an concrete context.

bool	containCallStr (NodeID cxt) const
	Whether contains callstring cxt.

u32_t	cxtSize () const
	Get context size.

u32_t	getMaxPathLen () const

virtual bool	pushContext (NodeID ctx)
	Push context.

virtual bool	matchContext (NodeID ctx)
	Match context.

bool	operator< (const ContextCond &rhs) const

NodeID	operator[] (const u32_t index) const
	Overloading operator[].

ContextCond &	operator= (const ContextCond &rhs)
	Overloading operator=.

bool	operator== (const ContextCond &rhs) const
	Overloading operator==.

bool	operator!= (const ContextCond &rhs) const
	Overloading operator!=.

const_iterator	begin () const
	Begin iterators.

const_iterator	end () const
	End iterators.

std::string	toString () const
	Dump context condition.

Static Public Member Functions
static void	setMaxCxtLen (u32_t max)
	set max context limit

static void	setMaxPathLen (u32_t max)
	set max path limit

Static Public Attributes
static u32_t	maximumCxt = 0

static u32_t	maximumPath = 0

Protected Attributes
CallStrCxt	context

bool	concreteCxt

Static Protected Attributes
static u32_t	maximumCxtLen = 0

static u32_t	maximumPathLen = 0

Detailed Description

Context Condition

Definition at line 207 of file DPItem.h.

Member Typedef Documentation

◆ const_iterator

typedef CallStrCxt::const_iterator SVF::ContextCond::const_iterator

Definition at line 210 of file DPItem.h.

Constructor & Destructor Documentation

◆ ContextCond() [1/3]

SVF::ContextCond::ContextCond ( )

inline

Constructor.

Definition at line 212 of file DPItem.h.

                 :concreteCxt(true)
    {
    }

◆ ContextCond() [2/3]

SVF::ContextCond::ContextCond ( const ContextCond & cond )

inline

Copy Constructor.

Definition at line 216 of file DPItem.h.

                                        : context(cond.getContexts()), concreteCxt(cond.isConcreteCxt())
    {
    }

◆ ContextCond() [3/3]

SVF::ContextCond::ContextCond ( ContextCond && cond )

inlinenoexcept

Move Constructor.

Definition at line 220 of file DPItem.h.

220: context(std::move(cond.context)), concreteCxt(cond.concreteCxt) {}

◆ ~ContextCond()

virtual SVF::ContextCond::~ContextCond ( )

inlinevirtual

Destructor.

Definition at line 232 of file DPItem.h.

233 {

234 }

Member Function Documentation

◆ begin()

const_iterator SVF::ContextCond::begin ( ) const

inline

Begin iterators.

Definition at line 351 of file DPItem.h.

    {
        return context.begin();
    }

◆ containCallStr()

bool SVF::ContextCond::containCallStr ( NodeID cxt ) const

inline

Whether contains callstring cxt.

Definition at line 256 of file DPItem.h.

    {
        return std::find(context.begin(),context.end(),cxt) != context.end();
    }

◆ cxtSize()

u32_t SVF::ContextCond::cxtSize ( ) const

inline

Get context size.

Definition at line 261 of file DPItem.h.

    {
        return context.size();
    }

◆ end()

const_iterator SVF::ContextCond::end ( ) const

inline

End iterators.

Definition at line 356 of file DPItem.h.

    {
        return context.end();
    }

◆ getContexts() [1/2]

CallStrCxt & SVF::ContextCond::getContexts ( )

inline

Get context.

Definition at line 241 of file DPItem.h.

    {
        return context;
    }

◆ getContexts() [2/2]

const CallStrCxt & SVF::ContextCond::getContexts ( ) const

inline

Get context.

Definition at line 236 of file DPItem.h.

    {
        return context;
    }

◆ getMaxPathLen()

u32_t SVF::ContextCond::getMaxPathLen ( ) const

inline

Definition at line 275 of file DPItem.h.

    {
        return maximumPathLen;
    }

◆ isConcreteCxt()

bool SVF::ContextCond::isConcreteCxt ( ) const

inline

Whether it is an concrete context.

Definition at line 246 of file DPItem.h.

    {
        return concreteCxt;
    }

◆ matchContext()

virtual bool SVF::ContextCond::matchContext ( NodeID ctx )

inlinevirtual

Match context.

if context is empty, then it is the unbalanced parentheses match

otherwise, we perform balanced parentheses matching

Definition at line 304 of file DPItem.h.

    {
        if(context.empty())
            return true;
        else if(context.back() == ctx)
        {
            context.pop_back();
            return true;
        }
        return false;
    }

◆ operator!=()

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

inline

Overloading operator!=.

Definition at line 346 of file DPItem.h.

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

◆ operator<()

bool SVF::ContextCond::operator< ( const ContextCond & 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 320 of file DPItem.h.

    {
        return context < rhs.context;
    }

◆ operator=() [1/2]

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

inline

Overloading operator=.

Definition at line 331 of file DPItem.h.

    {
        if(*this!=rhs)
        {
            context = rhs.getContexts();
            concreteCxt = rhs.isConcreteCxt();
        }
        return *this;
    }

◆ operator=() [2/2]

ContextCond & SVF::ContextCond::operator= ( ContextCond && cond )

inlinenoexcept

Move operator=.

Definition at line 222 of file DPItem.h.

    {
        if(this!=&cond)
        {
            context = std::move(cond.context);
            concreteCxt = cond.concreteCxt;
        }
        return *this;
    }

◆ operator==()

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

inline

Overloading operator==.

Definition at line 341 of file DPItem.h.

    {
        return (context == rhs.getContexts());
    }

◆ operator[]()

NodeID SVF::ContextCond::operator[] ( const u32_t index ) const

inline

Overloading operator[].

Definition at line 325 of file DPItem.h.

    {
        assert(index < context.size());
        return context[index];
    }

◆ pushContext()

virtual bool SVF::ContextCond::pushContext ( NodeID ctx )

inlinevirtual

Push context.

handle out of context limit case

Definition at line 280 of file DPItem.h.

    {
 
        if(context.size() < maximumCxtLen)
        {
            context.push_back(ctx);
 
            if(context.size() > maximumCxt)
                maximumCxt = context.size();
            return true;
        }
        else   
        {
            if(!context.empty())
            {
                setNonConcreteCxt();
                context.erase(context.begin());
                context.push_back(ctx);
            }
            return false;
        }
    }

◆ setMaxCxtLen()

static void SVF::ContextCond::setMaxCxtLen ( u32_t max )

inlinestatic

set max context limit

Definition at line 266 of file DPItem.h.

    {
        maximumCxtLen = max;
    }

◆ setMaxPathLen()

static void SVF::ContextCond::setMaxPathLen ( u32_t max )

inlinestatic

set max path limit

Definition at line 271 of file DPItem.h.

    {
        maximumPathLen = max;
    }

◆ setNonConcreteCxt()

void SVF::ContextCond::setNonConcreteCxt ( )

inline

Whether it is an concrete context.

Definition at line 251 of file DPItem.h.

    {
        concreteCxt = false;
    }

◆ toString()

std::string SVF::ContextCond::toString ( ) const

inline

Dump context condition.

Definition at line 361 of file DPItem.h.

    {
        std::string str;
        std::stringstream rawstr(str);
        rawstr << "[:";
        for(CallStrCxt::const_iterator it = context.begin(), eit = context.end(); it!=eit; ++it)
        {
            rawstr << *it << " ";
        }
        rawstr << " ]";
        return rawstr.str();
    }

Member Data Documentation

◆ concreteCxt

bool SVF::ContextCond::concreteCxt

protected

Definition at line 377 of file DPItem.h.

◆ context

CallStrCxt SVF::ContextCond::context

protected

Definition at line 374 of file DPItem.h.

◆ maximumCxt

u32_t ContextCond::maximumCxt = 0

static

Definition at line 379 of file DPItem.h.

◆ maximumCxtLen

u32_t ContextCond::maximumCxtLen = 0

staticprotected

Definition at line 375 of file DPItem.h.

◆ maximumPath

u32_t ContextCond::maximumPath = 0

static

Definition at line 380 of file DPItem.h.

◆ maximumPathLen

u32_t ContextCond::maximumPathLen = 0

staticprotected

Definition at line 376 of file DPItem.h.

The documentation for this class was generated from the following files:

/home/runner/work/SVF/SVF/svf/include/Util/DPItem.h
/home/runner/work/SVF/SVF/svf/lib/SABER/SaberCondAllocator.cpp

Public Types

Public Member Functions

Static Public Member Functions

Static Public Attributes

Protected Attributes

Static Protected Attributes

Detailed Description

Member Typedef Documentation

◆ const_iterator

Constructor & Destructor Documentation

◆ ContextCond() [1/3]

◆ ContextCond() [2/3]

◆ ContextCond() [3/3]

◆ ~ContextCond()

Member Function Documentation

◆ begin()

◆ containCallStr()

◆ cxtSize()

◆ end()

◆ getContexts() [1/2]

◆ getContexts() [2/2]

◆ getMaxPathLen()

◆ isConcreteCxt()

◆ matchContext()

◆ operator!=()

◆ operator<()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ operator==()

◆ operator[]()

◆ pushContext()

◆ setMaxCxtLen()

◆ setMaxPathLen()

◆ setNonConcreteCxt()

◆ toString()

Member Data Documentation

◆ concreteCxt

◆ context

◆ maximumCxt

◆ maximumCxtLen

◆ maximumPath

◆ maximumPathLen