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 |
( |
a |
|
) |
|
Doxygen: exclude this from doxygen.
Definition at line 146 of file definitions.h.
#define FAUDES_OBJCOUNT_DEC |
( |
type |
|
) |
|
#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.
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.
Length of strings for text fields in token output.
Definition at line 49 of file definitions.h.
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.