1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
----------------------------------------------------------------------
-- Rules.Abnormal_Function_Return - Package specification --
-- --
-- This software is (c) CSEE and Adalog 2004-2006. The Ada --
-- Controller is free software; you can redistribute it and/or --
-- modify it under terms of the GNU General Public License as --
-- published by the Free Software Foundation; either version 2, or --
-- (at your option) any later version. This unit is distributed --
-- in the hope that it will be useful, but WITHOUT ANY WARRANTY; --
-- without even the implied warranty of MERCHANTABILITY or FITNESS --
-- FOR A PARTICULAR PURPOSE. See the GNU General Public License --
-- for more details. You should have received a copy of the GNU --
-- General Public License distributed with this program; see file --
-- COPYING. If not, write to the Free Software Foundation, 59 --
-- Temple Place - Suite 330, Boston, MA 02111-1307, USA. --
-- --
-- As a special exception, if other files instantiate generics --
-- from the units of this program, or if you link this unit with --
-- other files to produce an executable, this unit does not by --
-- itself cause the resulting executable to be covered by the GNU --
-- General Public License. This exception does not however --
-- invalidate any other reasons why the executable file might be --
-- covered by the GNU Public License. --
-- --
-- This software is distributed in the hope that it will be --
-- useful, but WITHOUT ANY WARRANTY; without even the implied --
-- warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR --
-- PURPOSE. --
----------------------------------------------------------------------
-- Asis
with
Asis;
package Rules.Abnormal_Function_Return is
-- This rule can be used to check/search for functions that can
-- propagate Program_Error due to not executing a return statement
-- Parameters: none
Rule_Id : constant Wide_String := "ABNORMAL_FUNCTION_RETURN";
procedure Process_Function_Body (Function_Body : in Asis.Expression);
end Rules.Abnormal_Function_Return;
|
