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 (  ) 
Value:
{                                                                   \
    hrc_dumper_dump_indent(self);                                     \
    fprintf(self->fout, x);                                           \
    if (self->use_indentation) {                                      \
      hrc_dumper_nl(self);                                            \
    }                                                                 \
  }
#define _HRC_DUMP_XML_NODE (  )     hrc_dumper_xml_dump_escaped_node(HRC_DUMPER_XML(self), n)
#define _HRC_DUMP_XML_NODE_BEGIN_END ( t,
 ) 
Value:
#define _HRC_DUMP_XML_TAG_BEGIN (  ) 
Value:
{                                \
  _HRC_DUMP_STR("<");              \
  _HRC_DUMP_STR(t);                \
  _HRC_DUMP_STR(">");              \
  }
#define _HRC_DUMP_XML_TAG_BEGIN_END ( t,
 ) 
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 (  ) 
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
 All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines

Generated on 14 Oct 2015 for NuSMV Developers Manual by  doxygen 1.6.1