Functions

options.c File Reference

#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <clan/options.h>
#include <clan/clan.h>
Include dependency graph for options.c:

Functions

void clan_options_print (FILE *foo, clan_options_p options)
void clan_options_free (clan_options_p options)
void clan_options_help ()
void clan_options_version ()
void clan_options_set (int *option, int argv, char **argc, int *number)
clan_options_p clan_options_malloc (void)
clan_options_p clan_options_read (int argv, char **argc, FILE **input, FILE **output)

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

void clan_options_help (  ) 

clan_options_help function: This function displays the quick help when the user set the option -help while calling clan. Prints are cut to respect the 509 characters limitation of the ISO C 89 compilers.

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

Referenced by clan_options_read().

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

void clan_options_set ( int *  option,
int  argv,
char **  argc,
int *  number 
)

clan_options_set function: This function sets the value of an option thanks to the user's calling line.

Parameters:
option The value to set,
argv Number of elements in the user's calling line,
argc Elements of the user's calling line,
number Number of the element corresponding to the considered option, this function adds 1 to number to pass away the option value.
  • 24/05/2008: first version (from CLooG 0.14.1).

Referenced by clan_options_read().

void clan_options_version (  ) 

clan_options_version function: This function displays some version informations when the user set the option -version while calling clan. Prints are cut to respect the 509 characters limitation of the ISO C 89 compilers.

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

References CLAN_RELEASE, and CLAN_VERSION.

Referenced by clan_options_read().