Computer Laboratory

tesla_debug.c File Reference

Detailed Description

Debugging helpers for TESLA state.

Definition in file tesla_debug.c.

#include "tesla_internal.h"
#include "tesla_strnlen.h"
#include <fnmatch.h>
#include <stdlib.h>
#include <unistd.h>
+ Include dependency graph for tesla_debug.c:

Go to the source code of this file.

Functions

void print_transition (const char *debug, const struct tesla_transition *t)
 Print a human-readable version of a tesla_transition. More...
 
char * sprint_transition (char *buf, const char *end, const struct tesla_transition *t)
 Print a human-readable version of a tesla_transition into a buffer. More...
 
void print_transitions (const char *debug, const struct tesla_transitions *transp)
 Print a human-readable version of tesla_transitions. More...
 
char * sprint_transitions (char *buffer, const char *end, const struct tesla_transitions *tp)
 Print a human-readable version of tesla_transitions into a buffer. More...
 
char * key_string (char *buffer, const char *end, const struct tesla_key *key)
 Print a key into a buffer. More...
 
int32_t tesla_debugging (const char *name)
 Are we in (verbose) debug mode? More...
 
void assert_instanceof (struct tesla_instance *instance, struct tesla_class *tclass)
 Assert that a tesla_instance is an instance of a tesla_class. More...
 
void print_class (const struct tesla_class *c)
 Print a tesla_class to stderr. More...
 
void print_key (const char *debug_name, const struct tesla_key *key)
 Print a tesla_key to stderr. More...