#include <stdio.h>
#include <string.h>
#include "misc/auxiliary.h"
#include "resources/feFopen.h"
Go to the source code of this file.
|
#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) |
|
◆ _assume
#define _assume |
( |
|
x, |
|
|
|
f, |
|
|
|
l |
|
) |
| |
Value:do \
{ \
{ \
assume_violation(#
x,
f,
l); \
} \
} \
while (0)
Definition at line 134 of file reporter.h.
◆ _r_assume
#define _r_assume |
( |
|
x, |
|
|
|
f, |
|
|
|
l |
|
) |
| |
Value:do \
{ \
{ \
assume_violation(#
x,
f,
l); \
return 0; \
} \
} \
while (0)
Definition at line 144 of file reporter.h.
◆ assume
#define assume |
( |
|
x | ) |
_assume(x, __FILE__, __LINE__) |
◆ assume_violation
#define assume_violation |
( |
|
s, |
|
|
|
f, |
|
|
|
l |
|
) |
| dReportError("assume violation at %s:%d condition: %s", f,l,s) |
◆ dReportBug
#define dReportBug |
( |
|
s | ) |
dReportError("Bug reported: %s\n occurred at %s,%d\n", s, __FILE__, __LINE__) |
◆ mflush
#define mflush |
( |
| ) |
fflush(stdout) |
◆ r_assume
◆ SI_PROT_I
◆ SI_PROT_IO
◆ SI_PROT_O
◆ TRACE_ASSIGN
◆ TRACE_BREAKPOINT
#define TRACE_BREAKPOINT 32 |
◆ TRACE_CALL
◆ TRACE_CONV
◆ TRACE_PROFILING
#define TRACE_PROFILING 1024 |
◆ TRACE_SHOW_LINE
#define TRACE_SHOW_LINE 4 |
◆ TRACE_SHOW_LINE1
#define TRACE_SHOW_LINE1 16 |
◆ TRACE_SHOW_LINENO
#define TRACE_SHOW_LINENO 2 |
◆ TRACE_SHOW_PROC
#define TRACE_SHOW_PROC 1 |
◆ TRACE_SHOW_RINGS
#define TRACE_SHOW_RINGS 8 |
◆ TRACE_TMP_BREAKPOINT
#define TRACE_TMP_BREAKPOINT 64 |
◆ dErrorBreak()
◆ dReportError()
int dReportError |
( |
const char * |
fmt, |
|
|
|
... |
|
) |
| |
Definition at line 45 of file dError.cc.
48 #ifdef HAVE_EXECINFO_H
50 void *buffer[SIZE+1];
int ret;
56 #ifndef MAKE_DISTRIBUTION
57 fprintf(stderr,
"\n// ***dError: ");
58 vfprintf(stderr, fmt,
ap);
59 #if !defined(OM_NDEBUG)
60 #ifdef omPrintCurrentBackTraceMax
61 fprintf(stderr,
" occurred at: \n");
67 #ifdef HAVE_EXECINFO_H
68 ret = backtrace( buffer, SIZE );
69 fprintf(stderr,
"\nExecinfo backtrace (with %zd stack frames): \n", ret);
71 #ifndef HAVE_GCC_ABI_DEMANGLE
72 backtrace_symbols_fd(buffer, ret, STDERR_FILENO);
74 char **ptr = backtrace_symbols( buffer, ret );
80 for (
int i = 0;
i < ret;
i++)
89 fprintf (stderr,
" #%02d: '%s': ",
i,
s);
90 ss[0] =
'(';
s = ss + 1;
99 fprintf (stderr,
" '%s'", (demangledName[0] != 0)? demangledName:
s);
101 fprintf (stderr,
" '%s'",
s);
112 fprintf (stderr,
" + %s",
s);
116 fprintf (stderr,
" %s\n", ss + 2);
127 fprintf(stderr,
"\n// !!! YOU HAVE FOUND A BUG IN SINGULAR.");
128 fprintf(stderr,
"// !!! Please, email the input\n// and the following error message to singular@mathematik.uni-kl.de")
129 vfprintf(stderr, fmt,
ap);
static void malloc_free(void *ptr)
const CanonicalForm int s
int omPrintCurrentBackTraceMax(FILE *fd, int max)
static int index(p_Length length, p_Ord ord)
◆ eati()
Definition at line 373 of file reporter.cc.
377 if (*
s >=
'0' && *
s <=
'9')
380 while (*
s >=
'0' && *
s <=
'9')
388 Werror(
"`%s` greater than %d(max. integer representation)",
void Werror(const char *fmt,...)
◆ feStringAppendResources()
void feStringAppendResources |
( |
int |
warn = -1 | ) |
|
Definition at line 398 of file reporter.cc.
407 (r !=
NULL ? r :
""));
static char * feResource(feResourceConfig config, int warn)
feResourceConfig_s feResourceConfigs[]
void StringAppend(const char *fmt,...)
◆ Print()
void Print |
( |
const char * |
fmt, |
|
|
|
... |
|
) |
| |
◆ PrintLn()
Definition at line 310 of file reporter.cc.
void PrintS(const char *s)
◆ PrintNSpaces()
void void PrintNSpaces |
( |
const int |
n | ) |
|
◆ PrintS()
void PrintS |
( |
const char * |
s | ) |
|
Definition at line 284 of file reporter.cc.
300 fwrite(
s,1,strlen(
s),stdout);
void(* PrintS_callback)(const char *s)
static void SPrintS(const char *s)
◆ SPrintEnd()
Definition at line 273 of file reporter.cc.
#define omCheckAddr(addr)
static char * sprint_backup
◆ SPrintStart()
Definition at line 246 of file reporter.cc.
void WerrorS(const char *s)
◆ StringAppend()
void StringAppend |
( |
const char * |
fmt, |
|
|
|
... |
|
) |
| |
Definition at line 61 of file reporter.cc.
70 more = ((more + (8*1024-1))/(8*1024))*(8*1024);
74 #if (!defined(SING_NDEBUG)) && (!defined(OM_NDEBUG))
#define omReallocSize(addr, o_size, size)
#define omCheckAddrSize(addr, size)
void omMarkAsStaticAddr(void *addr)
static long feBufferLength
static char * feBufferStart
◆ StringAppendS()
void StringAppendS |
( |
const char * |
s | ) |
|
Definition at line 107 of file reporter.cc.
117 more = ((more + (8*1024-1))/(8*1024))*(8*1024);
#define omreallocSize(addr, o_size, size)
◆ StringEndS()
Definition at line 151 of file reporter.cc.
static char * feBuffer_save[8]
static char * feBufferStart_save[8]
static long feBufferLength_save[8]
◆ StringSetS()
void StringSetS |
( |
const char * |
s | ) |
|
Definition at line 128 of file reporter.cc.
142 more = ((
l + (4*1024-1))/(4*1024))*(4*1024);
#define INITIAL_PRINT_BUFFER
◆ Warn()
void Warn |
( |
const char * |
fmt, |
|
|
|
... |
|
) |
| |
Definition at line 227 of file reporter.cc.
232 #ifdef HAVE_VSNPRINTF
233 vsnprintf(
s, 256, fmt,
ap);
235 vsprintf(
s, fmt,
ap);
#define omFreeSize(addr, size)
void WarnS(const char *s)
◆ WarnS()
void WarnS |
( |
const char * |
s | ) |
|
Definition at line 202 of file reporter.cc.
204 #define warn_str "// ** "
210 fwrite(
s,1,strlen(
s),stdout);
211 fwrite(
"\n",1,1,stdout);
void(* WarnS_callback)(const char *s)
◆ Werror()
void Werror |
( |
const char * |
fmt, |
|
|
|
... |
|
) |
| |
◆ WerrorS_batch()
void void WerrorS_batch |
( |
const char * |
s | ) |
|
◆ colmax
◆ feErrors
◆ feErrorsLen
◆ feNotImplemented
const char feNotImplemented[] |
|
extern |
◆ feOut
◆ feProt
◆ feProtFile
◆ feWarn
◆ pagelength
◆ traceit
◆ WarnS_callback
void(* WarnS_callback) (const char *s) |
( |
const char * |
s | ) |
|
|
extern |
◆ yy_blocklineno
◆ yy_noeof