00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022 #ifndef UTAP_HH
00023 #define UTAP_HH
00024
00025 #include <cstdio>
00026
00027 #include "utap/common.h"
00028 #include "utap/symbols.h"
00029 #include "utap/expression.h"
00030 #include "utap/system.h"
00031 #include "utap/statement.h"
00032
00033 bool parseXTA(FILE *, UTAP::ErrorHandler *, UTAP::TimedAutomataSystem *, bool newxta);
00034 bool parseXTA(const char *, UTAP::ErrorHandler *, UTAP::TimedAutomataSystem *, bool newxta);
00035 int32_t parseXMLBuffer(const char *, UTAP::ErrorHandler *, UTAP::TimedAutomataSystem *, bool newxta);
00036 int32_t parseXMLFile(const char *, UTAP::ErrorHandler *, UTAP::TimedAutomataSystem *, bool newxta);
00037 UTAP::expression_t parseExpression(
00038 const char *, UTAP::ErrorHandler *, UTAP::TimedAutomataSystem *, bool);
00039
00040 #endif