syntaxcheck.cpp File Reference

#include <vector>
#include "utap/utap.h"
#include <string.h>

Include dependency graph for syntaxcheck.cpp:

Go to the source code of this file.

Functions
int	main (int argc, char *argv[])

Function Documentation

main()

int main	(	int	argc,
		char *	argv[]
	)

Definition at line 32 of file syntaxcheck.cpp.

References UTAP::TimedAutomataSystem::getErrors(), UTAP::TimedAutomataSystem::getWarnings(), parseXMLFile(), and parseXTA().

Here is the call graph for this function: