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

#include "nusmv/core/hrc/dumpers/HrcDumperXml.h"
#include "nusmv/core/hrc/dumpers/HrcDumper.h"
#include "nusmv/core/hrc/dumpers/HrcDumper_private.h"
#include "nusmv/core/utils/utils.h"

Go to the source code of this file.

Data Structures
struct	HrcDumperXml
	Private and protected interface of class 'HrcDumperXml'. More...
Defines
#define	_HRC_DUMP_NL()
#define	_HRC_DUMP_STR_NL(x)
#define	_HRC_DUMP_XML_NODE(n)   hrc_dumper_xml_dump_escaped_node(HRC_DUMPER_XML(self), n)
#define	_HRC_DUMP_XML_NODE_BEGIN_END(t, n)
#define	_HRC_DUMP_XML_TAG_BEGIN(t)
#define	_HRC_DUMP_XML_TAG_BEGIN_END(t, s)
#define	_HRC_DUMP_XML_TAG_END(t)
#define	SMV_XSD_NS   "http://es.fbk.eu/xsd"

---

Define Documentation

 

#define _HRC_DUMP_NL

(

)

Value:

{                                                                   \
    if (self->use_indentation) {                                      \
      hrc_dumper_nl(self);                                            \
    }                                                                 \
  }

#define _HRC_DUMP_STR_NL

(

x

)

Value:

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

#define _HRC_DUMP_XML_NODE

(

n

)

hrc_dumper_xml_dump_escaped_node(HRC_DUMPER_XML(self), n)

#define _HRC_DUMP_XML_NODE_BEGIN_END	(	t,
		n		)

Value:

{                                        \
    _HRC_DUMP_STR("<");                    \
    _HRC_DUMP_STR(t);                      \
    _HRC_DUMP_STR(">");                    \
    _HRC_DUMP_XML_NODE(n);                 \
    _HRC_DUMP_STR("</");                   \
    _HRC_DUMP_STR(t);                      \
    _HRC_DUMP_STR_NL(">");                 \
  }

#define _HRC_DUMP_XML_TAG_BEGIN

(

t

)

Value:

{                                \
  _HRC_DUMP_STR("<");              \
  _HRC_DUMP_STR(t);                \
  _HRC_DUMP_STR(">");              \
  }

#define _HRC_DUMP_XML_TAG_BEGIN_END	(	t,
		s		)

Value:

{                                             \
    _HRC_DUMP_XML_TAG_BEGIN(t);                 \
    if ((char*) NULL != (char*) s) {            \
      _HRC_DUMP_STR(s);                         \
    }                                           \
    _HRC_DUMP_XML_TAG_END(t);                   \
  }

#define _HRC_DUMP_XML_TAG_END

(

t

)

Value:

{                                \
    _HRC_DUMP_STR("</");           \
    _HRC_DUMP_STR(t);              \
    _HRC_DUMP_STR_NL(">");         \
  }

#define SMV_XSD_NS   "http://es.fbk.eu/xsd"

Todo:

Missing synopsis

Todo:

Missing description