• Home
• tools.aqua
• z3-turnkey
• 4.13.0.1
• source code
• plugin_manager.h

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

z3-z3-4.13.0.src.util.plugin_manager.h Maven / Gradle / Ivy

/*++
Copyright (c) 2006 Microsoft Corporation

Module Name:

    plugin_manager.h

Abstract:

    

Author:

    Leonardo de Moura (leonardo) 2007-09-18.

Revision History:

--*/
#pragma once

#include "util/util.h"

template
class plugin_manager {
    ptr_vector   m_fid2plugins;
    ptr_vector   m_plugins;
public:
    ~plugin_manager() {
        reset();
    }

    void reset() {
        std::for_each(m_plugins.begin(), m_plugins.end(), delete_proc());
        release();
    }

    /**
       \brief Release ownership of the plugins.
    */
    void release() {
        m_fid2plugins.reset();
        m_plugins.reset();
    }
    
    void register_plugin(Plugin * p) {
        SASSERT(p);
        family_id fid = p->get_family_id();
        SASSERT(m_fid2plugins.get(fid, 0) == 0);
        m_fid2plugins.setx(fid, p, 0);
        m_plugins.push_back(p);
    }
    
    Plugin * get_plugin(family_id fid) const {
        if (fid == null_family_id) {
            return nullptr;
        }
        return m_fid2plugins.get(fid, 0);
    }

    ptr_vector const& plugins() const { return m_plugins; }

    typename ptr_vector::const_iterator begin() const { 
        return m_plugins.begin(); 
    }

    typename ptr_vector::const_iterator end() const { 
        return m_plugins.end(); 
    }
};