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"

Include dependency graph for utap.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
bool	parseXTA (FILE *, UTAP::TimedAutomataSystem *, bool newxta)
bool	parseXTA (const char *, UTAP::TimedAutomataSystem *, bool newxta)
int32_t	parseXMLBuffer (const char *, UTAP::TimedAutomataSystem *, bool newxta)
int32_t	parseXMLFile (const char *, UTAP::TimedAutomataSystem *, bool newxta)
UTAP::expression_t	parseExpression (const char *, UTAP::TimedAutomataSystem *, bool)
int32_t	writeXMLFile (const char *filename, UTAP::TimedAutomataSystem *taSystem)

Function Documentation

parseExpression()

UTAP::expression_t parseExpression	(	const char *	,
		UTAP::TimedAutomataSystem *	,
		bool
	)

Definition at line 3377 of file typechecker.cpp.

References UTAP::TypeChecker::checkExpression(), UTAP::ExpressionBuilder::getExpressions(), UTAP::TimedAutomataSystem::hasErrors(), parseXTA(), and UTAP::S_EXPRESSION.

Here is the call graph for this function:

parseXMLBuffer()

int32_t parseXMLBuffer	(	const char *	,
		UTAP::TimedAutomataSystem *	,
		bool	newxta
	)

Definition at line 3336 of file typechecker.cpp.

References UTAP::TimedAutomataSystem::accept(), UTAP::TimedAutomataSystem::hasErrors(), and parseXMLBuffer().

Referenced by parseXMLBuffer().

Here is the call graph for this function:

Here is the caller graph for this function:

parseXMLFile()

int32_t parseXMLFile	(	const char *	,
		UTAP::TimedAutomataSystem *	,
		bool	newxta
	)

Definition at line 3357 of file typechecker.cpp.

References UTAP::TimedAutomataSystem::accept(), UTAP::TimedAutomataSystem::hasErrors(), and parseXMLFile().

Referenced by main(), and parseXMLFile().

Here is the call graph for this function:

Here is the caller graph for this function:

parseXTA() [1/2]

bool parseXTA	(	FILE *	,
		UTAP::TimedAutomataSystem *	,
		bool	newxta
	)

Definition at line 3312 of file typechecker.cpp.

References UTAP::TimedAutomataSystem::accept(), UTAP::TimedAutomataSystem::hasErrors(), and parseXTA().

Referenced by parseExpression(), and parseXTA().

Here is the call graph for this function:

Here is the caller graph for this function:

parseXTA() [2/2]

bool parseXTA	(	const char *	,
		UTAP::TimedAutomataSystem *	,
		bool	newxta
	)

Definition at line 3324 of file typechecker.cpp.

References UTAP::TimedAutomataSystem::accept(), UTAP::TimedAutomataSystem::hasErrors(), and parseXTA().

Here is the call graph for this function:

writeXMLFile()

int32_t writeXMLFile	(	const char *	filename,
		UTAP::TimedAutomataSystem *	taSystem
	)

Definition at line 433 of file xmlwriter.cpp.

References UTAP::XMLWriter::writer, and UTAP::XMLWriter::XMLWriter().

Here is the call graph for this function: