libFAUDES

Sections

Index

definitions.h File Reference


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 definitions.h.

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

Go to the source code of this file.

Namespaces

namespace  faudes

Defines

#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_STDERR(message)   { *faudes::DebugStream() << message << std::endl ; faudes::DebugStream()->flush() ; };
 Debug: output macro for redirection to file.
#define FD_WARN(message)   FAUDES_WRITE_STDERR(message);
 Debug: always report warnings.
#define FD_ERR(message)
 Debug: report more errors with file/line info.
#define FD_WP(message)
 Debug: optional write progress report to stdout.
#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 report on runtime-interface 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 FD_DLINE(message)
 Tutorial/debugging mark.
#define FAUDES_NODOC(a)
 Doxygen: exclude this from doxygen.

Typedefs

typedef long unsigned int faudes::Idx
 Type definition for index type.
typedef long int faudes::SignedIdx
 Type definition for signed index type.


Define Documentation

#define FAUDES_NODOC (  ) 

Doxygen: exclude this from doxygen.

Definition at line 146 of file definitions.h.

#define FAUDES_OBJCOUNT_DEC ( type   ) 

Definition at line 132 of file definitions.h.

#define FAUDES_OBJCOUNT_INC ( type   ) 

Debug: count objects, report on exit.

Definition at line 131 of file definitions.h.

#define FAUDES_WRITE_STDERR ( message   )     { *faudes::DebugStream() << message << std::endl ; faudes::DebugStream()->flush() ; };

Debug: output macro for redirection to file.

Definition at line 69 of file definitions.h.

#define FD_CONSECUTIVE   6

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

Definition at line 58 of file definitions.h.

#define FD_DC ( message   ) 

Debug: optional report on container operations.

Definition at line 109 of file definitions.h.

#define FD_DF ( message   ) 

Debug: optional report on user functions.

Definition at line 94 of file definitions.h.

#define FD_DG ( message   ) 

Debug: optional report on generator operations.

Definition at line 102 of file 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 136 of file definitions.h.

#define FD_DRTI ( message   ) 

Debug: optional report on runtime-interface operations.

Definition at line 116 of file definitions.h.

#define FD_DV ( message   ) 

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

Definition at line 123 of file definitions.h.

#define FD_ERR ( message   ) 

Debug: report more errors with file/line info.

Definition at line 80 of file definitions.h.

#define FD_MAXCONTAINERNAME   70

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

Definition at line 52 of file definitions.h.

#define FD_NAMELEN   13

Length of strings for text fields in token output.

Definition at line 49 of file definitions.h.

#define FD_RTIMAXSIG   5

Max number of automatic signatures.

Definition at line 61 of file definitions.h.

#define FD_SMALLTRANSREL   100

Max size of transrel for state name output.

Definition at line 55 of file definitions.h.

#define FD_WARN ( message   )     FAUDES_WRITE_STDERR(message);

Debug: always report warnings.

Definition at line 73 of file definitions.h.

#define FD_WP ( message   ) 

Debug: optional write progress report to stdout.

Definition at line 87 of file definitions.h.

libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6