/*
 * ReadChecker.h
 *
 *  Created on: Mar 13, 2014
 *      Author: jonny
 */

#ifndef READCHECKER_H_
#define READCHECKER_H_

#include "ICommandChecker.h"
#include "../../Configuration.h"
#include "../../ControllerState.h"

namespace core {

class ReadChecker: public core::ICommandChecker
{
public:
	ReadChecker(Configuration& config, ControllerState& state) : config(config), state(state) {}
	virtual ~ReadChecker() {}

	virtual void delayToSatisfyConstraints(ScheduledCommand& command) const;
	virtual sc_time getExecutionTime(const tlm::tlm_generic_payload& payload, Command command) const;
private:
	const Configuration& config;
	ControllerState& state;
};

} /* namespace controller */

#endif /* READCHECKER_H_ */