NuSMV/code/nusmv/core/hrc/dumpers/HrcDumper_private.h File Reference

#include "nusmv/core/hrc/dumpers/HrcDumper.h"
#include "nusmv/core/node/node.h"
#include "nusmv/core/utils/EnvObject.h"
#include "nusmv/core/utils/EnvObject_private.h"
#include "nusmv/core/utils/utils.h"

Go to the source code of this file.

Data Structures
struct	HrcDumper
	Private and protected interface of class 'HrcDumper'. More...
Defines
#define	_HRC_DUMP_COMMENT(x)
#define	_HRC_DUMP_HEADER(x)
#define	_HRC_DUMP_NL()
#define	_HRC_DUMP_NODE(x)
#define	_HRC_DUMP_STR(x)
#define	_HRC_DUMP_STR_NL(x)
#define	HRC_DEFAULT_COLUMNS   79
#define	HRC_MODULE_SUFFIX   "_hrc"

---

Define Documentation

#define _HRC_DUMP_COMMENT

(

x

)

Value:

{                               \
    self->dump_comment(self, x);  \
  }

#define _HRC_DUMP_HEADER

(

x

)

Value:

{                               \
    self->dump_header(self, x);   \
  }

 

#define _HRC_DUMP_NL

(

)

Value:

{                                                                   \
    hrc_dumper_nl(self);                                              \
  }

#define _HRC_DUMP_NODE

(

x

)

Value:

{                                                    \
    hrc_dumper_dump_indent(self);                      \
    self->dump_node(self, x);                          \
  }

#define _HRC_DUMP_STR

(

x

)

Value:

{                               \
    hrc_dumper_dump_indent(self); \
    fprintf(self->fout, x);       \
  }

#define _HRC_DUMP_STR_NL

(

x

)

Value:

{                                                                   \
    hrc_dumper_dump_indent(self);                                     \
    fprintf(self->fout, x);                                           \
    hrc_dumper_nl(self);                                              \
  }

#define HRC_DEFAULT_COLUMNS   79

Todo:

Missing synopsis

Todo:

Missing description

#define HRC_MODULE_SUFFIX   "_hrc"

Todo:

Missing synopsis

Todo:

Missing description