cfl_definitions.h File Reference Compiletime options. More... #include <iostream> #include <sstream> #include <inttypes.h> #include "configuration.h" #include "doxygen_groups.h" Go to the source code of this file.
Detailed DescriptionCompiletime options. This file configures the runtime bahaviour of libFAUDES, in particular informative output on stderr and stdout; see also the Makefile. Definition in file cfl_definitions.h. Macro Definition Documentation
Definition at line 44 of file cfl_definitions.h.
Definition at line 49 of file cfl_definitions.h.
Definition at line 48 of file cfl_definitions.h.
Doxygen: exclude this from doxygen. Definition at line 209 of file cfl_definitions.h.
Definition at line 183 of file cfl_definitions.h.
Debug: count objects, report on exit. Definition at line 182 of file cfl_definitions.h.
Value:
{ \
faudes_systime_t now; \
faudes_mstime_t lap; \
faudes_gettimeofday(&now); \
faudes_diffsystime(now,gPerfTimer1,&lap); \
FD_WARN("timer lap " << msg << " " << lap << "ms");}
Definition at line 190 of file cfl_definitions.h.
Value:
Debug: timing. Definition at line 187 of file cfl_definitions.h.
Value:
{ if(!faudes::ConsoleOut::G()->Mute()) { \
std::ostringstream cfl_line; cfl_line << message << std::endl; faudes::ConsoleOut::G()->Write(cfl_line.str());} }
Debug: output macro for optional redirection of all console output. Definition at line 79 of file cfl_definitions.h.
Debug: console output, no redirection. Definition at line 75 of file cfl_definitions.h.
Min number of states to use consecutive section in file output. Definition at line 64 of file cfl_definitions.h.
Debug: optional report on container operations. Definition at line 153 of file cfl_definitions.h.
Debug: optional report on user functions. Definition at line 138 of file cfl_definitions.h.
Debug: optional report on generator operations. Definition at line 146 of file cfl_definitions.h.
Value:
FD_WARN( \
std::endl << "################################################ " << \
std::endl << message << " at file " << __FILE__ << ", line " << __LINE__ << endl << \
std::endl << "################################################ " << std::endl );
Tutorial/debugging mark. Definition at line 199 of file cfl_definitions.h.
Debug: optional report registry operations. Definition at line 167 of file cfl_definitions.h.
Debug: optional on function and type definition. Definition at line 160 of file cfl_definitions.h.
Debug: optional low-level report on iterations and token IO. Definition at line 174 of file cfl_definitions.h.
Debug: report more errors with file/line info. Definition at line 91 of file cfl_definitions.h.
Max length of automatic container names (set to -1 for unlimited) Definition at line 58 of file cfl_definitions.h.
Length of strings for text fields in token output. Definition at line 55 of file cfl_definitions.h.
Max number of automatic signatures. Definition at line 67 of file cfl_definitions.h.
Max size of transrel for state name output. Definition at line 61 of file cfl_definitions.h.
Debug: always report warnings. Definition at line 84 of file cfl_definitions.h.
Application callback: optional write progress report to console or application. Definition at line 96 of file cfl_definitions.h.
Value:
{ std::ostringstream cfl_line; cfl_line << "FAUDES_PROGRESS: " << message << std::endl; \
Application callback: optional write progress report to console or application, incl count. Definition at line 103 of file cfl_definitions.h.
Value:
{ \
static faudes_systime_t start; \
static faudes_systime_t now; \
static faudes_mstime_t lap; \
static Int prog; \
static bool init(false); \
if(!init) { faudes_gettimeofday(&start); prog=cntnow;} \
faudes_gettimeofday(&now); \
faudes_diffsystime(now,start,&lap); \
if(!init) lap=10000; \
if(lap>=10000) { \
Int cps = (cntnow-prog)/(lap/1000); \
std::ostringstream cfl_line; \
cfl_line << "FAUDES_PROGRESS: " << message; \
if(cntnow>0) cfl_line << " (#/sec: " << cps << ")";\
cfl_line << std::endl; \
faudes::ConsoleOut::G()->Write(cfl_line.str(),(cntnow),(cntdone)); LoopCallback(); \
faudes_gettimeofday(&start); \
prog=cntnow; \
} \
init=true; }
Alternative progessreport for development. Definition at line 111 of file cfl_definitions.h. libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen |