#include <DPItem.h>

Public Types
typedef CallStrCxt::const_iterator	const_iterator

Public Member Functions
	ContextCond ()
	Constructor. More...

	ContextCond (const ContextCond &cond)
	Copy Constructor. More...

	ContextCond (ContextCond &&cond) noexcept
	Move Constructor. More...

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

virtual	~ContextCond ()
	Destructor. More...

const CallStrCxt &	getContexts () const
	Get context. More...

CallStrCxt &	getContexts ()
	Get context. More...

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

void	setNonConcreteCxt ()
	Whether it is an concrete context. More...

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

u32_t	cxtSize () const
	Get context size. More...

u32_t	getMaxPathLen () const

virtual bool	pushContext (NodeID ctx)
	Push context. More...

virtual bool	matchContext (NodeID ctx)
	Match context. More...

bool	operator< (const ContextCond &rhs) const

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

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

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

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

const_iterator	begin () const
	Begin iterators. More...

const_iterator	end () const
	End iterators. More...

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

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

static void	setMaxPathLen (u32_t max)
	set max path limit More...

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 206 of file DPItem.h.

Member Typedef Documentation

◆ const_iterator

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

Definition at line 209 of file DPItem.h.

Constructor & Destructor Documentation

◆ ContextCond() [1/3]

SVF::ContextCond::ContextCond ( )

inline

Constructor.

Definition at line 211 of file DPItem.h.

                  :concreteCxt(true)
     {
     }

◆ ContextCond() [2/3]

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

inline

Copy Constructor.

Definition at line 215 of file DPItem.h.

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

◆ ContextCond() [3/3]

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

inlinenoexcept

Move Constructor.

Definition at line 219 of file DPItem.h.

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

SVF::SVFUtil::move

constexpr std::remove_reference< T >::type && move(T &&t) noexcept

Definition: SVFUtil.h:447

◆ ~ContextCond()

virtual SVF::ContextCond::~ContextCond ( )

inlinevirtual

Destructor.

Definition at line 231 of file DPItem.h.

232 {

233 }

Member Function Documentation

◆ begin()

const_iterator SVF::ContextCond::begin ( void ) const

inline

Begin iterators.

Definition at line 350 of file DPItem.h.

     {
         return context.begin();
     }

◆ containCallStr()

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

inline

Whether contains callstring cxt.

Definition at line 255 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 260 of file DPItem.h.

     {
         return context.size();
     }

◆ end()

const_iterator SVF::ContextCond::end ( void ) const

inline

End iterators.

Definition at line 355 of file DPItem.h.

     {
         return context.end();
     }

◆ getContexts() [1/2]

CallStrCxt& SVF::ContextCond::getContexts ( )

inline

Get context.

Definition at line 240 of file DPItem.h.

     {
         return context;
     }

◆ getContexts() [2/2]

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

inline

Get context.

Definition at line 235 of file DPItem.h.

     {
         return context;
     }

◆ getMaxPathLen()

u32_t SVF::ContextCond::getMaxPathLen ( ) const

inline

Definition at line 274 of file DPItem.h.

     {
         return maximumPathLen;
     }

◆ isConcreteCxt()

bool SVF::ContextCond::isConcreteCxt ( ) const

inline

Whether it is an concrete context.

Definition at line 245 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 303 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 345 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 319 of file DPItem.h.

     {
         return context < rhs.context;
     }

◆ operator=() [1/2]

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

inline

Overloading operator=.

Definition at line 330 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 221 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 340 of file DPItem.h.

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

◆ operator[]()

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

inline

Overloading operator[].

Definition at line 324 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 279 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 265 of file DPItem.h.

     {
         maximumCxtLen = max;
     }

◆ setMaxPathLen()

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

inlinestatic

set max path limit

Definition at line 270 of file DPItem.h.

     {
         maximumPathLen = max;
     }

◆ setNonConcreteCxt()

void SVF::ContextCond::setNonConcreteCxt ( )

inline

Whether it is an concrete context.

Definition at line 250 of file DPItem.h.

     {
         concreteCxt = false;
     }

◆ toString()

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

inline

Dump context condition.

Definition at line 360 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 376 of file DPItem.h.

◆ context

CallStrCxt SVF::ContextCond::context

protected

Definition at line 373 of file DPItem.h.

◆ maximumCxt

u32_t ContextCond::maximumCxt = 0

static

Definition at line 378 of file DPItem.h.

◆ maximumCxtLen

u32_t ContextCond::maximumCxtLen = 0

staticprotected

Definition at line 374 of file DPItem.h.

◆ maximumPath

u32_t ContextCond::maximumPath = 0

static

Definition at line 379 of file DPItem.h.

◆ maximumPathLen

u32_t ContextCond::maximumPathLen = 0

staticprotected

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