40 #ifndef MEMORY_INITIALIZATION_C_WRITER_HPP 41 #define MEMORY_INITIALIZATION_C_WRITER_HPP 83 void Process(
const std::string& content)
override;
const tree_nodeConstRef function_parameter
The variable/parameter being printed.
const unsigned long int reserved_mem_bytes
The number of bytes to be written.
Functor used to write initialization of the memory writer.
Functor used to write initialization of the memory throw C instructions added to values.c.
void FinalizeFileInit() override
Copy and close the file.
std::ofstream memory_init_file
temporary file used to store the formatted memory values
Abstract base class for functor used to write initialization of the memory.
const BehavioralHelperConstRef behavioral_helper
The behavioral helper.
REF_FORWARD_DECL(IndentedOutputStream)
MemoryInitializationCWriter(const IndentedOutputStreamRef indented_output_stream, const tree_managerConstRef TM, const BehavioralHelperConstRef behavioral_helper, const unsigned long int reserved_mem_bytes, const tree_nodeConstRef function_parameter, const TestbenchGeneration_MemoryType testbench_generation_memory_type, const ParameterConstRef parameters)
Constructor.
void ActivateFileInit(const std::string &filename) override
In case the test_v has a size over a threshold write the tests on a file.
const TestbenchGeneration_MemoryType testbench_generation_memory_type
The type of initialization being written.
Class to print indented code.
const IndentedOutputStreamRef indented_output_stream
The stream where C code has to be written.
const tree_managerConstRef TM
The tree manager.
TestbenchGeneration_MemoryType
Enum class used to specify which type of content has to be printed for memory initialization.
void Process(const std::string &content) override
Process an element.