WorkList.h

Go to the documentation of this file.

//===- WorkList.h -- Internal worklist used in SVF---------------------------//
//
//                     SVF: Static Value-Flow Analysis
//
// Copyright (C) <2013-2017>  <Yulei Sui>
//
 
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU Affero General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
 
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU Affero General Public License for more details.
 
// You should have received a copy of the GNU Affero General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.
//
//===----------------------------------------------------------------------===//
 
/*
 * @file: WorkList.h
 * @author: yesen
 * @date: 06/12/2013
 * @version: 1.0
 *
 * @section LICENSE
 *
 * @section DESCRIPTION
 *
 */
 
 
#ifndef WORKLIST_H_
#define WORKLIST_H_
 
#include "SVFIR/SVFValue.h"
 
#include <assert.h>
#include <cstdlib>
#include <vector>
#include <deque>
#include <list>
#include <set>
 
namespace SVF
{
 
template<class Data>
class List
{
    class ListNode
    {
    public:
        ListNode(const Data &d)
        {
            data = d;
            next = nullptr;
        }
 
        ~ListNode() {}
 
        Data data;
        ListNode *next;
    };
 
    typedef Set<Data> DataSet;
    typedef ListNode Node;
 
public:
    List()
    {
        head = nullptr;
        tail = nullptr;
    }
 
    ~List() {}
 
    inline bool empty() const
    {
        return (head == nullptr);
    }
 
    inline bool find(const Data &data) const
    {
        return nodeSet.find(data) != nodeSet.end();
    }
 
    void push(const Data &data)
    {
        if (nodeSet.find(data) == nodeSet.end())
        {
            Node *new_node = new Node(data);
            if (head == nullptr)
                head = new_node;// the list is empty
            else
                tail->next = new_node;
            tail = new_node;
        }
    }
 
    Data pop()
    {
        assert(head != nullptr && "list is empty");
        Node *head_node = head;
 
        head = head->next;
        if (head == nullptr)
            tail = nullptr;    
 
        Data data = head_node->data;
        nodeSet.erase(data);
        delete head_node;
        return data;
    }
 
private:
    DataSet nodeSet;
    Node *head;
    Node *tail;
};
 
template<class Data>
class FIFOWorkList
{
    typedef Set<Data> DataSet;
    typedef std::deque<Data> DataDeque;
public:
    FIFOWorkList() {}
 
    explicit FIFOWorkList(const std::vector<Data>& vec)
    {
        for (const Data& d : vec)
            push(d);
    }
 
    explicit FIFOWorkList(const std::list<Data>& lst)
    {
        for (const Data& d : lst)
            push(d);
    }
 
    ~FIFOWorkList() {}
 
    inline bool empty() const
    {
        return data_list.empty();
    }
 
    inline u32_t size() const
    {
        assert(data_list.size() == data_set.size() && "list and set must be the same size!");
        return data_list.size();
    }
 
    inline bool find(const Data &data) const
    {
        return data_set.find(data) != data_set.end();
    }
 
    inline bool push(const Data &data)
    {
        if (!find(data))
        {
            data_list.push_back(data);
            data_set.insert(data);
            return true;
        }
        else
            return false;
    }
 
    inline void removeFront()
    {
        assert(!empty() && "work list is empty");
        data_set.erase(front());
        data_list.pop_front();
    }
 
    inline Data &front()
    {
        assert(!empty() && "work list is empty");
        Data &data = data_list.front();
        return data;
    }
 
    inline Data pop()
    {
        assert(!empty() && "work list is empty");
        Data data = data_list.front();
        data_list.pop_front();
        data_set.erase(data);
        return data;
    }
 
    inline void clear()
    {
        data_list.clear();
        data_set.clear();
    }
 
private:
    DataSet data_set;    
    DataDeque data_list;    
};
 
template<class Data>
class FILOWorkList
{
    typedef Set<Data> DataSet;
    typedef std::vector<Data> DataVector;
public:
    FILOWorkList() {}
 
    explicit FILOWorkList(const std::vector<Data>& vec)
    {
        for (const Data& d : vec)
            push(d);
    }
 
    explicit FILOWorkList(const std::list<Data>& lst)
    {
        for (const Data& d : lst)
            push(d);
    }
 
    ~FILOWorkList() {}
 
    inline bool empty() const
    {
        return data_list.empty();
    }
 
    inline u32_t size() const
    {
        assert(data_list.size() == data_set.size() && "list and set must be the same size!");
        return data_list.size();
    }
 
    inline bool find(const Data &data) const
    {
        return data_set.find(data) != data_set.end();;
    }
 
    inline bool push(const Data &data)
    {
        if (!find(data))
        {
            data_list.push_back(data);
            data_set.insert(data);
            return true;
        }
        else
            return false;
    }
 
    inline Data pop()
    {
        assert(!empty() && "work list is empty");
        Data data = data_list.back();
        data_list.pop_back();
        data_set.erase(data);
        return data;
    }
 
    inline void removeBack()
    {
        assert(!empty() && "work list is empty");
        data_set.erase(back());
        data_list.pop_back();
    }
 
    inline Data &back()
    {
        assert(!empty() && "work list is empty");
        Data &data = data_list.back();
        return data;
    }
 
    inline void clear()
    {
        data_list.clear();
        data_set.clear();
    }
 
private:
    DataSet data_set;    
    DataVector data_list;    
};
 
} // End namespace SVF
 
#endif /* WORKLIST_H_ */