This file is indexed.

/usr/lib/ats2-postiats-0.2.6/share/HATS/atslib_staload_libc.hats is in ats2-lang 0.2.6-2.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 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
(*
** For staloading
** some commonly used libc packages
*)

(* ****** ****** *)
//
// Author: Hongwei Xi
// AuthorEmail: gmhwxiATgmailCOM
//
(* ****** ****** *)

#ifndef SHARE_ATSLIB_STALOAD_LIBC
#define SHARE_ATSLIB_STALOAD_LIBC 1

(* ****** ****** *)

#define
PATSLIBC_targetloc "$PATSHOME/libc"

(* ****** ****** *)

staload ERRNO = "{$PATSLIBC}/SATS/errno.sats"
staload _(*ERRNO*) = "{$PATSLIBC}/DATS/errno.dats"

(* ****** ****** *)

staload DIRENT = "{$PATSLIBC}/SATS/dirent.sats"
staload _(*DIRENT*) = "{$PATSLIBC}/DATS/dirent.dats"

(* ****** ****** *)

staload MATH = "{$PATSLIBC}/SATS/float.sats"
staload _(*MATH*) = "{$PATSLIBC}/DATS/float.dats"

(* ****** ****** *)

staload MATH = "{$PATSLIBC}/SATS/math.sats"
staload _(*MATH*) = "{$PATSLIBC}/DATS/math.dats"

(* ****** ****** *)

staload SIGNAL = "{$PATSLIBC}/SATS/signal.sats"

(* ****** ****** *)

staload STDDEF = "{$PATSLIBC}/SATS/stddef.sats"

(* ****** ****** *)

staload STDIO = "{$PATSLIBC}/SATS/stdio.sats"
staload _(*STDIO*) = "{$PATSLIBC}/DATS/stdio.dats"

(* ****** ****** *)

staload STDLIB = "{$PATSLIBC}/SATS/stdlib.sats"
staload _(*STDLIB*) = "{$PATSLIBC}/DATS/stdlib.dats"

(* ****** ****** *)

staload STRING = "{$PATSLIBC}/SATS/string.sats"
staload _(*STRING*) = "{$PATSLIBC}/DATS/string.dats"
staload STRINGS = "{$PATSLIBC}/SATS/strings.sats"
staload _(*STRINGS*) = "{$PATSLIBC}/DATS/strings.dats"

(* ****** ****** *)

staload TIME = "{$PATSLIBC}/SATS/time.sats"
staload _(*TIME*) = "{$PATSLIBC}/DATS/time.dats"

(* ****** ****** *)

staload UNISTD = "{$PATSLIBC}/SATS/unistd.sats"
staload _(*UNISTD*) = "{$PATSLIBC}/DATS/unistd.dats"

(* ****** ****** *)

#endif // SHARE_ATSLIB_STALOAD_LIBC

(* ****** ****** *)

(* end of [atslib_staload_libc.hats] *)