edge_c_writer.hpp File Reference

This file contains the routines necessary to create a C executable program with instrumented edges. More...

#include "basic_block.hpp"
#include "c_writer.hpp"
#include "graph.hpp"
#include "refcount.hpp"
#include <deque>
#include <fstream>
#include <iosfwd>
#include <list>
#include <ostream>
#include <set>
#include <string>
#include <vector>

Include dependency graph for edge_c_writer.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	EdgeCWriter
	Class use to write the C code with instrumented edges. More...

Functions
	CONSTREF_FORWARD_DECL (application_manager)
	CONSTREF_FORWARD_DECL (OpGraph)
	CONSTREF_FORWARD_DECL (Parameter)

Detailed Description

This file contains the routines necessary to create a C executable program with instrumented edges.

Author

Marco Lattuada marco.nosp@m..lat.nosp@m.tuada.nosp@m.@pol.nosp@m.imi.i.nosp@m.t

Definition in file edge_c_writer.hpp.

Function Documentation

CONSTREF_FORWARD_DECL() [1/3]

CONSTREF_FORWARD_DECL

(

application_manager

)

CONSTREF_FORWARD_DECL() [2/3]

CONSTREF_FORWARD_DECL

(

OpGraph

)

CONSTREF_FORWARD_DECL() [3/3]

CONSTREF_FORWARD_DECL

(

Parameter

)