xref: /netbsd-src/external/gpl3/gdb/dist/gdb/testsuite/gdb.ada/atomic_enum/pck.adb (revision 3a0e586386038907db1bf587e70954aa7539b5e8)
1--  Copyright 2008-2024 Free Software Foundation, Inc.
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
16package body Pck is
17
18   type Data_T is (One, Two, Three);
19   pragma Atomic (Data_T);
20
21   Data_Flag : Data_T := One;
22
23   procedure Increment is
24   begin
25      if Data_Flag = Data_T'Last then
26         Data_Flag := Data_T'First;
27      else
28         Data_Flag := Data_T'Succ (Data_Flag);
29      end if;
30   end Increment;
31
32   function Is_First return Boolean is
33   begin
34      return Data_Flag = Data_T'First;
35   end Is_First;
36
37end Pck;
38