1 /* ide-diagnostics-manager-private.h
2  *
3  * Copyright 2018-2019 Christian Hergert <chergert@redhat.com>
4  *
5  * This program is free software: you can redistribute it and/or modify
6  * it under the terms of the GNU General Public License as published by
7  * the Free Software Foundation, either version 3 of the License, or
8  * (at your option) any later version.
9  *
10  * This program is distributed in the hope that it will be useful,
11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13  * GNU General Public License for more details.
14  *
15  * You should have received a copy of the GNU General Public License
16  * along with this program.  If not, see <http://www.gnu.org/licenses/>.
17  *
18  * SPDX-License-Identifier: GPL-3.0-or-later
19  */
20 
21 #pragma once
22 
23 #include "ide-buffer.h"
24 #include "ide-diagnostics-manager.h"
25 
26 G_BEGIN_DECLS
27 
28 void _ide_diagnostics_manager_file_opened      (IdeDiagnosticsManager *self,
29                                                 GFile                 *file,
30                                                 const gchar           *lang_id);
31 void _ide_diagnostics_manager_file_closed      (IdeDiagnosticsManager *self,
32                                                 GFile                 *file);
33 void _ide_diagnostics_manager_language_changed (IdeDiagnosticsManager *self,
34                                                 GFile                 *file,
35                                                 const gchar           *lang_id);
36 void _ide_diagnostics_manager_file_changed     (IdeDiagnosticsManager *self,
37                                                 GFile                 *file,
38                                                 GBytes                *contents,
39                                                 const gchar           *lang_id);
40 
41 G_END_DECLS
42