SVF::CondPointsToSet< Cond >::CondPtsSetIterator Class Reference

Conditional Points-to Set Iterator. More...

Public Member Functions
	CondPtsSetIterator (CondPointsToSet< Cond > &n, bool ae=false)
	~CondPtsSetIterator ()
bool	operator!= (int val)
bool	operator== (const CondPtsSetIterator &RHS) const
	Operator overloading.
bool	operator!= (const CondPtsSetIterator &RHS) const
void	operator++ (void)
SingleCondVar	operator* (void)
Cond	cond (void)

Private Attributes
CondPointsToSet< Cond >::CondPtsIter	_curIter
CondPointsToSet< Cond >::CondPtsIter	_endIter
PointsTo::iterator	_ptIter
PointsTo::iterator	_ptEndIter
bool	atEnd

Detailed Description

template<class Cond>
class SVF::CondPointsToSet< Cond >::CondPtsSetIterator

Conditional Points-to Set Iterator.

Definition at line 749 of file ConditionalPT.h.

Constructor & Destructor Documentation

CondPtsSetIterator()

template<class Cond >

SVF::CondPointsToSet< Cond >::CondPtsSetIterator::CondPtsSetIterator ( CondPointsToSet< Cond > &  n, bool  ae = false  )

inline

Definition at line 752 of file ConditionalPT.h.

            : _curIter(n.cptsBegin()), _endIter(n.cptsEnd()),
              _ptIter(_curIter->second.begin()), _ptEndIter(_curIter->second.end()), atEnd(ae) {}

~CondPtsSetIterator()

template<class Cond >

SVF::CondPointsToSet< Cond >::CondPtsSetIterator::~CondPtsSetIterator ( )

inline

Definition at line 755 of file ConditionalPT.h.

{}

Member Function Documentation

cond()

template<class Cond >

Cond SVF::CondPointsToSet< Cond >::CondPtsSetIterator::cond ( void  )

inline

Definition at line 801 of file ConditionalPT.h.

        {
            return _curIter->first;
        }

operator!=() [1/2]

template<class Cond >

bool SVF::CondPointsToSet< Cond >::CondPtsSetIterator::operator!= ( const CondPtsSetIterator &  RHS ) const

inline

Definition at line 770 of file ConditionalPT.h.

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

operator!=() [2/2]

template<class Cond >

bool SVF::CondPointsToSet< Cond >::CondPtsSetIterator::operator!= ( int  val )

inline

Definition at line 756 of file ConditionalPT.h.

        {
            return _curIter != _endIter;
        }

operator*()

template<class Cond >

SingleCondVar SVF::CondPointsToSet< Cond >::CondPtsSetIterator::operator* ( void  )

inline

Definition at line 794 of file ConditionalPT.h.

        {
            SingleCondVar temp_var(cond(), *_ptIter);
            return temp_var;
        }

operator++()

template<class Cond >

void SVF::CondPointsToSet< Cond >::CondPtsSetIterator::operator++ ( void  )

inline

Definition at line 775 of file ConditionalPT.h.

        {
            if(atEnd == true)
                return;
 
            if(_ptIter==_ptEndIter)
            {
                if(_curIter == _endIter)
                {
                    atEnd = true;
                    return;
                }
                _curIter++;
                _ptIter = _curIter->second.begin();
                _ptIter = _curIter->second.end();
            }
            else
                _ptIter++;
        }

operator==()

template<class Cond >

bool SVF::CondPointsToSet< Cond >::CondPtsSetIterator::operator== ( const CondPtsSetIterator &  RHS ) const

inline

Operator overloading.

Definition at line 762 of file ConditionalPT.h.

        {
            // If they are both at the end, ignore the rest of the fields.
            if (atEnd && RHS.atEnd)
                return true;
            // Otherwise they are the same if they have the same condVar
            return atEnd == RHS.atEnd && RHS._curIter == _curIter && RHS._ptIter == _ptIter;
        }

Member Data Documentation

_curIter

template<class Cond >

CondPointsToSet<Cond>::CondPtsIter SVF::CondPointsToSet< Cond >::CondPtsSetIterator::_curIter

private

Definition at line 807 of file ConditionalPT.h.

_endIter

template<class Cond >

CondPointsToSet<Cond>::CondPtsIter SVF::CondPointsToSet< Cond >::CondPtsSetIterator::_endIter

private

Definition at line 808 of file ConditionalPT.h.

_ptEndIter

template<class Cond >

PointsTo::iterator SVF::CondPointsToSet< Cond >::CondPtsSetIterator::_ptEndIter

private

Definition at line 810 of file ConditionalPT.h.

_ptIter

template<class Cond >

PointsTo::iterator SVF::CondPointsToSet< Cond >::CondPtsSetIterator::_ptIter

private

Definition at line 809 of file ConditionalPT.h.

atEnd

template<class Cond >

bool SVF::CondPointsToSet< Cond >::CondPtsSetIterator::atEnd

private

Definition at line 811 of file ConditionalPT.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/MemoryModel/ConditionalPT.h