![]() |
My Project
|
Go to the source code of this file.
Macros | |
#define | TRACE_SHOW_PROC 1 |
#define | TRACE_SHOW_LINENO 2 |
#define | TRACE_SHOW_LINE 4 |
#define | TRACE_SHOW_RINGS 8 |
#define | TRACE_SHOW_LINE1 16 |
#define | TRACE_BREAKPOINT 32 |
#define | TRACE_TMP_BREAKPOINT 64 |
#define | TRACE_CALL 128 |
#define | TRACE_ASSIGN 256 |
#define | TRACE_CONV 512 |
#define | TRACE_PROFILING 1024 |
#define | SI_PROT_I 1 |
#define | SI_PROT_O 2 |
#define | SI_PROT_IO 3 |
#define | mflush() fflush(stdout) |
#define | dReportBug(s) dReportError("Bug reported: %s\n occurred at %s,%d\n", s, __FILE__, __LINE__) |
#define | assume_violation(s, f, l) dReportError("assume violation at %s:%d condition: %s", f,l,s) |
#define | assume(x) _assume(x, __FILE__, __LINE__) |
#define | r_assume(x) _r_assume(x, __FILE__, __LINE__) |
#define | _assume(x, f, l) |
#define | _r_assume(x, f, l) |
Functions | |
void | Werror (const char *fmt,...) __attribute__((format(printf |
void void | WerrorS_batch (const char *s) |
void | WarnS (const char *s) |
void | Print (const char *fmt,...) __attribute__((format(printf |
void void | PrintNSpaces (const int n) |
void | PrintLn () |
void | PrintS (const char *s) |
void | StringAppend (const char *fmt,...) |
void | StringAppendS (const char *s) |
void | StringSetS (const char *s) |
char * | StringEndS () |
void | Warn (const char *fmt,...) |
const char * | eati (const char *s, int *i) |
void | feStringAppendResources (int warn=-1) |
void | SPrintStart () |
char * | SPrintEnd () |
int | dReportError (const char *fmt,...) |
void | dErrorBreak () |
Definition at line 135 of file reporter.h.
Definition at line 129 of file reporter.h.
Definition at line 58 of file reporter.h.
#define SI_PROT_I 1 |
Definition at line 53 of file reporter.h.
#define SI_PROT_IO 3 |
Definition at line 55 of file reporter.h.
#define SI_PROT_O 2 |
Definition at line 54 of file reporter.h.
#define TRACE_ASSIGN 256 |
Definition at line 46 of file reporter.h.
#define TRACE_BREAKPOINT 32 |
Definition at line 40 of file reporter.h.
#define TRACE_CALL 128 |
Definition at line 44 of file reporter.h.
#define TRACE_CONV 512 |
Definition at line 48 of file reporter.h.
#define TRACE_PROFILING 1024 |
Definition at line 50 of file reporter.h.
#define TRACE_SHOW_LINE 4 |
Definition at line 33 of file reporter.h.
#define TRACE_SHOW_LINE1 16 |
Definition at line 38 of file reporter.h.
#define TRACE_SHOW_LINENO 2 |
Definition at line 31 of file reporter.h.
#define TRACE_SHOW_PROC 1 |
Definition at line 29 of file reporter.h.
#define TRACE_SHOW_RINGS 8 |
Definition at line 36 of file reporter.h.
#define TRACE_TMP_BREAKPOINT 64 |
Definition at line 42 of file reporter.h.
|
extern |
Definition at line 44 of file dError.cc.
Definition at line 373 of file reporter.cc.
Definition at line 398 of file reporter.cc.
void PrintLn | ( | ) |
Definition at line 310 of file reporter.cc.
Definition at line 284 of file reporter.cc.
char * SPrintEnd | ( | ) |
Definition at line 273 of file reporter.cc.
void SPrintStart | ( | ) |
Definition at line 246 of file reporter.cc.
Definition at line 61 of file reporter.cc.
Definition at line 107 of file reporter.cc.
char * StringEndS | ( | ) |
Definition at line 151 of file reporter.cc.
Definition at line 128 of file reporter.cc.
Definition at line 227 of file reporter.cc.
Definition at line 202 of file reporter.cc.
Definition at line 168 of file reporter.cc.
EXTERN_VAR int colmax |
Definition at line 17 of file reporter.h.
EXTERN_VAR char* feErrors |
Definition at line 14 of file reporter.h.
EXTERN_VAR int feErrorsLen |
Definition at line 15 of file reporter.h.
Definition at line 54 of file reporter.cc.
EXTERN_VAR BOOLEAN feOut |
Definition at line 23 of file reporter.h.
EXTERN_VAR int feProt |
Definition at line 21 of file reporter.h.
EXTERN_VAR FILE* feProtFile |
Definition at line 16 of file reporter.h.
EXTERN_VAR BOOLEAN feWarn |
Definition at line 22 of file reporter.h.
EXTERN_VAR int pagelength |
Definition at line 17 of file reporter.h.
EXTERN_VAR int traceit |
Definition at line 24 of file reporter.h.
EXTERN_VAR int traceit_stop |
Definition at line 25 of file reporter.h.
Definition at line 26 of file reporter.h.
EXTERN_VAR int yy_blocklineno |
Definition at line 18 of file reporter.h.
EXTERN_VAR int yy_noeof |
Definition at line 19 of file reporter.h.