SVF::FILOWorkList< Data > Class Template Reference

#include <WorkList.h>

Public Member Functions
	FILOWorkList ()
	FILOWorkList (const std::vector< Data > &vec)
	Construct from a vector, pushing all elements in order.
	FILOWorkList (const std::list< Data > &lst)
	Construct from a list, pushing all elements in order.
	~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.
DataVector	data_list
	work list using std::vector.

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 244 of file WorkList.h.

Member Typedef Documentation

DataSet

template<class Data >

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

private

Definition at line 246 of file WorkList.h.

DataVector

template<class Data >

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

private

Definition at line 247 of file WorkList.h.

Constructor & Destructor Documentation

FILOWorkList() [1/3]

template<class Data >

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

inline

Definition at line 249 of file WorkList.h.

{}

FILOWorkList() [2/3]

template<class Data >

SVF::FILOWorkList< Data >::FILOWorkList ( const std::vector< Data > &  vec )

inlineexplicit

Construct from a vector, pushing all elements in order.

Definition at line 252 of file WorkList.h.

    {
        for (const Data& d : vec)
            push(d);
    }

FILOWorkList() [3/3]

template<class Data >

SVF::FILOWorkList< Data >::FILOWorkList ( const std::list< Data > &  lst )

inlineexplicit

Construct from a list, pushing all elements in order.

Definition at line 259 of file WorkList.h.

    {
        for (const Data& d : lst)
            push(d);
    }

~FILOWorkList()

template<class Data >

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

inline

Definition at line 265 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 323 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 ( )

inline

Clear all the data

Definition at line 333 of file WorkList.h.

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

empty()

template<class Data >

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

inline

Definition at line 267 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 278 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 301 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 286 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 313 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 272 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 341 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 340 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