libutap
0.93
Uppaal Timed Automata Parser
|
#include <cstdio>
#include <stdexcept>
#include <string>
#include <boost/format.hpp>
#include "utap/common.h"
Go to the source code of this file.
Classes | |
class | UTAP::TypeException |
Exception indicating a type error. More... | |
class | UTAP::ParserBuilder |
The ParserBuilder interface is used by the parser to output the parsed system. More... | |
Namespaces | |
UTAP | |
Functions | |
int32_t | parseXTA (FILE *, UTAP::ParserBuilder *, bool newxta) |
Parse a file in the XTA format, reporting the system to the given implementation of the the ParserBuilder interface and reporting errors to the ErrorHandler. More... | |
int32_t | parseXTA (const char *, UTAP::ParserBuilder *, bool newxta) |
int32_t | parseXTA (const char *, UTAP::ParserBuilder *, bool newxta, UTAP::xta_part_t part, const std::string &xpath) |
Parse a buffer in the XTA 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, 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. More... | |
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. More... | |
int32_t | parseProperty (const char *str, UTAP::ParserBuilder *aParserBuilder, const std::string &xpath="") |
Parse properties from a buffer. More... | |
int32_t | parseProperty (FILE *, UTAP::ParserBuilder *aParserBuilder) |
Parse properties from a file. More... | |
int32_t parseProperty | ( | const char * | str, |
UTAP::ParserBuilder * | aParserBuilder, | ||
const std::string & | xpath = "" |
||
) |
Parse properties from a buffer.
The properties are reported using the given ParserBuilder and errors are reported using the ErrorHandler.
Definition at line 8968 of file parser.cc.
References parseProperty(), and YY_CURRENT_BUFFER.
Referenced by UTAP::ParserBuilder::~ParserBuilder().
int32_t parseProperty | ( | FILE * | , |
UTAP::ParserBuilder * | aParserBuilder | ||
) |
Parse properties from a file.
The properties are reported using the given ParserBuilder and errors are reported using the ErrorHandler.
Definition at line 8977 of file parser.cc.
References parseProperty(), YY_BUF_SIZE, and YY_CURRENT_BUFFER.
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().
int32_t parseXTA | ( | FILE * | , |
UTAP::ParserBuilder * | , | ||
bool | newxta | ||
) |
Parse a file in the XTA 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 8960 of file parser.cc.
References parseXTA(), UTAP::S_XTA, YY_BUF_SIZE, and YY_CURRENT_BUFFER.
Referenced by UTAP::ParserBuilder::~ParserBuilder().
int32_t parseXTA | ( | const char * | , |
UTAP::ParserBuilder * | , | ||
bool | newxta | ||
) |
Definition at line 8955 of file parser.cc.
References parseXTA(), and UTAP::S_XTA.
int32_t parseXTA | ( | const char * | , |
UTAP::ParserBuilder * | , | ||
bool | newxta, | ||
UTAP::xta_part_t | part, | ||
const std::string & | xpath | ||
) |
Parse a buffer in the XTA 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 8946 of file parser.cc.
References parseXTA(), and YY_CURRENT_BUFFER.