← Back to branch summary

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

« back to all changes in this revision

Viewing changes to rules/ravenscar.aru

  • 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:
rules/ravenscar.aru
 
1
-- These rules enforce some of the restriction of the Ravenscar profile
 
2
-- It is expected that new versions of AdaControl will allow more of the
 
3
-- Ravenscar profile to be checked.
 
4
 
 
5
-- Each rule's label matches the corresponding pragma or restriction
 
6
-- from the Ravenscar profile
 
7
-- Those that are currently not checked appear as comments.
 
8
 
 
9
--
 
10
--Pragmas:
 
11
--
 
12
 
 
13
--Task_Dispatching_Policy
 
14
--Locking_Policy
 
15
Detect_Blocking: check Potentially_Blocking_Operations;
 
16
 
 
17
--
 
18
-- Restrictions:
 
19
--
 
20
 
 
21
No_Abort_Statement    : check Statements (Abort);
 
22
No_Dynamic_Attachment : check Entities (Ada.Interrupts.Is_Reserved, 
 
23
                                        Ada.Interrupts.Is_Attached, 
 
24
                                        Ada.Interrupts.Current_Handler, 
 
25
                                        Ada.Interrupts.Attach_Handler, 
 
26
                                        Ada.Interrupts.Exchange_Handler, 
 
27
                                        Ada.Interrupts.Detach_Handler, 
 
28
                                        Ada.Interrupts.Reference);
 
29
No_Dynamic_Priorities : check entities (all 'priority, Ada.Dynamic_Priorities);
 
30
--No_Implicit_Heap_Allocations
 
31
--No_Local_Protected_Objects
 
32
--No_Local_Timing_Events
 
33
No_Protected_Type_Allocators : check Declarations (access_protected_type);
 
34
No_Relative_Delay            : check Statements (delay);
 
35
No_Requeue_Statements        : check Statements (requeue);
 
36
No_Select_Statements         : check Statements (selective_accept, 
 
37
                                                 conditional_entry_call,
 
38
                                                 timed_entry_call,
 
39
                                                 asynchronous_select);
 
40
No_Specific_Termination_Handlers : Check Entities (Ada.Task_Termination.Set_Specific_Handler,
 
41
                                                   Ada.Task_Termination.Specific_Handler);
 
42
No_Task_Allocators : check declarations (access_task_type);
 
43
--No_Task_Hierarchy
 
44
No_Task_Termination : check Terminating_Tasks;
 
45
--Simple_Barriers
 
46
--Max_Entry_Queue_Length
 
47
--Max_Protected_Entries
 
48
Max_Task_Entries : check Declarations (Task_Entry);
 
49
No_Dependence    : check Entities (Ada.Asynchronous_Task_Control,
 
50
                                   Ada.Calendar,
 
51
                                   Ada.Execution_Time.Group_Budget,
 
52
                                   Ada.Execution_Time.Timers,
 
53
                                   Ada.Task_Attributes);