1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
|
/***********************************************************************/
/* */
/* Applied Type System */
/* */
/***********************************************************************/
/* (*
** ATS/Postiats - Unleashing the Potential of Types!
** Copyright (C) 2010-2015 Hongwei Xi, ATS Trustful Software, Inc.
** All rights reserved
**
** ATS is free software; you can redistribute it and/or modify it under
** the terms of the GNU GENERAL PUBLIC LICENSE (GPL) as published by the
** Free Software Foundation; either version 3, or (at your option) any
** later version.
**
** ATS is distributed in the hope that it will be useful, but WITHOUT ANY
** WARRANTY; without even the implied warranty of MERCHANTABILITY or
** FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
** for more details.
**
** You should have received a copy of the GNU General Public License
** along with ATS; see the file COPYING. If not, please write to the
** Free Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
** 02110-1301, USA.
*) */
/* ****** ****** */
/*
(* Author: Hongwei Xi *)
(* Authoremail: gmhwxiATgmailDOTcom *)
(* Start time: March, 2013 *)
*/
/* ****** ****** */
#ifndef \
ATSLIB_LIBATS_LIBC_CATS_SYS_TYPES
#define \
ATSLIB_LIBATS_LIBC_CATS_SYS_TYPES
/* ****** ****** */
#include <sys/types.h>
/* ****** ****** */
typedef mode_t atslib_libats_libc_mode_type ;
/* ****** ****** */
//
// HX-2013-8:
// [atslib_libats_libc_time_type] is already
// defined in [libats/libc/CATS/time.cats]
//
typedef time_t atslib_libats_libc_types_time_type ;
//
/* ****** ****** */
#if(0)
//
// HX-2013-05: where are they?
// HX-2013-06: they are declared in [time.h]
//
typedef clock_t atslib_libats_libc_clock_type ;
typedef clockid_t atslib_libats_libc_clockid_type ;
#endif
/* ****** ****** */
typedef ino_t atslib_libats_libc_ino_type ;
typedef off_t atslib_libats_libc_off_type ;
/* ****** ****** */
typedef pid_t atslib_libats_libc_pid_type ;
typedef uid_t atslib_libats_libc_uid_type ;
typedef gid_t atslib_libats_libc_gid_type ;
/* ****** ****** */
ATSinline()
atslib_libats_libc_mode_type
atslib_libats_libc_lor_mode_mode
(
atslib_libats_libc_mode_type m1
, atslib_libats_libc_mode_type m2
) {
return (m1 | m2) ;
} // end of [atslib_libats_libc_lor_mode_mode]
ATSinline()
atslib_libats_libc_mode_type
atslib_libats_libc_land_mode_mode
(
atslib_libats_libc_mode_type m1
, atslib_libats_libc_mode_type m2
) {
return (m1 & m2) ;
} // end of [atslib_libats_libc_land_mode_mode]
/* ****** ****** */
ATSinline()
atstype_bool
atslib_libats_libc_lt_time_time
(
atslib_libats_libc_types_time_type t1
, atslib_libats_libc_types_time_type t2
)
{
return \
(t1 < t2 ? atsbool_true : atsbool_false) ;
} // end of [atslib_libats_libc_lt_time_time]
ATSinline()
atstype_bool
atslib_libats_libc_lte_time_time
(
atslib_libats_libc_types_time_type t1
, atslib_libats_libc_types_time_type t2
)
{
return \
(t1 <= t2 ? atsbool_true : atsbool_false) ;
} // end of [atslib_libats_libc_lte_time_time]
/* ****** ****** */
#define \
atslib_libats_libc_gt_time_time(t1, t2) \
atslib_libats_libc_lt_time_time(t2, t1)
#define \
atslib_libats_libc_gte_time_time(t1, t2) \
atslib_libats_libc_lte_time_time(t2, t1)
/* ****** ****** */
ATSinline()
atstype_bool
atslib_libats_libc_eq_time_time
(
atslib_libats_libc_types_time_type t1
, atslib_libats_libc_types_time_type t2
)
{
return (t1 == t2 ? atsbool_true : atsbool_false) ;
} // end of [atslib_libats_libc_eq_time_time]
ATSinline()
atstype_bool
atslib_libats_libc_neq_time_time
(
atslib_libats_libc_types_time_type t1
, atslib_libats_libc_types_time_type t2
)
{
return (t1 != t2 ? atsbool_true : atsbool_false) ;
} // end of [atslib_libats_libc_neq_time_time]
/* ****** ****** */
#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_SYS_TYPES
/* ****** ****** */
/* end of [types.cats] */
|
