libutap  0.93
Uppaal Timed Automata Parser
builder.h File Reference
#include <cstdio>
#include <stdexcept>
#include <string>
#include <boost/format.hpp>
#include "utap/common.h"
Include dependency graph for builder.h:
This graph shows which files directly or indirectly include this file:

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

Function Documentation

◆ parseProperty() [1/2]

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().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ parseProperty() [2/2]

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.

Here is the call graph for this function:

◆ parseXMLBuffer()

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().

Here is the caller graph for this function:

◆ parseXMLFile()

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().

Here is the caller graph for this function:

◆ parseXTA() [1/3]

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().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ parseXTA() [2/3]

int32_t parseXTA ( const char *  ,
UTAP::ParserBuilder ,
bool  newxta 
)

Definition at line 8955 of file parser.cc.

References parseXTA(), and UTAP::S_XTA.

Here is the call graph for this function:

◆ parseXTA() [3/3]

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.

Here is the call graph for this function: