source: arduino-1-6-7/trunk/fuentes/arduino-ide-amd64/hardware/tools/avr/lib/gcc/avr/4.9.2/plugin/include/plugin.h @ 4837

Last change on this file since 4837 was 4837, checked in by daduve, 2 years ago

Adding new version

File size: 2.3 KB
Line 
1/* Header file for internal GCC plugin mechanism.
2   Copyright (C) 2009-2014 Free Software Foundation, Inc.
3
4This file is part of GCC.
5
6GCC is free software; you can redistribute it and/or modify
7it under the terms of the GNU General Public License as published by
8the Free Software Foundation; either version 3, or (at your option)
9any later version.
10
11GCC is distributed in the hope that it will be useful,
12but WITHOUT ANY WARRANTY; without even the implied warranty of
13MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14GNU General Public License for more details.
15
16You should have received a copy of the GNU General Public License
17along with GCC; see the file COPYING3.  If not see
18<http://www.gnu.org/licenses/>.  */
19
20#ifndef PLUGIN_H
21#define PLUGIN_H
22
23#include "gcc-plugin.h"
24
25struct attribute_spec;
26struct scoped_attributes;
27
28extern void add_new_plugin (const char *);
29extern void parse_plugin_arg_opt (const char *);
30extern int invoke_plugin_callbacks_full (int, void *);
31extern void initialize_plugins (void);
32extern bool plugins_active_p (void);
33extern void dump_active_plugins (FILE *);
34extern void debug_active_plugins (void);
35extern void warn_if_plugins (void);
36extern void plugins_internal_error_function (diagnostic_context *,
37                                             const char *, va_list *);
38extern void print_plugins_versions (FILE *file, const char *indent);
39extern void print_plugins_help (FILE *file, const char *indent);
40extern void finalize_plugins (void);
41
42extern bool flag_plugin_added;
43
44/* Called from inside GCC.  Invoke all plugin callbacks registered with
45   the specified event.
46   Return PLUGEVT_SUCCESS if at least one callback was called,
47   PLUGEVT_NO_CALLBACK if there was no callback.
48
49   EVENT    - the event identifier
50   GCC_DATA - event-specific data provided by the compiler  */
51
52static inline int
53invoke_plugin_callbacks (int event ATTRIBUTE_UNUSED,
54                         void *gcc_data ATTRIBUTE_UNUSED)
55{
56#ifdef ENABLE_PLUGIN
57  /* True iff at least one plugin has been added.  */
58  if (flag_plugin_added)
59    return invoke_plugin_callbacks_full (event, gcc_data);
60#endif
61
62  return PLUGEVT_NO_CALLBACK;
63}
64
65/* In attribs.c.  */
66
67extern void register_attribute (const struct attribute_spec *attr);
68extern struct scoped_attributes* register_scoped_attributes (const struct attribute_spec *,
69                                                             const char *);
70
71#endif /* PLUGIN_H */
Note: See TracBrowser for help on using the repository browser.