options.h File Reference

#include <stdio.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.

Data Structures
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 **, char ***, FILE **)

---

Typedef Documentation

typedef struct clan_options* clan_options_p

Definition at line 75 of file options.h.

typedef struct clan_options clan_options_t

Definition at line 74 of file options.h.

---

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.

Definition at line 91 of file options.c.

References clan_options::name.

Referenced by 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.

Definition at line 207 of file options.c.

References clan_options::autoinsert, clan_options::autopragma, clan_options::autoscop, clan_options::bounded_context, clan_options::castle, CLAN_malloc, clan_options::extbody, clan_options::inputscop, clan_options::name, clan_options::noloopcontext, clan_options::nosimplify, clan_options::outscoplib, clan_options::precision, 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.

Definition at line 60 of file options.c.

References clan_options::autoinsert, clan_options::autopragma, clan_options::autoscop, clan_options::bounded_context, clan_options::castle, clan_options::extbody, clan_options::inputscop, clan_options::name, clan_options::noloopcontext, clan_options::nosimplify, and clan_options::structure.

clan_options_p clan_options_read	(	int	argv,
		char **	argc,
		char ***	input_files,
		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, a NULL-terminated array of input file names and the FILE structure corresponding to the output files.

Parameters:

[in]	argv	Number of strings in command line.
[in]	argc	Array of command line strings.
[out]	input_files	Null-terminated array of input file names.
[out]	output	Output file.

Definition at line 242 of file options.c.

References clan_options::autoinsert, clan_options::autopragma, clan_options::autoscop, clan_options::bounded_context, CLAN_error, CLAN_malloc, clan_options_help(), clan_options_malloc(), clan_options_set(), clan_options_version(), CLAN_realloc, CLAN_strdup, clan_options::extbody, clan_options::inputscop, clan_options::noloopcontext, clan_options::nosimplify, clan_options::outscoplib, clan_options::precision, and clan_options::structure.

Referenced by main().