cfl_definitions.h File Reference

Compiletime options. More...

#include "configuration.h"
#include "cfl_platform.h"
#include <sstream>
#include <iostream>
#include <inttypes.h>
#include "doxygen_groups.h"

Go to the source code of this file.

Namespaces

namespace  faudes
 

libFAUDES resides within the namespace faudes.


Defines

#define FAUDES_IDX_MAX   0xFFFFFFFFU
#define FAUDES_INT_MIN   LONG_MIN
#define FAUDES_INT_MAX   LONG_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_VERSION   "undefined version"
 Fallback version string (should define version in Makefile).
#define FAUDES_WRITE_DIRECT(message)   { if(!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)
 Application callback: optional write progress report to console or application.
#define FD_WPC(cntnow, contdone, 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 (use C std double, must at least represent Int).

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.


Define Documentation

#define FAUDES_IDX_MAX   0xFFFFFFFFU

Definition at line 47 of file cfl_definitions.h.

#define FAUDES_INT_MAX   LONG_MAX

Definition at line 52 of file cfl_definitions.h.

#define FAUDES_INT_MIN   LONG_MIN

Definition at line 51 of file cfl_definitions.h.

#define FAUDES_NODOC (  ) 

Doxygen: exclude this from doxygen.

Definition at line 212 of file cfl_definitions.h.

#define FAUDES_OBJCOUNT_DEC ( type   ) 

Definition at line 186 of file cfl_definitions.h.

#define FAUDES_OBJCOUNT_INC ( type   ) 

Debug: count objects, report on exit.

Definition at line 185 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 193 of file cfl_definitions.h.

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

Debug: timing.

Definition at line 190 of file cfl_definitions.h.

#define FAUDES_VERSION   "undefined version"

Fallback version string (should define version in Makefile).

Definition at line 74 of file cfl_definitions.h.

#define FAUDES_WRITE_CONSOLE ( message   ) 
Value:
{ if(!ConsoleOut::G()->Mute()) { \
    std::ostringstream cfl_line; cfl_line << message << std::endl; ConsoleOut::G()->Write(cfl_line.str());} }

Debug: output macro for optional redirection of all console output.

Definition at line 82 of file cfl_definitions.h.

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

Debug: console output, no redirection.

Definition at line 78 of file cfl_definitions.h.

#define FD_CONSECUTIVE   6

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

Definition at line 67 of file cfl_definitions.h.

#define FD_DC ( message   ) 

Debug: optional report on container operations.

Definition at line 156 of file cfl_definitions.h.

#define FD_DF ( message   ) 

Debug: optional report on user functions.

Definition at line 141 of file cfl_definitions.h.

#define FD_DG ( message   ) 

Debug: optional report on generator operations.

Definition at line 149 of file cfl_definitions.h.

#define FD_DLINE ( message   ) 
Value:
FD_WARN( \
  std::endl << "################################################ " << \
  std::endl << message << " at file " << __FILE__ << ", line " << __LINE__ << endl << \
  std::endl << "################################################ " << std::endl );

Tutorial/debugging mark.

Definition at line 202 of file cfl_definitions.h.

#define FD_DREG ( message   ) 

Debug: optional report registry operations.

Definition at line 170 of file cfl_definitions.h.

#define FD_DRTI ( message   ) 

Debug: optional on function and type definition.

Definition at line 163 of file cfl_definitions.h.

#define FD_DV ( message   ) 

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

Definition at line 177 of file cfl_definitions.h.

#define FD_ERR ( message   ) 

Debug: report more errors with file/line info.

Definition at line 94 of file cfl_definitions.h.

#define FD_MAXCONTAINERNAME   70

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

Definition at line 61 of file cfl_definitions.h.

#define FD_NAMELEN   13

Length of strings for text fields in token output.

Definition at line 58 of file cfl_definitions.h.

#define FD_RTIMAXSIG   5

Max number of automatic signatures.

Definition at line 70 of file cfl_definitions.h.

#define FD_SMALLTRANSREL   100

Max size of transrel for state name output.

Definition at line 64 of file cfl_definitions.h.

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

Debug: always report warnings.

Definition at line 87 of file cfl_definitions.h.

#define FD_WP ( message   ) 

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

Definition at line 101 of file cfl_definitions.h.

#define FD_WPC ( cntnow,
contdone,
message   ) 

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

Definition at line 110 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; \
    ConsoleOut::G()->Write(cfl_line.str(),(cntnow),(cntdone)); LoopCallback(); \
    faudes_gettimeofday(&start); \
    prog=cntnow; \
  } \
  init=true; }

Alternative progessreport for development.

Definition at line 114 of file cfl_definitions.h.

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen