SVF::TypeSet Class Reference

#include <PTAType.h>

Public Types
typedef OrderedSet< PTAType >	TypeSetTy
typedef TypeSetTy::iterator	iterator
typedef TypeSetTy::const_iterator	const_iterator

Public Member Functions
u32_t	size () const
	Number of types contained. More...
bool	addType (const PTAType &type)
	Add a ptatype. More...
bool	containType (const PTAType &type) const
	Contain a ptatype or not. More...
bool	intersect (const TypeSet *typeset) const
	Intersect with another typeset or not. More...
void	dumpTypes () const
	Dump all types in the typeset. More...
iterator	begin ()
iterator	end ()
const_iterator	begin () const
const_iterator	end () const

Private Attributes
TypeSetTy	typeSet

Detailed Description

Definition at line 88 of file PTAType.h.

Member Typedef Documentation

const_iterator

typedef TypeSetTy::const_iterator SVF::TypeSet::const_iterator

Definition at line 95 of file PTAType.h.

iterator

typedef TypeSetTy::iterator SVF::TypeSet::iterator

Definition at line 94 of file PTAType.h.

TypeSetTy

typedef OrderedSet<PTAType> SVF::TypeSet::TypeSetTy

Definition at line 92 of file PTAType.h.

Member Function Documentation

addType()

bool SVF::TypeSet::addType ( const PTAType &  type )

inline

Add a ptatype.

Definition at line 124 of file PTAType.h.

    {
        std::pair<iterator, bool> ret = typeSet.insert(type);
        return ret.second;
    }

begin() [1/2]

iterator SVF::TypeSet::begin ( )

inline

Definition at line 99 of file PTAType.h.

    {
        return typeSet.begin();
    }

begin() [2/2]

const_iterator SVF::TypeSet::begin ( ) const

inline

Definition at line 107 of file PTAType.h.

    {
        return typeSet.begin();
    }

containType()

bool SVF::TypeSet::containType ( const PTAType &  type ) const

inline

Contain a ptatype or not.

Definition at line 131 of file PTAType.h.

    {
        return typeSet.find(type) != typeSet.end();
    }

dumpTypes()

void SVF::TypeSet::dumpTypes ( ) const

inline

Dump all types in the typeset.

Definition at line 176 of file PTAType.h.

    {
        for (const_iterator it = begin(), eit = end(); it != eit; ++it)
        {
            const PTAType &type = *it;
            type.dump();
        }
    }

end() [1/2]

iterator SVF::TypeSet::end ( )

inline

Definition at line 103 of file PTAType.h.

    {
        return typeSet.end();
    }

end() [2/2]

const_iterator SVF::TypeSet::end ( ) const

inline

Definition at line 111 of file PTAType.h.

    {
        return typeSet.end();
    }

intersect()

bool SVF::TypeSet::intersect ( const TypeSet *  typeset ) const

inline

Intersect with another typeset or not.

Definition at line 140 of file PTAType.h.

    {
        if (size() == 1)
        {
            const_iterator first = begin();
            return typeset->containType(*first);
        }
        else if (typeset->size() == 1)
        {
            const_iterator first = typeset->begin();
            return containType(*first);
        }
        else
        {
            const_iterator first1 = typeset->begin(), first2 = begin(),
                           last1 = typeset->end(), last2 = end();
            const_iterator largest1 = last1, largest2 = last2;
            largest1--;
            largest2--;
            if (*largest1 < *first2 || *largest2 < *first1)
                return false;

            while (first1 != last1 && first2 != last2)
            {
                if (*first1 < *first2)
                    first1++;
                else if (*first2 < *first1)
                    first2++;
                else
                    return true;
            }
            return false;
        }
    }

size()

u32_t SVF::TypeSet::size ( ) const

inline

Number of types contained.

Definition at line 118 of file PTAType.h.

    {
        return typeSet.size();
    }

Member Data Documentation

typeSet

TypeSetTy SVF::TypeSet::typeSet

private

Definition at line 186 of file PTAType.h.

---

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

• /home/runner/work/SVF-1/SVF-1/include/MemoryModel/PTAType.h