← Back to branch summary

~ubuntu-branches/ubuntu/jaunty/adacontrol/jaunty

« back to all changes in this revision

Viewing changes to src/rules-terminating_tasks.ads

  • Committer: Bazaar Package Importer
  • Author(s): Ludovic Brenta
  • Date: 2006-10-12 19:17:22 UTC
  • mfrom: (1.1.1 upstream)
  • Revision ID: james.westby@ubuntu.com-20061012191722-fo5bcn4k5r0iubgd
Tags: 1.5r24-1

* New upstream release.
* debian/control (Depends): add gnat-4.1.
  (Enhances): add gnat-gps.
* debian/adacontrol.gpr: build pfni.
* debian/rules: install the new gnat-gps plug-in, and pfni.
* debian/pfni.1: new.
* patches/gps-integration.patch: new.

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/rules-terminating_tasks.ads
 
1
----------------------------------------------------------------------
 
2
--  Rules.Terminating_Tasks - Package specification                 --
 
3
--                                                                  --
 
4
--  This software  is (c) Adalog  2004-2005. The Ada  Controller is --
 
5
--  free software;  you can redistribute it and/or  modify it under --
 
6
--  terms of  the GNU  General Public License  as published  by the --
 
7
--  Free Software Foundation; either version 2, or (at your option) --
 
8
--  any later version.   This unit is distributed in  the hope that --
 
9
--  it will be  useful, but WITHOUT ANY WARRANTY;  without even the --
 
10
--  implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR --
 
11
--  PURPOSE.  See the GNU  General Public License for more details. --
 
12
--  You  should have  received a  copy  of the  GNU General  Public --
 
13
--  License distributed  with this  program; see file  COPYING.  If --
 
14
--  not, write to  the Free Software Foundation, 59  Temple Place - --
 
15
--  Suite 330, Boston, MA 02111-1307, USA.                          --
 
16
--                                                                  --
 
17
--  As  a special  exception, if  other files  instantiate generics --
 
18
--  from the units  of this program, or if you  link this unit with --
 
19
--  other files  to produce  an executable, this  unit does  not by --
 
20
--  itself cause the resulting executable  to be covered by the GNU --
 
21
--  General  Public  License.   This  exception  does  not  however --
 
22
--  invalidate any  other reasons why the executable  file might be --
 
23
--  covered by the GNU Public License.                              --
 
24
--                                                                  --
 
25
--  This  software is  distributed  in  the hope  that  it will  be --
 
26
--  useful,  but WITHOUT  ANY  WARRANTY; without  even the  implied --
 
27
--  warranty  of  MERCHANTABILITY   or  FITNESS  FOR  A  PARTICULAR --
 
28
--  PURPOSE.                                                        --
 
29
----------------------------------------------------------------------
 
30
 
 
31
-- Asis
 
32
with Asis;
 
33
 
 
34
package Rules.Terminating_Tasks is
 
35
 
 
36
   -- This rule can be used to check/search task termination.
 
37
   -- It allows to check/search tasks that are terminating since they
 
38
   -- may result in an unexpected system behavior (f.e., a terminating
 
39
   -- task may result in halting the system)
 
40
   -- Parameter(s): none
 
41
 
 
42
   Rule_Id : constant Wide_String := "TERMINATING_TASKS";
 
43
 
 
44
   procedure Process_Task_Body (Body_Decl : in Asis.Declaration);
 
45
 
 
46
end Rules.Terminating_Tasks;