trace_impl.h

Go to the documentation of this file.

#include "trace.h"
 
// FIXME: Target property should specify the capacity of the trace buffer.
#define TRACE_BUFFER_CAPACITY 2048
 
#define TRACE_OBJECT_TABLE_SIZE 1024
 
#define TRACE_MAX_FILENAME_LENGTH 128
 
// TYPE DEFINITIONS **********************************************************
 
typedef struct trace_t {
  trace_record_nodeps_t** _lf_trace_buffer;
  size_t* _lf_trace_buffer_size;
 
  size_t _lf_number_of_trace_buffers;
 
  int _lf_trace_stop;
 
  FILE* _lf_trace_file;
 
  char filename[TRACE_MAX_FILENAME_LENGTH];
 
  object_description_t _lf_trace_object_descriptions[TRACE_OBJECT_TABLE_SIZE];
  size_t _lf_trace_object_descriptions_size;
 
  bool _lf_trace_header_written;
 
  // /** Pointer back to the environment which we are tracing within*/
  // environment_t* env;
} trace_t;