← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/rules-potentially_blocking_operations.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-potentially_blocking_operations.ads
 
1
----------------------------------------------------------------------
 
2
--  Rules.Potentially_Blocking_Operations - Package specification   --
 
3
--                                                                  --
 
4
--  This module  is (c) BelgoControl and Adalog  2004-2005. The Ada --
 
5
--  Controller  is  free software;  you can redistribute  it and/or --
 
6
--  modify  it under  terms of  the GNU  General Public  License as --
 
7
--  published by the Free Software Foundation; either version 2, or --
 
8
--  (at your  option) any later version.  This  unit is distributed --
 
9
--  in the hope  that it will be useful,  but WITHOUT ANY WARRANTY; --
 
10
--  without even the implied warranty of MERCHANTABILITY or FITNESS --
 
11
--  FOR A  PARTICULAR PURPOSE.  See the GNU  General Public License --
 
12
--  for more details.   You should have received a  copy of the GNU --
 
13
--  General Public License distributed  with this program; see file --
 
14
--  COPYING.   If not, write  to the  Free Software  Foundation, 59 --
 
15
--  Temple Place - 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
 
33
  Asis;
 
34
 
 
35
package Rules.Potentially_Blocking_Operations is
 
36
 
 
37
   -- This rule controls calls to potentially blocking operations
 
38
   -- (ARM 9.5.1(8..16)) from protected operations
 
39
   -- Parameters: None
 
40
 
 
41
   Rule_Id : constant Wide_String := "POTENTIALLY_BLOCKING_OPERATIONS";
 
42
 
 
43
   procedure Process_Protected_Body (Protected_Body : in Asis.Declaration);
 
44
 
 
45
end Rules.Potentially_Blocking_Operations;