File : s-osinte-android.adb
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT RUN-TIME LIBRARY (GNARL) COMPONENTS --
4 -- --
5 -- S Y S T E M . O S _ I N T E R F A C E --
6 -- --
7 -- B o d y --
8 -- --
9 -- Copyright (C) 1995-2015, AdaCore --
10 -- --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. --
17 -- --
18 -- --
19 -- --
20 -- --
21 -- --
22 -- You should have received a copy of the GNU General Public License and --
23 -- a copy of the GCC Runtime Library Exception along with this program; --
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
25 -- <http://www.gnu.org/licenses/>. --
26 -- --
27 -- GNARL was developed by the GNARL team at Florida State University. --
28 -- Extensive contributions were provided by Ada Core Technologies, Inc. --
29 -- --
30 ------------------------------------------------------------------------------
31
32 -- This is an Android version of this package.
33
34 pragma Polling (Off);
35 -- Turn off polling, we do not want ATC polling to take place during
36 -- tasking operations. It causes infinite loops and other problems.
37
38 -- This package encapsulates all direct interfaces to OS services
39 -- that are needed by children of System.
40
41 with Interfaces.C; use Interfaces.C;
42
43 package body System.OS_Interface is
44
45 -----------------
46 -- To_Duration --
47 -----------------
48
49 function To_Duration (TS : timespec) return Duration is
50 begin
51 return Duration (TS.tv_sec) + Duration (TS.tv_nsec) / 10#1#E9;
52 end To_Duration;
53
54 -----------------
55 -- To_Timespec --
56 -----------------
57
58 function To_Timespec (D : Duration) return timespec is
59 S : time_t;
60 F : Duration;
61
62 begin
63 S := time_t (Long_Long_Integer (D));
64 F := D - Duration (S);
65
66 -- If F has negative value due to a round-up, adjust for positive F
67 -- value.
68
69 if F < 0.0 then
70 S := S - 1;
71 F := F + 1.0;
72 end if;
73
74 return timespec'(tv_sec => S,
75 tv_nsec => long (Long_Long_Integer (F * 10#1#E9)));
76 end To_Timespec;
77
78 end System.OS_Interface;