Main Page | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

utap.h File Reference

#include <cstdio>
#include "utap/common.h"
#include "utap/symbols.h"
#include "utap/expression.h"
#include "utap/system.h"
#include "utap/statement.h"

Go to the source code of this file.

Functions

bool parseXTA (FILE *, UTAP::ErrorHandler *, UTAP::TimedAutomataSystem *, bool newxta)
bool parseXTA (const char *, UTAP::ErrorHandler *, UTAP::TimedAutomataSystem *, bool newxta)
int32_t parseXMLBuffer (const char *, UTAP::ErrorHandler *, UTAP::TimedAutomataSystem *, bool newxta)
int32_t parseXMLFile (const char *, UTAP::ErrorHandler *, UTAP::TimedAutomataSystem *, bool newxta)
UTAP::expression_t parseExpression (const char *, UTAP::ErrorHandler *, UTAP::TimedAutomataSystem *, bool)


Function Documentation

UTAP::expression_t parseExpression const char *  ,
UTAP::ErrorHandler ,
UTAP::TimedAutomataSystem ,
bool 
 

int32_t parseXMLBuffer const char *  ,
UTAP::ErrorHandler ,
UTAP::TimedAutomataSystem ,
bool  newxta
 

int32_t parseXMLFile const char *  ,
UTAP::ErrorHandler ,
UTAP::TimedAutomataSystem ,
bool  newxta
 

bool parseXTA const char *  ,
UTAP::ErrorHandler ,
UTAP::TimedAutomataSystem ,
bool  newxta
 

bool parseXTA FILE *  ,
UTAP::ErrorHandler ,
UTAP::TimedAutomataSystem ,
bool  newxta
 


Generated on Thu Nov 10 13:16:12 2005 for libutap by  doxygen 1.4.2