1
----------------------------------------------------------------------
2
-- Rules.Silent_Exceptions - Package specification --
4
-- This software is (c) The European Organisation for the Safety --
5
-- of Air Navigation (EUROCONTROL) and Adalog 2004-2005. The Ada --
6
-- Controller is free software; you can redistribute it and/or --
7
-- modify it under terms of the GNU General Public License as --
8
-- published by the Free Software Foundation; either version 2, or --
9
-- (at your option) any later version. This unit is distributed --
10
-- in the hope that it will be useful, but WITHOUT ANY WARRANTY; --
11
-- without even the implied warranty of MERCHANTABILITY or FITNESS --
12
-- FOR A PARTICULAR PURPOSE. See the GNU General Public License --
13
-- for more details. You should have received a copy of the GNU --
14
-- General Public License distributed with this program; see file --
15
-- COPYING. If not, write to the Free Software Foundation, 59 --
16
-- Temple Place - Suite 330, Boston, MA 02111-1307, USA. --
18
-- As a special exception, if other files instantiate generics --
19
-- from the units of this program, or if you link this unit with --
20
-- other files to produce an executable, this unit does not by --
21
-- itself cause the resulting executable to be covered by the GNU --
22
-- General Public License. This exception does not however --
23
-- invalidate any other reasons why the executable file might be --
24
-- covered by the GNU Public License. --
26
-- This software is distributed in the hope that it will be --
27
-- useful, but WITHOUT ANY WARRANTY; without even the implied --
28
-- warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR --
30
----------------------------------------------------------------------
35
package Rules.Silent_Exceptions is
37
-- This rule can be used to check/search for exception handlers that do not
38
-- re-raise exception and do not call a report procedure
39
-- Parameters (1) => report procedure name
40
-- Parameters (2) => report procedure name
42
-- Parameters (N) => report procedure name
44
Rule_Id : constant Wide_String := "SILENT_EXCEPTIONS";
46
procedure Process_Exception_Handler (Handler : in Asis.Exception_Handler);
49
-- Expected Element_Kinds:
50
-- An_Exception_Handler
52
end Rules.Silent_Exceptions;