28 #define TRACE_SHOW_PROC 1 30 #define TRACE_SHOW_LINENO 2 32 #define TRACE_SHOW_LINE 4 35 #define TRACE_SHOW_RINGS 8 37 #define TRACE_SHOW_LINE1 16 39 #define TRACE_BREAKPOINT 32 41 #define TRACE_TMP_BREAKPOINT 64 43 #define TRACE_CALL 128 45 #define TRACE_ASSIGN 256 47 #define TRACE_CONV 512 49 #define TRACE_PROFILING 1024 57 #define mflush() fflush(stdout) 65 void WarnS(
const char *s);
71 void PrintS(
const char* s);
87 void Warn(
const char *fmt, ...);
89 const char *
eati(
const char *
s,
int *
i);
112 #define dReportBug(s) \ 113 dReportError("Bug reported: %s\n occurred at %s,%d\n", s, __FILE__, __LINE__) 124 #define assume(x) do {} while (0) 125 #define r_assume(x) do {} while (0) 128 #define assume_violation(s,f,l) \ 129 dReportError("assume violation at %s:%d condition: %s", f,l,s) 131 #define assume(x) _assume(x, __FILE__, __LINE__) 132 #define r_assume(x) _r_assume(x, __FILE__, __LINE__) 134 #define _assume(x, f, l) \ 139 assume_violation(#x, f, l); \ 144 #define _r_assume(x, f, l) \ 149 assume_violation(#x, f, l); \
const CanonicalForm int s
void(* WarnS_callback)(const char *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)