Clan  0.8.1
options.h
Go to the documentation of this file.
1 
2  /*+------- <| --------------------------------------------------------**
3  ** A Clan **
4  **--- /.\ -----------------------------------------------------**
5  ** <| [""M# options.h **
6  **- A | # -----------------------------------------------------**
7  ** /.\ [""M# First version: 24/05/2008 **
8  **- [""M# | # U"U#U -----------------------------------------------**
9  | # | # \ .:/
10  | # | #___| #
11  ****** | "--' .-" ******************************************************
12  * |"-"-"-"-"-#-#-## Clan : the Chunky Loop Analyzer (experimental) *
13  **** | # ## ###### *****************************************************
14  * \ .::::'/ *
15  * \ ::::'/ Copyright (C) 2008 University Paris-Sud 11 *
16  * :8a| # # ## *
17  * ::88a ### This is free software; you can redistribute it *
18  * ::::888a 8a ##::. and/or modify it under the terms of the GNU Lesser *
19  * ::::::::888a88a[]::: General Public License as published by the Free *
20  *::8:::::::::SUNDOGa8a::. Software Foundation, either version 2.1 of the *
21  *::::::::8::::888:Y8888:: License, or (at your option) any later version. *
22  *::::':::88::::888::Y88a::::::::::::... *
23  *::'::.. . ..... .. ... . *
24  * This software is distributed in the hope that it will be useful, but *
25  * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY *
26  * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License *
27  * for more details. *
28  * *
29  * You should have received a copy of the GNU Lesser General Public License *
30  * along with software; if not, write to the Free Software Foundation, Inc., *
31  * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA *
32  * *
33  * Clan, the Chunky Loop Analyzer *
34  * Written by Cedric Bastoul, Cedric.Bastoul@u-psud.fr *
35  * *
36  ******************************************************************************/
37 
38 
39 #ifndef CLAN_OPTIONS_H
40 # define CLAN_OPTIONS_H
41 
42 # include <stdio.h>
43 
44 # if defined(__cplusplus)
45 extern "C"
46  {
47 # endif
48 
49 
55 {
56  char* name ;
57  int castle;
58  int structure;
59  int autoscop;
60  int autopragma;
62  int autoinsert;
63  int inputscop;
65  int precision;
68  int nosimplify;
70  int outscoplib;
72  int extbody;
73 };
75 typedef struct clan_options* clan_options_p;
76 
77 
78 /*+****************************************************************************
79  * Structure display function *
80  ******************************************************************************/
81 void clan_options_print(FILE*, clan_options_p);
82 
83 
84 /*+****************************************************************************
85  * Memory allocation/deallocation function *
86  ******************************************************************************/
87 clan_options_p clan_options_malloc();
88 void clan_options_free(clan_options_p);
89 
90 
91 /*+****************************************************************************
92  * Reading function *
93  ******************************************************************************/
94 clan_options_p clan_options_read(int, char**, char***, FILE**);
95 
96 
97 /*+****************************************************************************
98  * Processing functions *
99  ******************************************************************************/
100 
101 /*+****************************************************************************
102  * Dirty hack functions *
103  ******************************************************************************/
104 
105 const char* clan_options_autopragma_file(void);
106 
107 # if defined(__cplusplus)
108  }
109 # endif
110 #endif /* define CLAN_OPTIONS_H */
const char * clan_options_autopragma_file(void)
Definition: options.c:352
int castle
Definition: options.h:57
int autopragma
Definition: options.h:60
int bounded_context
Definition: options.h:66
int nosimplify
Definition: options.h:68
int outscoplib
Definition: options.h:70
char * name
Definition: options.h:56
clan_options_p clan_options_read(int, char **, char ***, FILE **)
Definition: options.c:243
void clan_options_free(clan_options_p)
Definition: options.c:92
struct clan_options * clan_options_p
Definition: options.h:75
clan_options_p clan_options_malloc()
Definition: options.c:208
int autoinsert
Definition: options.h:62
int autoscop
Definition: options.h:59
int extbody
Definition: options.h:72
int noloopcontext
Definition: options.h:67
int inputscop
Definition: options.h:63
void clan_options_print(FILE *, clan_options_p)
Definition: options.c:61
int precision
Definition: options.h:65
int structure
Definition: options.h:58