ILPPlugin.h

Go to the documentation of this file.

/*
 *      $Id$
 *      Copyright (c) 2005, IRIT-UPS.
 *
 *      otawa/plugins/ILPlLugin.h -- ILPPlugin class interface.
 */
#ifndef OTAWA_PLUGINS_ILP_PLUGIN_H
#define OTAWA_PLUGINS_ILP_PLUGIN_H

#include <elm/system/Plugin.h>

namespace otawa { namespace ilp {

// External class
class System;

// Definitions
#define OTAWA_ILP_HOOK          ilp_plugin
#define OTAWA_ILP_NAME          "ilp_plugin"
#define OTAWA_ILP_VERSION       "1.2.0"
#define OTAWA_ILP_ID(name, version, date)       ELM_PLUGIN_ID(OTAWA_ILP_NAME, name " V" version " (" date ") [" OTAWA_ILP_VERSION "]")

// ILPPlugin class
class ILPPlugin: public elm::system::Plugin {
public:
        ILPPlugin(
                elm::CString name,
                const elm::Version& version,
                const elm::Version& plugger_version);
        virtual System *newSystem(void) = 0;
};

} } // otawa::ilp

#endif //OTAWA_PLUGINS_ILP_PLUGIN_H