26 #define TRACE_SHOW_PROC 1 28 #define TRACE_SHOW_LINENO 2 30 #define TRACE_SHOW_LINE 4 33 #define TRACE_SHOW_RINGS 8 35 #define TRACE_SHOW_LINE1 16 37 #define TRACE_BREAKPOINT 32 39 #define TRACE_TMP_BREAKPOINT 64 41 #define TRACE_CALL 128 43 #define TRACE_ASSIGN 256 45 #define TRACE_CONV 512 47 #define TRACE_PROFILING 1024 55 #define mflush() fflush(stdout) 63 void WarnS(
const char *s);
69 void PrintS(
const char* s);
85 void Warn(
const char *fmt, ...);
87 const char *
eati(
const char *
s,
int *
i);
110 #define dReportBug(s) \ 111 dReportError("Bug reported: %s\n occurred at %s,%d\n", s, __FILE__, __LINE__) 122 #define assume(x) do {} while (0) 123 #define r_assume(x) do {} while (0) 126 #define assume_violation(s,f,l) \ 127 dReportError("assume violation at %s:%d condition: %s", f,l,s) 129 #define assume(x) _assume(x, __FILE__, __LINE__) 130 #define r_assume(x) _r_assume(x, __FILE__, __LINE__) 132 #define _assume(x, f, l) \ 137 assume_violation(#x, f, l); \ 142 #define _r_assume(x, f, l) \ 147 assume_violation(#x, f, l); \
const CanonicalForm int s
void void WerrorS_batch(const char *s)
const char feNotImplemented[]
void StringSetS(const char *s)
int dReportError(const char *fmt,...)
void PrintS(const char *s)
void feStringAppendResources(int warn=-1)
const char * eati(const char *s, int *i)
void Warn(const char *fmt,...)
void Werror(const char *fmt,...) __attribute__((format(printf
void Print(const char *fmt,...) __attribute__((format(printf
void WarnS(const char *s)
void StringAppend(const char *fmt,...)
void StringAppendS(const char *s)
void void PrintNSpaces(const int n)