Classes | Typedefs | Functions

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_optionsclan_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().