trace_util.h

Go to the documentation of this file.

 
#define LF_TRACE
#include "reactor.h"
#include "trace.h"
 
extern const char* trace_event_names[];
 
#define _LF_TRACE_FAILURE(trace_file)                                                                                  \
  do {                                                                                                                 \
    fprintf(stderr, "ERROR: Access to trace file failed.\n");                                                          \
    fclose(trace_file);                                                                                                \
    trace_file = NULL;                                                                                                 \
    exit(1);                                                                                                           \
  } while (0)
 
#define BUFFER_SIZE 1024
 
extern trace_record_t trace[];
 
extern FILE* trace_file;
 
extern FILE* output_file;
 
extern FILE* summary_file;
 
void usage();
 
extern instant_t start_time;
 
extern object_description_t* object_table;
extern int object_table_size;
 
extern char* top_level;
 
char* root_name(const char* path);
 
FILE* open_file(const char* path, const char* mode);
 
char* get_object_description(void* reactor, int* index);
 
char* get_trigger_name(void* trigger, int* index);
 
void print_table();
 
size_t read_header();
 
int read_trace();