libutap  0.93
Uppaal Timed Automata Parser
xmlwriter.cpp File Reference
#include "utap/xmlwriter.h"
#include <cstring>
Include dependency graph for xmlwriter.cpp:

Go to the source code of this file.

Macros

#define MY_ENCODING   "utf-8"
 
#define STEP   120
 
#define PINK   "#ff6666"
 
#define PI   3.1416
 
#define RADIUS   80
 

Functions

int32_t writeXMLFile (const char *filename, TimedAutomataSystem *taSystem)
 

Macro Definition Documentation

◆ MY_ENCODING

#define MY_ENCODING   "utf-8"

Definition at line 33 of file xmlwriter.cpp.

Referenced by UTAP::XMLWriter::label(), and UTAP::XMLWriter::startDocument().

◆ PI

#define PI   3.1416

Definition at line 36 of file xmlwriter.cpp.

Referenced by UTAP::XMLWriter::selfLoop(), and UTAP::XMLWriter::transition().

◆ PINK

#define PINK   "#ff6666"

Definition at line 35 of file xmlwriter.cpp.

Referenced by UTAP::XMLWriter::location().

◆ RADIUS

#define RADIUS   80

Definition at line 37 of file xmlwriter.cpp.

Referenced by UTAP::XMLWriter::selfLoop().

◆ STEP

#define STEP   120

Function Documentation

◆ writeXMLFile()

int32_t writeXMLFile ( const char *  filename,
TimedAutomataSystem taSystem 
)

Definition at line 433 of file xmlwriter.cpp.

References UTAP::XMLWriter::writer, and UTAP::XMLWriter::XMLWriter().

Here is the call graph for this function: