pretty.cpp File Reference

#include <cstdio>
#include <cstdlib>
#include <unistd.h>
#include <string>
#include <strings.h>
#include "utap/prettyprinter.h"

Include dependency graph for pretty.cpp:

Go to the source code of this file.

Functions
int	main (int argc, char *argv[])
	Test for pretty printer. More...

Variables
static bool	newSyntax = (getenv("UPPAAL_OLD_SYNTAX") == NULL)

Function Documentation

main()

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

Test for pretty printer.

Definition at line 38 of file pretty.cpp.

References newSyntax, parseXMLFile(), and parseXTA().

Here is the call graph for this function:

Variable Documentation

newSyntax

bool newSyntax = (getenv("UPPAAL_OLD_SYNTAX") == NULL)

static

Definition at line 33 of file pretty.cpp.

Referenced by main().