26 #include <libxml/encoding.h>
27 #include <libxml/xmlwriter.h>
28 #include <libxml/xmlreader.h>
44 xmlChar *
ConvertInput(
const char *in,
const char *encoding);
49 std::string
concat(std::string s,
int i);
76 void nail(
int x,
int y);
78 void label(
const char* kind, std::string data,
int x,
int y);
std::map< int, int > selfLoops
Definition: xmlwriter.h:59
void endDocument()
Definition: xmlwriter.cpp:368
void labels(int x, int y, const edge_t &edge)
Definition: xmlwriter.cpp:267
std::string concatDouble(std::string s, double i)
concatenates a string and a double
void startElement(const char *element)
Definition: xmlwriter.cpp:62
virtual ~XMLWriter()
Definition: xmlwriter.cpp:55
void location(const state_t &state)
Definition: xmlwriter.cpp:169
void name(const state_t &state, int x, int y)
Definition: xmlwriter.cpp:152
Definition: xmlwriter.h:55
void system_instantiation()
Definition: xmlwriter.cpp:319
TimedAutomataSystem * taSystem
The system to write.
Definition: xmlwriter.h:58
void project()
Parse the project document.
Definition: xmlwriter.cpp:338
void init(const template_t &templ)
Definition: xmlwriter.cpp:197
void xmlwriteString(const xmlChar *content)
Definition: xmlwriter.cpp:92
std::string getChanPriority() const
Definition: xmlwriter.cpp:116
void writeStateAttributes(const state_t &state, int x, int y)
Definition: xmlwriter.cpp:161
xmlChar * ConvertInput(const char *in, const char *encoding)
ConvertInput: : string in a given encoding : the encoding used.
Definition: xmlwriter.cpp:383
int target(const edge_t &edge)
Definition: xmlwriter.cpp:215
Information about a location.
Definition: system.h:55
Information about an edge.
Definition: system.h:84
xmlTextWriterPtr writer
The underlying xmlTextWriter.
Definition: xmlwriter.h:57
void taTempl(const template_t &templ)
writes a template
Definition: xmlwriter.cpp:289
void declaration()
Parses optional declaration.
Definition: xmlwriter.cpp:108
XMLWriter(xmlTextWriterPtr writer, TimedAutomataSystem *taSystem)
Definition: xmlwriter.cpp:51
void transition(const edge_t &edge)
Definition: xmlwriter.cpp:249
void startDocument()
Definition: xmlwriter.cpp:353
void selfLoop(int loc, float initialAngle, const edge_t &edge)
Definition: xmlwriter.cpp:224
void writeAttribute(const char *name, const char *value)
Definition: xmlwriter.cpp:100
void writeElement(const char *name, const char *content)
Definition: xmlwriter.cpp:77
void nail(int x, int y)
Definition: xmlwriter.cpp:241
int source(const edge_t &edge)
Definition: xmlwriter.cpp:205
void label(const char *kind, std::string data, int x, int y)
Definition: xmlwriter.cpp:132
void writeString(const char *content)
Definition: xmlwriter.cpp:85
std::string concat(std::string s, int i)
concatenates a string and an int
void endElement()
Definition: xmlwriter.cpp:69