builder.h File Reference

#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.


Function Documentation

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.


Generated on Thu Feb 22 14:46:52 2007 for libutap by  doxygen 1.4.7