TaskResourceFile Class Reference

List of all members.

Public Member Functions
	TaskResourceFile (std::string n)
	TaskResourceFile (const TaskResourceFile &other)
string	getName (void)
string	getDeviceID (void)
DeviceClass	getDeviceClass (void)
Device *	getDevicePtr (void)
map< RBType, int >	getPhysicalResources (void)
map< RBType, int >	getStaticResources (void)
void	setResourcesMargin (double)
void	info (void)
virtual int	readResourceFile (void)=0
Static Public Member Functions
static double	getStaticResourceMargin (void)
static void	setStaticResourcesMargin (double)
Protected Member Functions
void	setDeviceID (string dev)
void	inferDeviceClass (void)
void	convertResourceMap (map< RBType, int > &)
void	convertAllResourceMaps (void)
Protected Attributes
string	name
string	deviceID
DeviceClass	deviceClass
Device *	device
map< RBType, int >	physicalResources
map< RBType, int >	staticResources
double	resourceMargin
Static Protected Attributes
static double	STATIC_RESOURCES_MARGIN = 0

---

The documentation for this class was generated from the following files:

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