configuration_request.h

Go to the documentation of this file.

#ifndef CONFIGURATION_REQUEST_H
#define CONFIGURATION_REQUEST_H

#include "reconfigurable_zone.h"
#include <ostream>

class ConfigurationRequest {

private:

        int taskID;
        int taskImplementationID;
        RZ* hostingRZ;

public:
        ConfigurationRequest(int _taskID, int _taskImplementationID, RZ* _hostingRZ) : taskID(_taskID), taskImplementationID(_taskImplementationID), hostingRZ(_hostingRZ) {}
        ConfigurationRequest() : taskID(0), taskImplementationID(0), hostingRZ(0) {}

        int getTaskID(void) const;
        int getTaskImplementationID(void) const;
        RZ* getHostingRZ(void) const;

        // For use in sc_buffer
        const bool operator==(const ConfigurationRequest&);
        friend std::ostream& operator <<(std::ostream&, const ConfigurationRequest&);
        
};

#endif