libFAUDES

Sections

Index

definitions.h File Reference


Detailed Description

Compiletime options, doxygen pages/sections.

This file configures the runtime bahaviour of libFAUDES, in particular informative output on stderr and stdout; see also the Makefile.

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

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() ; };
 Fallback version string (should define version in Makefile).
#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_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.

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

Fallback version string (should define version in Makefile).

Debug: output macro for redirection to file

#define FD_CONSECUTIVE   6

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

#define FD_DC ( message   ) 

Debug: optional report on container operations.

#define FD_DF ( message   ) 

Debug: optional report on user functions.

#define FD_DG ( message   ) 

Debug: optional report on generator 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 FD_ERR ( message   ) 

Value:

FAUDES_WRITE_STDERR("FAUDES_CODE:"  << message << " in " \
    << __FILE__ << ":" << __LINE__ );
Debug: report more errors with file/line info.

#define FD_MAXCONTAINERNAME   70

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

#define FD_NAMELEN   13

Length of strings for text fields in token output.

#define FD_RTIMAXSIG   5

Max number of automatic signatures.

#define FD_SMALLTRANSREL   100

Max size of transrel for state name output.

#define FD_WARN ( message   )     FAUDES_WRITE_STDERR(message);

Debug: always report warnings.

#define FD_WP ( message   ) 

Debug: optional write progress report to stdout.

libFAUDES 2.13a c++ source docu by doxygen 1.5.6