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

utap.hh File Reference

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

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)
bool parseXMLBuffer (const char *, UTAP::ErrorHandler *, UTAP::TimedAutomataSystem *, bool newxta)
bool parseXMLFile (const char *, UTAP::ErrorHandler *, UTAP::TimedAutomataSystem *, bool newxta)


Function Documentation

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

bool 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 Wed Jul 2 12:08:19 2003 for libutap by doxygen 1.3.2