Fix DealII type problems.
[official-gcc/Ramakrishna.git] / gcc / gcc-plugin.h
blob2e36f486262981c1661c4822eab1cd6ce7c12e8b
1 /* Public header file for plugins to include.
2 Copyright (C) 2009 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3, or (at your option)
9 any later version.
11 GCC is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 #ifndef GCC_PLUGIN_H
21 #define GCC_PLUGIN_H
23 #ifndef IN_GCC
24 #define IN_GCC
25 #endif
27 #include "config.h"
28 #include "system.h"
30 /* Event names. Keep in sync with plugin_event_name[]. */
31 enum plugin_event
33 PLUGIN_PASS_MANAGER_SETUP, /* To hook into pass manager. */
34 PLUGIN_FINISH_TYPE, /* After finishing parsing a type. */
35 PLUGIN_FINISH_UNIT, /* Useful for summary processing. */
36 PLUGIN_CXX_CP_PRE_GENERICIZE, /* Allows to see low level AST in C++ FE. */
37 PLUGIN_FINISH, /* Called before GCC exits. */
38 PLUGIN_INFO, /* Information about the plugin. */
39 PLUGIN_GGC_START, /* Called at start of GCC Garbage Collection. */
40 PLUGIN_GGC_MARKING, /* Extend the GGC marking. */
41 PLUGIN_GGC_END, /* Called at end of GGC. */
42 PLUGIN_REGISTER_GGC_ROOTS, /* Register an extra GGC root table. */
43 PLUGIN_REGISTER_GGC_CACHES, /* Register an extra GGC cache table. */
44 PLUGIN_ATTRIBUTES, /* Called during attribute registration. */
45 PLUGIN_START_UNIT, /* Called before processing a translation unit. */
46 PLUGIN_PRAGMAS, /* Called during pragma registration. */
47 PLUGIN_EVENT_LAST /* Dummy event used for indexing callback
48 array. */
51 extern const char *plugin_event_name[];
53 struct plugin_argument
55 char *key; /* key of the argument. */
56 char *value; /* value is optional and can be NULL. */
59 /* Additional information about the plugin. Used by --help and --version. */
61 struct plugin_info
63 const char *version;
64 const char *help;
67 /* Represents the gcc version. Used to avoid using an incompatible plugin. */
69 struct plugin_gcc_version
71 const char *basever;
72 const char *datestamp;
73 const char *devphase;
74 const char *revision;
75 const char *configuration_arguments;
78 /* Object that keeps track of the plugin name and its arguments. */
79 struct plugin_name_args
81 char *base_name; /* Short name of the plugin (filename without
82 .so suffix). */
83 const char *full_name; /* Path to the plugin as specified with
84 -fplugin=. */
85 int argc; /* Number of arguments specified with
86 -fplugin-arg-... */
87 struct plugin_argument *argv; /* Array of ARGC key-value pairs. */
88 const char *version; /* Version string provided by plugin. */
89 const char *help; /* Help string provided by plugin. */
92 /* The default version check. Compares every field in VERSION. */
94 extern bool plugin_default_version_check (struct plugin_gcc_version *,
95 struct plugin_gcc_version *);
97 /* Function type for the plugin initialization routine. Each plugin module
98 should define this as an externally-visible function with name
99 "plugin_init."
101 PLUGIN_INFO - plugin invocation information.
102 VERSION - the plugin_gcc_version symbol of GCC.
104 Returns 0 if initialization finishes successfully. */
106 typedef int (*plugin_init_func) (struct plugin_name_args *plugin_info,
107 struct plugin_gcc_version *version);
109 /* Declaration for "plugin_init" function so that it doesn't need to be
110 duplicated in every plugin. */
111 extern int plugin_init (struct plugin_name_args *plugin_info,
112 struct plugin_gcc_version *version);
114 /* Function type for a plugin callback routine.
116 GCC_DATA - event-specific data provided by GCC
117 USER_DATA - plugin-specific data provided by the plugin */
119 typedef void (*plugin_callback_func) (void *gcc_data, void *user_data);
121 /* Called from the plugin's initialization code. Register a single callback.
122 This function can be called multiple times.
124 PLUGIN_NAME - display name for this plugin
125 EVENT - which event the callback is for
126 CALLBACK - the callback to be called at the event
127 USER_DATA - plugin-provided data.
130 /* This is also called without a callback routine for the
131 PLUGIN_PASS_MANAGER_SETUP, PLUGIN_INFO, PLUGIN_REGISTER_GGC_ROOTS and
132 PLUGIN_REGISTER_GGC_CACHES pseudo-events, with a specific user_data.
135 extern void register_callback (const char *plugin_name,
136 enum plugin_event event,
137 plugin_callback_func callback,
138 void *user_data);
140 #endif /* GCC_PLUGIN_H */