Analysis step that replaces the pragmas in the specification with calls. More...

#include "pragma_substitution.hpp"
#include "application_manager.hpp"
#include "Parameter.hpp"
#include "PragmaParser.hpp"
#include "hash_helper.hpp"
#include "string_manipulation.hpp"
#include <filesystem>

Include dependency graph for pragma_substitution.cpp:

Go to the source code of this file.

Detailed Description

Analysis step that replaces the pragmas in the specification with calls.

Author: Marco Lattuada lattu.nosp@m.ada@.nosp@m.elet..nosp@m.poli.nosp@m.mi.it $Revision$ $Date$ Last modified by $Author$

Definition in file pragma_substitution.cpp.