← Back to branch summary

~ubuntu-branches/ubuntu/maverick/adacontrol/maverick

« back to all changes in this revision

Viewing changes to test/t_real_operators.adb

  • Committer: Bazaar Package Importer
  • Author(s): Ludovic Brenta
  • Date: 2006-12-06 19:59:00 UTC
  • mfrom: (1.1.2 upstream) (2.1.1 etch)
  • Revision ID: james.westby@ubuntu.com-20061206195900-xnfcv9mmhb22lq95
Tags: 1.6r8-1

* New upstream version.
* debian/rules: add a copyright statement.  Use all available CPUs to
  build.  Install predefined rules files in /usr/share/adacontrol.
* debian/adacontrol.gpr: work around a compiler (GCC 4.1) bug triggered
  by two of AdaControl's source files.
* debian/README.Debian: new; explain about the predefined rule files.

Show diffs side-by-side

added added

removed removed

Lines of Context:
test/t_real_operators.adb
1
 
procedure T_real_operators is
2
 
 
3
 
   type A is digits 10 range -1.0 .. 1.0;
4
 
   type B is digits 10;
5
 
   subtype SB is B range -2.0 .. 10.0;
6
 
 
7
 
   type C is delta 0.125 range -1.0 .. 1.0;
8
 
   type D is delta 0.1 digits 15;
9
 
   subtype SD is D digits 10;
10
 
 
11
 
   VA1, VA2 : A := 0.0;
12
 
   VB1, VB2 : B := 0.0;
13
 
   VSB1, VSB2 : SB := 0.0;
14
 
   VC1, VC2 : C := 0.0;
15
 
   VD1, VD2 : D := 0.0;
16
 
   VSD1, VSD2 : SD := 0.0;
17
 
   F : Float := 0.0;
18
 
 
19
 
   function X return A is
20
 
   begin
21
 
      return A (0.0);
22
 
   end X;
23
 
 
24
 
   function X return SB is
25
 
   begin
26
 
      return SB (0.0);
27
 
   end X;
28
 
 
29
 
   function X return C is
30
 
   begin
31
 
      return C (0.0);
32
 
   end X;
33
 
 
34
 
   function X return Float is
35
 
   begin
36
 
      return Float (0.0);
37
 
   end X;
38
 
 
39
 
begin
40
 
 
41
 
   if VA1 = VA2 then
42
 
      null;
43
 
   elsif VB1 /= 0.0 then
44
 
      null;
45
 
   elsif 1.0 /= VB1 then
46
 
      null;
47
 
   elsif VB1 /= X then
48
 
      null;
49
 
   elsif VSB1 = VSB2 then
50
 
      null;
51
 
   elsif VSB1 = X then
52
 
      null;
53
 
   elsif VC1 /= 0.0 then
54
 
      null;
55
 
   elsif 1.0 /= VC1 then
56
 
      null;
57
 
   elsif VC1 /= C(0.0) then
58
 
      null;
59
 
   elsif VC1 = X then
60
 
      null;
61
 
   elsif VD1 = VD2 then
62
 
      null;
63
 
   elsif VSD1 /= 0.0 then
64
 
      null;
65
 
   elsif 1.0 /= VSD1 then
66
 
      null;
67
 
   elsif VSD1 /= SD(0.0) then
68
 
      null;
69
 
   elsif F /= X then
70
 
      null;
71
 
   elsif 0.0 = 1.0 then
72
 
      null;
73
 
   end if;
74
 
 
75
 
end T_real_operators;