![]() |
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 () |
Variables | |
| char * | feErrors |
| int | feErrorsLen |
| FILE * | feProtFile |
| int | pagelength |
| int | colmax |
| int | yy_blocklineno |
| int | yy_noeof |
| const char | feNotImplemented [] |
| int | feProt |
| BOOLEAN | feWarn |
| BOOLEAN | feOut |
| int | traceit |
| void(* | WarnS_callback )(const char *s) |
Definition at line 134 of file reporter.h.
Definition at line 144 of file reporter.h.
Definition at line 131 of file reporter.h.
Definition at line 128 of file reporter.h.
| #define dReportBug | ( | s | ) | dReportError("Bug reported: %s\n occurred at %s,%d\n", s, __FILE__, __LINE__) |
Definition at line 112 of file reporter.h.
| #define mflush | ( | ) | fflush(stdout) |
Definition at line 57 of file reporter.h.
Definition at line 132 of file reporter.h.
| #define SI_PROT_I 1 |
Definition at line 52 of file reporter.h.
| #define SI_PROT_IO 3 |
Definition at line 54 of file reporter.h.
| #define SI_PROT_O 2 |
Definition at line 53 of file reporter.h.
| #define TRACE_ASSIGN 256 |
Definition at line 45 of file reporter.h.
| #define TRACE_BREAKPOINT 32 |
Definition at line 39 of file reporter.h.
| #define TRACE_CALL 128 |
Definition at line 43 of file reporter.h.
| #define TRACE_CONV 512 |
Definition at line 47 of file reporter.h.
| #define TRACE_PROFILING 1024 |
Definition at line 49 of file reporter.h.
| #define TRACE_SHOW_LINE 4 |
Definition at line 32 of file reporter.h.
| #define TRACE_SHOW_LINE1 16 |
Definition at line 37 of file reporter.h.
| #define TRACE_SHOW_LINENO 2 |
Definition at line 30 of file reporter.h.
| #define TRACE_SHOW_PROC 1 |
Definition at line 28 of file reporter.h.
| #define TRACE_SHOW_RINGS 8 |
Definition at line 35 of file reporter.h.
| #define TRACE_TMP_BREAKPOINT 64 |
Definition at line 41 of file reporter.h.
| int dReportError | ( | const char * | fmt, |
| ... | |||
| ) |
Definition at line 45 of file dError.cc.
Definition at line 373 of file reporter.cc.
| void feStringAppendResources | ( | int | warn = -1 | ) |
Definition at line 398 of file reporter.cc.
| void Print | ( | const char * | fmt, |
| ... | |||
| ) |
| void PrintLn | ( | ) |
Definition at line 310 of file reporter.cc.
| void void PrintNSpaces | ( | const int | n | ) |
Definition at line 364 of file reporter.cc.
| void PrintS | ( | const char * | s | ) |
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.
| void StringAppend | ( | const char * | fmt, |
| ... | |||
| ) |
Definition at line 61 of file reporter.cc.
| void StringAppendS | ( | const char * | s | ) |
Definition at line 107 of file reporter.cc.
| char* StringEndS | ( | ) |
Definition at line 151 of file reporter.cc.
| void StringSetS | ( | const char * | s | ) |
Definition at line 128 of file reporter.cc.
| void Warn | ( | const char * | fmt, |
| ... | |||
| ) |
Definition at line 227 of file reporter.cc.
| void WarnS | ( | const char * | s | ) |
Definition at line 202 of file reporter.cc.
| void Werror | ( | const char * | fmt, |
| ... | |||
| ) |
| void void WerrorS_batch | ( | const char * | s | ) |
Definition at line 168 of file reporter.cc.
| char* feErrors |
Definition at line 47 of file reporter.cc.
| int feErrorsLen |
Definition at line 48 of file reporter.cc.
| const char feNotImplemented[] |
Definition at line 54 of file reporter.cc.
| BOOLEAN feOut |
Definition at line 50 of file reporter.cc.
| int feProt |
Definition at line 56 of file reporter.cc.
| FILE* feProtFile |
Definition at line 57 of file reporter.cc.
| BOOLEAN feWarn |
Definition at line 49 of file reporter.cc.
| int pagelength |
Definition at line 200 of file reporter.cc.
| int yy_blocklineno |
Definition at line 56 of file fevoices.cc.
| int yy_noeof |
Definition at line 55 of file fevoices.cc.