#include <cstdio>
#include <stdexcept>
#include <string>
#include <boost/format.hpp>
#include "utap/common.h"
Go to the source code of this file.
Namespaces | |
namespace | UTAP |
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... | |
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. | |
int32_t | parseXTA (const char *, UTAP::ParserBuilder *, bool newxta) |
int32_t | parseXTA (const char *, UTAP::ParserBuilder *, bool newxta, UTAP::xta_part_t part, 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. | |
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. | |
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. | |
int32_t | parseProperty (const char *str, UTAP::ParserBuilder *aParserBuilder, bool ssql=false) |
Parse properties from a buffer. | |
int32_t | parseProperty (FILE *, UTAP::ParserBuilder *aParserBuilder, bool ssql=false) |
Parse properties from a file. |
int32_t parseProperty | ( | FILE * | , | |
UTAP::ParserBuilder * | aParserBuilder, | |||
bool | ssql = false | |||
) |
Parse properties from a file.
The properties are reported using the given ParserBuilder and errors are reported using the ErrorHandler. State space queries can be enabled by passing 'true' for the 'ssql' parameter.
int32_t parseProperty | ( | const char * | str, | |
UTAP::ParserBuilder * | aParserBuilder, | |||
bool | ssql = false | |||
) |
Parse properties from a buffer.
The properties are reported using the given ParserBuilder and errors are reported using the ErrorHandler. State space queries can be enabled by passing 'true' for the 'ssql' parameter.
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.
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.
int32_t parseXTA | ( | const char * | , | |
UTAP::ParserBuilder * | , | |||
bool | newxta, | |||
UTAP::xta_part_t | part, | |||
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.
int32_t parseXTA | ( | const char * | , | |
UTAP::ParserBuilder * | , | |||
bool | newxta | |||
) |
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.