clan_options Struct Reference

#include <options.h>

List of all members.

Public Attributes
char *	name
int	castle
int	structure
int	inputscop
int	arraystag
int	bounded_context

---

Detailed Description

The clan_options_t structure stores the software/library options for all functions. They are not too many for now, but they will come someday...

---

Member Data Documentation

int clan_options::arraystag

1 to dump the table of array names between the <arrays></arrays> tags, 0 otherwise (default).

Referenced by clan_options_malloc(), clan_options_read(), and main().

int clan_options::bounded_context

1 to force global parameters >= -1 (default 0)

Referenced by clan_options_malloc(), clan_options_print(), clan_options_read(), and yyparse().

int clan_options::castle

1 to put the Clan castle in output, 0 otherwise.

Referenced by clan_options_malloc(), clan_options_print(), and main().

int clan_options::inputscop

1 to read a .scop on the input, 0 to read a source file (default).

Referenced by clan_options_malloc(), clan_options_print(), clan_options_read(), and main().

char* clan_options::name

Name of the input file.

Referenced by clan_options_malloc(), clan_options_print(), and clan_options_read().

int clan_options::structure

1 to print the clan_scop structure, 0 otherwise.

Referenced by clan_options_malloc(), clan_options_print(), clan_options_read(), and main().

---

The documentation for this struct was generated from the following file:

• options.h