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.
Define Documentation
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 |
|
) |
|
#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" |