← Back to branch summary

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

« back to all changes in this revision

Viewing changes to test/t_non_static_constraints.adb

  • 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:
test/t_non_static_constraints.adb
 
1
procedure T_Non_Static_Constraints is
 
2
   type D (X : Integer) is null record;
 
3
 
 
4
   V : Integer;
 
5
 
 
6
   type Tab1 is array (Integer range <>)    of Integer;
 
7
   type Tab2 is array (Integer range 1..10) of Integer;
 
8
   type Tab3 is array (Integer range 1..V)  of Integer; -- should trigger
 
9
 
 
10
   X : D(V);                                            -- should trigger
 
11
   Y : D(1);
 
12
 
 
13
   T1 : Tab1 (1..10);
 
14
   T2 : array (1..10) of Integer;
 
15
   T3 : Tab1 (1..V);                                    -- should trigger
 
16
   T4 : array (1..V) of Integer;                        -- should trigger
 
17
 
 
18
   subtype Machin is Integer range 1..V;                -- not index or discr. constraint
 
19
 
 
20
begin
 
21
   null;
 
22
end T_Non_Static_Constraints;