SVF::FILOWorkList< Data > Class Template Reference

#include <WorkList.h>

Public Member Functions
	FILOWorkList ()
	~FILOWorkList ()
bool	empty () const
u32_t	size () const
bool	find (const Data &data) const
bool	push (const Data &data)
Data	pop ()
void	removeBack ()
Data &	back ()
void	clear ()

Private Types
typedef Set< Data >	DataSet
typedef std::vector< Data >	DataVector

Private Attributes
DataSet	data_set
	store all data in the work list. More...
DataVector	data_list
	work list using std::vector. More...

Detailed Description

template<class Data>
class SVF::FILOWorkList< Data >

Worklist with "first in last out" order. New nodes will be pushed at back and popped from back. Elements in the list are unique as they're recorded by Set.

Definition at line 229 of file WorkList.h.

Member Typedef Documentation

DataSet

template<class Data >

typedef Set<Data> SVF::FILOWorkList< Data >::DataSet

private

Definition at line 231 of file WorkList.h.

DataVector

template<class Data >

typedef std::vector<Data> SVF::FILOWorkList< Data >::DataVector

private

Definition at line 232 of file WorkList.h.

Constructor & Destructor Documentation

FILOWorkList()

template<class Data >

SVF::FILOWorkList< Data >::FILOWorkList ( )

inline

Definition at line 234 of file WorkList.h.

{}

~FILOWorkList()

template<class Data >

SVF::FILOWorkList< Data >::~FILOWorkList ( )

inline

Definition at line 236 of file WorkList.h.

{}

Member Function Documentation

back()

template<class Data >

Data& SVF::FILOWorkList< Data >::back ( )

inline

Get reference of top data from the END of work list.

Definition at line 294 of file WorkList.h.

    {
        assert(!empty() && "work list is empty");
        Data &data = data_list.back();
        return data;
    }

clear()

template<class Data >

void SVF::FILOWorkList< Data >::clear ( void  )

inline

Clear all the data

Definition at line 304 of file WorkList.h.

    {
        data_list.clear();
        data_set.clear();
    }

empty()

template<class Data >

bool SVF::FILOWorkList< Data >::empty ( void  ) const

inline

Definition at line 238 of file WorkList.h.

    {
        return data_list.empty();
    }

find()

template<class Data >

bool SVF::FILOWorkList< Data >::find ( const Data &  data ) const

inline

Definition at line 249 of file WorkList.h.

    {
        return data_set.find(data) != data_set.end();;
    }

pop()

template<class Data >

Data SVF::FILOWorkList< Data >::pop ( )

inline

Pop a data from the END of work list.

Definition at line 272 of file WorkList.h.

    {
        assert(!empty() && "work list is empty");
        Data data = data_list.back();
        data_list.pop_back();
        data_set.erase(data);
        return data;
    }

push()

template<class Data >

bool SVF::FILOWorkList< Data >::push ( const Data &  data )

inline

Push a data into the work list.

Definition at line 257 of file WorkList.h.

    {
        if (!find(data))
        {
            data_list.push_back(data);
            data_set.insert(data);
            return true;
        }
        else
            return false;
    }

removeBack()

template<class Data >

void SVF::FILOWorkList< Data >::removeBack ( )

inline

Remove a data from the END of work list, no return value

Definition at line 284 of file WorkList.h.

    {
        assert(!empty() && "work list is empty");
        data_set.erase(back());
        data_list.pop_back();
    }

size()

template<class Data >

u32_t SVF::FILOWorkList< Data >::size ( ) const

inline

Definition at line 243 of file WorkList.h.

    {
        assert(data_list.size() == data_set.size() && "list and set must be the same size!");
        return data_list.size();
    }

Member Data Documentation

data_list

template<class Data >

DataVector SVF::FILOWorkList< Data >::data_list

private

work list using std::vector.

Definition at line 312 of file WorkList.h.

data_set

template<class Data >

DataSet SVF::FILOWorkList< Data >::data_set

private

store all data in the work list.

Definition at line 311 of file WorkList.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/AE/Svfexe/AbstractInterpretation.h
• /home/runner/work/SVF/SVF/svf/include/Util/WorkList.h