Clan  0.8.1
Data Structures | Typedefs | Functions
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_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 **, char ***, FILE **)
 
const char * clan_options_autopragma_file (void)
 

Typedef Documentation

◆ clan_options_p

typedef struct clan_options* clan_options_p

Definition at line 75 of file options.h.

◆ clan_options_t

typedef struct clan_options clan_options_t

Definition at line 74 of file options.h.

Function Documentation

◆ clan_options_autopragma_file()

const char* clan_options_autopragma_file ( void  )

Definition at line 352 of file options.c.

◆ clan_options_free()

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
optionsOption structure to be freed.

Definition at line 92 of file options.c.

References clan_options::name.

Referenced by main().

◆ clan_options_malloc()

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 208 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, clan_options::outscoplib, clan_options::precision, and clan_options::structure.

Referenced by clan_options_read().

◆ clan_options_print()

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
fooFile where informations are printed.
optionsOption structure whose information have to be printed.

Definition at line 61 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_read()

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]argvNumber of strings in command line.
[in]argcArray of command line strings.
[out]input_filesNull-terminated array of input file names.
[out]outputOutput file.

Definition at line 243 of file options.c.

References clan_options::autoinsert, clan_options::autopragma, clan_options::autoscop, clan_options::bounded_context, clan_options_help(), clan_options_malloc(), clan_options_set(), clan_options_version(), 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().