C:/Users/duhem/Desktop/FoRTReSS/FoRTReSS/FoRTReSS/src/taskResourceFile.h

Go to the documentation of this file.

#ifndef TASK_RESOURCE_FILE_H
#define TASK_RESOURCE_FILE_H

#include <string>
#include "device.h"

class TaskResourceFile {

protected:

        static double STATIC_RESOURCES_MARGIN;          /*< Resources margin to take into account RZ routing */

        string name;                                                            /*< Synthesis report name, without extension */
        string deviceID;                                                        /*< Device ID */
        DeviceClass deviceClass;                                        /*< Device class */
        Device *device;                                                         /*< Device pointer */
        map<RBType, int> physicalResources;                     /*< Resources inferred from the report */
        map<RBType, int> staticResources;                       /*< Static Resources inferred from the report */

        double resourceMargin;                                          /*< Might override static value */


public:

        TaskResourceFile(std::string n) : name(n), deviceID("undef"), deviceClass(UNDEF), resourceMargin(-1) {}
        TaskResourceFile() {}

        TaskResourceFile(const TaskResourceFile& other) {
                name = other.name;
                deviceID = other.deviceID;
                deviceClass = other.deviceClass;
                device = new Device();          // FIXME
                physicalResources = other.physicalResources;
                staticResources = other.staticResources;
                resourceMargin = other.resourceMargin;
        }

        // Getters
        string getName(void);
        string getDeviceID(void);
        DeviceClass getDeviceClass(void);
        Device* getDevicePtr(void);
        map<RBType, int> getPhysicalResources(void);
        map<RBType, int> getStaticResources(void);

        // Resource margin
        static double getStaticResourceMargin(void);
        static void setStaticResourcesMargin(double);
        void setResourcesMargin(double);

        // Misc
        void info(void);
        
        // Pure virtual method to accomodate the kind of resource file to parse (.syr, .tsk)
        virtual int readResourceFile(void) = 0;

protected:
        void setDeviceID(string dev);
        void inferDeviceClass(void);

        void convertResourceMap(map<RBType, int>&);
        void convertAllResourceMaps(void);
};

#endif