options.h File Reference

#include <stdio.h>
#include <scoplib/scop.h>
#include <scoplib/macros.h>

Include dependency graph for options.h:

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

Go to the source code of this file.

Classes
struct	clan_options
Typedefs
typedef struct clan_options	clan_options_t
typedef struct clan_options *	clan_options_p
Functions
void	clan_options_print (FILE *, clan_options_p)
clan_options_p	clan_options_malloc ()
void	clan_options_free (clan_options_p)
clan_options_p	clan_options_read (int, char **, FILE **, FILE **)

---

Typedef Documentation

typedef struct clan_options* clan_options_p

typedef struct clan_options clan_options_t

---

Function Documentation

void clan_options_free

(

clan_options_p

options

)

clan_options_free function: This function frees the allocated memory for a clan_options_t structure.

Parameters:

options

Option structure to be freed.

• 24/05/2008: first version (from CLooG 0.14.1).

Referenced by clan_options_read(), and main().

clan_options_p clan_options_malloc

(

void

)

clan_options_malloc function: This functions allocate the memory space for a clan_options_t structure and fill its fields with the defaults values. It returns a pointer to the allocated clan_options_t structure.

• 24/05/2008: first version (from CLooG 0.14.1).

References clan_options::arraystag, clan_options::bounded_context, clan_options::castle, clan_options::inputscop, clan_options::name, and clan_options::structure.

Referenced by clan_options_read().

void clan_options_print	(	FILE *	foo,
		clan_options_p	options
	)

clan_option_print function: This function prints the content of a clan_options_t structure (program) into a file (foo, possibly stdout).

Parameters:

	foo	File where informations are printed.
	options	Option structure whose information have to be printed.

• 24/05/2008: first version (from CLooG 0.14.1).

References clan_options::bounded_context, clan_options::castle, clan_options::inputscop, clan_options::name, and clan_options::structure.

clan_options_p clan_options_read	(	int	argv,
		char **	argc,
		FILE **	input,
		FILE **	output
	)

clan_options_read function: This functions reads all the options and the input/output files thanks the the user's calling line elements (in argc). It fills a clan_options_t structure and the FILE structure corresponding to input and output files.

Parameters:

	argv	Number of strings in command line.
	argc	Array of command line strings.
	input	Input file (modified by the function).
	output	Output file (modified by the function).

• 24/05/2008: first version (from CLooG 0.14.1).

References clan_options::arraystag, clan_options::bounded_context, clan_options_free(), clan_options_help(), clan_options_malloc(), clan_options_set(), clan_options_version(), clan_options::inputscop, clan_options::name, and clan_options::structure.

Referenced by main().