|
Clan
0.8.0
|
00001 00002 /*+------- <| --------------------------------------------------------** 00003 ** A Clan ** 00004 **--- /.\ -----------------------------------------------------** 00005 ** <| [""M# options.h ** 00006 **- A | # -----------------------------------------------------** 00007 ** /.\ [""M# First version: 24/05/2008 ** 00008 **- [""M# | # U"U#U -----------------------------------------------** 00009 | # | # \ .:/ 00010 | # | #___| # 00011 ****** | "--' .-" ****************************************************** 00012 * |"-"-"-"-"-#-#-## Clan : the Chunky Loop Analyzer (experimental) * 00013 **** | # ## ###### ***************************************************** 00014 * \ .::::'/ * 00015 * \ ::::'/ Copyright (C) 2008 University Paris-Sud 11 * 00016 * :8a| # # ## * 00017 * ::88a ### This is free software; you can redistribute it * 00018 * ::::888a 8a ##::. and/or modify it under the terms of the GNU Lesser * 00019 * ::::::::888a88a[]::: General Public License as published by the Free * 00020 *::8:::::::::SUNDOGa8a::. Software Foundation, either version 2.1 of the * 00021 *::::::::8::::888:Y8888:: License, or (at your option) any later version. * 00022 *::::':::88::::888::Y88a::::::::::::... * 00023 *::'::.. . ..... .. ... . * 00024 * This software is distributed in the hope that it will be useful, but * 00025 * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY * 00026 * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License * 00027 * for more details. * 00028 * * 00029 * You should have received a copy of the GNU Lesser General Public License * 00030 * along with software; if not, write to the Free Software Foundation, Inc., * 00031 * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA * 00032 * * 00033 * Clan, the Chunky Loop Analyzer * 00034 * Written by Cedric Bastoul, Cedric.Bastoul@u-psud.fr * 00035 * * 00036 ******************************************************************************/ 00037 00038 00039 #ifndef CLAN_OPTIONS_H 00040 # define CLAN_OPTIONS_H 00041 00042 # include <stdio.h> 00043 00044 # if defined(__cplusplus) 00045 extern "C" 00046 { 00047 # endif 00048 00049 00054 struct clan_options 00055 { 00056 char* name ; 00057 int castle; 00058 int structure; 00059 int autoscop; 00060 int autopragma; 00062 int autoinsert; 00063 int inputscop; 00065 int precision; 00066 int bounded_context; 00067 int noloopcontext; 00068 int nosimplify; 00070 int outscoplib; 00072 int extbody; 00073 }; 00074 typedef struct clan_options clan_options_t; 00075 typedef struct clan_options* clan_options_p; 00076 00077 00078 /*+**************************************************************************** 00079 * Structure display function * 00080 ******************************************************************************/ 00081 void clan_options_print(FILE*, clan_options_p); 00082 00083 00084 /*+**************************************************************************** 00085 * Memory allocation/deallocation function * 00086 ******************************************************************************/ 00087 clan_options_p clan_options_malloc(); 00088 void clan_options_free(clan_options_p); 00089 00090 00091 /*+**************************************************************************** 00092 * Reading function * 00093 ******************************************************************************/ 00094 clan_options_p clan_options_read(int, char**, char***, FILE**); 00095 00096 00097 /*+**************************************************************************** 00098 * Processing functions * 00099 ******************************************************************************/ 00100 00101 00102 # if defined(__cplusplus) 00103 } 00104 # endif 00105 #endif /* define CLAN_OPTIONS_H */
1.8.0