]>
Commit | Line | Data |
---|---|---|
1d506c26 | 1 | -- Copyright 2016-2024 Free Software Foundation, Inc. |
09584414 JB |
2 | -- |
3 | -- This program is free software; you can redistribute it and/or modify | |
4 | -- it under the terms of the GNU General Public License as published by | |
5 | -- the Free Software Foundation; either version 3 of the License, or | |
6 | -- (at your option) any later version. | |
7 | -- | |
8 | -- This program is distributed in the hope that it will be useful, | |
9 | -- but WITHOUT ANY WARRANTY; without even the implied warranty of | |
10 | -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
11 | -- GNU General Public License for more details. | |
12 | -- | |
13 | -- You should have received a copy of the GNU General Public License | |
14 | -- along with this program. If not, see <http://www.gnu.org/licenses/>. | |
15 | ||
16 | with System; | |
17 | ||
18 | package Pck is | |
19 | type FP1_Type is delta 0.1 range -1.0 .. +1.0; | |
20 | FP1_Var : FP1_Type := 0.25; | |
21 | ||
22 | type FP2_Type is delta 0.01 digits 14; | |
23 | FP2_Var : FP2_Type := -0.01; | |
24 | ||
25 | type FP3_Type is delta 0.1 range 0.0 .. 1.0 with Small => 0.1/3.0; | |
26 | FP3_Var : FP3_Type := 0.1; | |
27 | ||
b49180ac TT |
28 | Delta4 : constant := 0.000_000_1; |
29 | type FP4_Type is delta Delta4 range 0.0 .. Delta4 * 10 | |
30 | with Small => Delta4 / 3.0; | |
31 | FP4_Var : FP4_Type := 2 * Delta4; | |
32 | ||
a625a8c9 TT |
33 | Delta5 : constant := 0.000_000_000_000_000_000_1; |
34 | type FP5_Type is delta Delta5 range 0.0 .. Delta5 * 10 | |
35 | with Small => Delta5 / 3.0; | |
36 | ||
09584414 JB |
37 | procedure Do_Nothing (A : System.Address); |
38 | end pck; | |
39 |