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.

Namespaces

namespace  faudes
 libFAUDES resides within the namespace faudes.

Macros

#define FAUDES_IDX_MAX   0xFFFFFFFFU
#define FAUDES_INT_MIN   (std::numeric_limits<int>::min())
#define FAUDES_INT_MAX   (std::numeric_limits<Type>::max())
#define FD_NAMELEN   13
 Length of strings for text fields in token output.
#define FD_MAXCONTAINERNAME   70
 Max length of automatic container names (set to -1 for unlimited)
#define FD_SMALLTRANSREL   100
 Max size of transrel for state name output.
#define FD_CONSECUTIVE   6
 Min number of states to use consecutive section in file output.
#define FD_RTIMAXSIG   5
 Max number of automatic signatures.
#define FAUDES_WRITE_DIRECT(message)   { if(!faudes::ConsoleOut::G()->Mute()) { std::cout << message << std::endl;} }
 Debug: console output, no redirection.
#define FAUDES_WRITE_CONSOLE(message)
 Debug: output macro for optional redirection of all console output.
#define FD_WARN(message)   FAUDES_WRITE_CONSOLE("FAUDES_WARNING: " << message)
 Debug: always report warnings.
#define FD_ERR(message)
 Debug: report more errors with file/line info.
#define FD_WP(message)   {FAUDES_WRITE_CONSOLE("FAUDES_PROGRESS: " << message); LoopCallback();}
 Application callback: optional write progress report to console or application.
#define FD_WPC(cntnow, cntdone, message)
 Application callback: optional write progress report to console or application, incl count.
#define FD_WPD(cntnow, cntdone, message)
 Alternative progessreport for development.
#define FD_DF(message)
 Debug: optional report on user functions.
#define FD_DG(message)
 Debug: optional report on generator operations.
#define FD_DC(message)
 Debug: optional report on container operations.
#define FD_DRTI(message)
 Debug: optional on function and type definition.
#define FD_DREG(message)
 Debug: optional report registry operations.
#define FD_DV(message)
 Debug: optional low-level report on iterations and token IO.
#define FAUDES_OBJCOUNT_INC(type)
 Debug: count objects, report on exit.
#define FAUDES_OBJCOUNT_DEC(type)
#define FAUDES_TIMER_START(msg)
 Debug: timing.
#define FAUDES_TIMER_LAP(msg)
#define FD_DLINE(message)
 Tutorial/debugging mark.
#define FAUDES_NODOC(a)
 Doxygen: exclude this from doxygen.

Typedefs

typedef uint32_t faudes::Idx
 Type definition for index type (allways 32bit)
typedef long int faudes::Int
 Type definition for integer type (let target system decide, minimum 32bit)
typedef double faudes::Float
 Type definition for real type.

Detailed Description

Compiletime 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

#define FAUDES_IDX_MAX   0xFFFFFFFFU

Definition at line 44 of file cfl_definitions.h.

#define FAUDES_INT_MAX   (std::numeric_limits<Type>::max())

Definition at line 49 of file cfl_definitions.h.

#define FAUDES_INT_MIN   (std::numeric_limits<int>::min())

Definition at line 48 of file cfl_definitions.h.

#define FAUDES_NODOC (   a)

Doxygen: exclude this from doxygen.

Definition at line 209 of file cfl_definitions.h.

#define FAUDES_OBJCOUNT_DEC (   type)

Definition at line 183 of file cfl_definitions.h.

#define FAUDES_OBJCOUNT_INC (   type)

Debug: count objects, report on exit.

Definition at line 182 of file cfl_definitions.h.

#define FAUDES_TIMER_LAP (   msg)
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.

#define FAUDES_TIMER_START (   msg)
Value:
{ \
FD_WARN("timer start " << msg ); \
faudes_gettimeofday(& gPerfTimer1 ); }

Debug: timing.

Definition at line 187 of file cfl_definitions.h.

#define FAUDES_WRITE_CONSOLE (   message)
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.

#define FAUDES_WRITE_DIRECT (   message)    { if(!faudes::ConsoleOut::G()->Mute()) { std::cout << message << std::endl;} }

Debug: console output, no redirection.

Definition at line 75 of file cfl_definitions.h.

#define FD_CONSECUTIVE   6

Min number of states to use consecutive section in file output.

Definition at line 64 of file cfl_definitions.h.

#define FD_DC (   message)

Debug: optional report on container operations.

Definition at line 153 of file cfl_definitions.h.

#define FD_DF (   message)

Debug: optional report on user functions.

Definition at line 138 of file cfl_definitions.h.

#define FD_DG (   message)

Debug: optional report on generator operations.

Definition at line 146 of file cfl_definitions.h.

#define FD_DLINE (   message)
Value:
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.

#define FD_DREG (   message)

Debug: optional report registry operations.

Definition at line 167 of file cfl_definitions.h.

#define FD_DRTI (   message)

Debug: optional on function and type definition.

Definition at line 160 of file cfl_definitions.h.

#define FD_DV (   message)

Debug: optional low-level report on iterations and token IO.

Definition at line 174 of file cfl_definitions.h.

#define FD_ERR (   message)

Debug: report more errors with file/line info.

Definition at line 91 of file cfl_definitions.h.

#define FD_MAXCONTAINERNAME   70

Max length of automatic container names (set to -1 for unlimited)

Definition at line 58 of file cfl_definitions.h.

#define FD_NAMELEN   13

Length of strings for text fields in token output.

Definition at line 55 of file cfl_definitions.h.

#define FD_RTIMAXSIG   5

Max number of automatic signatures.

Definition at line 67 of file cfl_definitions.h.

#define FD_SMALLTRANSREL   100

Max size of transrel for state name output.

Definition at line 61 of file cfl_definitions.h.

#define FD_WARN (   message)    FAUDES_WRITE_CONSOLE("FAUDES_WARNING: " << message)

Debug: always report warnings.

Definition at line 84 of file cfl_definitions.h.

#define FD_WP (   message)    {FAUDES_WRITE_CONSOLE("FAUDES_PROGRESS: " << message); LoopCallback();}

Application callback: optional write progress report to console or application.

Definition at line 96 of file cfl_definitions.h.

#define FD_WPC (   cntnow,
  cntdone,
  message 
)
Value:
{ std::ostringstream cfl_line; cfl_line << "FAUDES_PROGRESS: " << message << std::endl; \
faudes::ConsoleOut::G()->Write(cfl_line.str(),(cntnow),(cntdone)); LoopCallback(); }

Application callback: optional write progress report to console or application, incl count.

Definition at line 103 of file cfl_definitions.h.

#define FD_WPD (   cntnow,
  cntdone,
  message 
)
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