libutap
0.93
Uppaal Timed Automata Parser
|
#include "libparser.h"
#include "utap/position.h"
#include <libxml/xmlreader.h>
#include <libxml/xpath.h>
#include <libxml/parser.h>
#include <libxml/xmlstring.h>
#include <stdexcept>
#include <cstdarg>
#include <cctype>
#include <cstring>
#include <cassert>
#include <algorithm>
#include <list>
#include <vector>
#include <map>
#include <sstream>
#include "tags.cc"
Go to the source code of this file.
Namespaces | |
UTAP | |
Functions | |
static bool | UTAP::isempty (string str) |
Returns TRUE if string is zero length or contains only white spaces otherwise FALSE. More... | |
static bool | UTAP::isAlpha (unsigned char c) |
static bool | UTAP::isIdChr (unsigned char c) |
static string | UTAP::symbol (const char *str) |
Extracts the alpha-numerical symbol used for variable/type identifiers. More... | |
int32_t | parseXMLFile (const char *filename, ParserBuilder *pb, bool newxta) |
Parse the file with the given name assuming it is in the XML format, reporting the system to the given implementation of the the ParserBuilder interface and reporting errors to the ErrorHandler. More... | |
int32_t | parseXMLBuffer (const char *buffer, ParserBuilder *pb, bool newxta) |
Parse a buffer in the XML format, reporting the system to the given implementation of the the ParserBuilder interface and reporting errors to the ErrorHandler. More... | |
string | getXMLElement (xmlDocPtr docPtr, const string &path) |
Get the contents of the XML element with the specified path. More... | |
string | getXMLElement (const char *xmlBuffer, const string &path) |
Get the contents of the XML element with the specified path. More... | |
string getXMLElement | ( | xmlDocPtr | docPtr, |
const string & | path | ||
) |
Get the contents of the XML element with the specified path.
xmlDocPtr | - The XML document. |
pos | - The position path |
Definition at line 1353 of file xmlreader.cpp.
Referenced by getXMLElement().
string getXMLElement | ( | const char * | xmlBuffer, |
const string & | path | ||
) |
Get the contents of the XML element with the specified path.
xmlBuffer | - The data in the xml buffer |
pos | - The position path |
Definition at line 1390 of file xmlreader.cpp.
References getXMLElement().
int32_t parseXMLBuffer | ( | const char * | buffer, |
UTAP::ParserBuilder * | , | ||
bool | newxta | ||
) |
Parse a buffer in the XML format, reporting the system to the given implementation of the the ParserBuilder interface and reporting errors to the ErrorHandler.
If newxta is true, then the 4.x syntax is used; otherwise the 3.x syntax is used. On success, this function returns with a positive value.
Definition at line 1336 of file xmlreader.cpp.
Referenced by UTAP::ParserBuilder::~ParserBuilder().
int32_t parseXMLFile | ( | const char * | filename, |
UTAP::ParserBuilder * | , | ||
bool | newxta | ||
) |
Parse the file with the given name assuming it is in the XML format, reporting the system to the given implementation of the the ParserBuilder interface and reporting errors to the ErrorHandler.
If newxta is true, then the 4.x syntax is used; otherwise the 3.x syntax is used. On success, this function returns with a positive value.
Definition at line 1325 of file xmlreader.cpp.
Referenced by UTAP::ParserBuilder::~ParserBuilder().