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