/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-terminal.ali is in libgnatcoll1.6-dev 1.6gpl2014-9.
This file is owned by root:root, with mode 0o444.
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 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 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 | V "GNAT Lib v4.9"
A -O2
A -O2
A -fPIC
A -fstack-protector-strong
A -gnatA
A -gnatn
A -gnatws
A -gnat05
A -g
A -mtune=generic
A -march=x86-64
P SS ZX
RN
RV NO_DISPATCH
RV NO_DISPATCHING_CALLS
RV NO_IO
RV NO_IMPLICIT_CONDITIONALS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05
U gnatcoll.terminal%b gnatcoll-terminal.adb 96360c22 OO PK IU
W ada%s ada.ads ada.ali
W ada.text_io%s a-textio.adb a-textio.ali
W gnat%s gnat.ads gnat.ali
W gnat.os_lib%s g-os_lib.ads g-os_lib.ali
W gnatcoll%s gnatcoll.ads gnatcoll.ali
W interfaces%s interfac.ads interfac.ali
U gnatcoll.terminal%s gnatcoll-terminal.ads 75178d90 EE OO PF PK IU
W ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali
W ada.streams%s a-stream.adb a-stream.ali
W ada.tags%s a-tags.adb a-tags.ali
W ada.text_io%s a-textio.adb a-textio.ali
W gnatcoll%s gnatcoll.ads gnatcoll.ali
W system%s system.ads system.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
W system.storage_elements%s s-stoele.adb s-stoele.ali
W system.stream_attributes%s s-stratt.adb s-stratt.ali
D ada.ads 20070406091342 3ffc8e18
D a-except.ads 20140129161953 f86a4103
D a-finali.ads 20111121113555 52ecdc1b
D a-ioexce.ads 20140225151544 e4a01f64
D a-stream.ads 20140122164720 1a984740
D a-tags.ads 20111212115430 6c0509d0
D a-textio.ads 20140129155348 386df5d4
D a-unccon.ads 20070406091342 f9eb8f06
D a-uncdea.ads 20070406091342 f15a5ed1
D gnat.ads 20110801150502 fd2ad2f1
D g-os_lib.ads 20090409150019 0db74523
D gnatcoll.ads 20140810010057 6a5da479
D gnatcoll-terminal.ads 20140810010057 2727dc3d
D gnatcoll-terminal.adb 20140810010057 84cb60e8
D interfac.ads 20140225151838 69adb1b9
D i-cstrea.ads 20130412125801 8128536b
D system.ads 20150725181646 90249111
D s-crtl.ads 20140225151544 840e6817
D s-exctab.ads 20140225151139 54135002
D s-ficobl.ads 20120709130952 55a71d43
D s-finmas.ads 20140225151139 814daec4
D s-finroo.ads 20120426095924 4ff27390
D s-os_lib.ads 20140225151139 73b554c6
D s-parame.ads 20140225151139 ab8cb46a
D s-pooglo.ads 20110804083314 542f33d0
D s-secsta.ads 20140225151139 86a2856d
D s-soflin.ads 20140225151139 aa763b52
D s-stache.ads 20140225151139 a37c21ec
D s-stalib.ads 20140225151139 a891183f
D s-stoele.ads 20140225151139 2dc34a04
D s-stoele.adb 20140225151139 ed88f8fb
D s-stopoo.ads 20131010103753 b16154c2
D s-stratt.ads 20131014135145 aedef97e
D s-stratt.adb 20090409150019 56ef263e
D s-string.ads 20140225151139 8fe54fb7
D s-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
D s-wchcon.ads 20140225151139 1b7d22d2
X 1 ada.ads
16K9*Ada 19e8 13|31r6 96r21 96r46 109r16 109r41 113r16 113r41 117r16 117r41
. 14|24r6 24r26 261r16 261r41 274r16 274r41 287r16 287r41 299r21 299r46
X 7 a-textio.ads
49K13*Text_IO 471e16 13|31w10 96r25 96r50 109r20 109r45 113r20 113r45 117r20
. 117r45 14|24w10 24r30 261r20 261r45 274r20 274r45 287r20 287r45 299r25
. 299r50
52P9*File_Type 13|96r33 109r28 113r28 117r28 14|261r28 274r28 287r28 299r33
118V13*Standard_Output{52P9} 13|96s58 109s53 113s53 117s53 14|261s53 274s53
. 287s53 299s58
241U14*Put 14|313s34 314s34 315s34 316s34 321s34 322s34 323s34 324s34 325s34
. 326s34 327s34 328s34 329s34 334s34 335s34 336s34 337s34 338s34 339s34 340s34
. 341s34 342s34
X 10 gnat.ads
34K9*GNAT 37e9 14|25r6 25r26 29r37
X 11 g-os_lib.ads
51K14*OS_Lib=51:36 14|25w11 25r31 29r42
X 12 gnatcoll.ads
24K9*GNATCOLL 26e13 13|33r9 159r5 14|27r14 418r5
X 13 gnatcoll-terminal.ads
33K18*Terminal 12|24k9 13|136E9 159l14 159e22 14|27b23 418l14 418t22
35R9*Terminal_Info 50p14 51r24 53p14 54r24 56p14 57r24 67p13 67r32 94p14
. 95r28 106p14 107r23 110p14 111r23 114p14 115r23 124p14 124r47 128p14 128r50
. 131p13 131r31 141c9 157e14 14|51r16 56r23 62r25 79r23 130r25 184r24 199r24
. 214r24 234r32 244r16 259r23 272r23 285r23 298r28 378r47 393r50 408r31
49E9*Supports_Color 49e42 52r17 55r17 58r17 14|63r18 131r18 185r17 200r17
. 215r17
49n28*Yes{49E9} 14|139r15 221r15
49n33*No{49E9} 14|136r15 225r15
49n37*Auto{49E9} 52r35 55r35 58r35 14|152r15 185r35 200r35 215r35 225r20
50U14*Init_For_Stdout 51=8 52>8 14|183b14 192l8 192t23
51r8 Self{35R9} 14|184b8 188m7 189m27 191m11
52e8 Colors{49E9} 14|185b8 189r33
53U14*Init_For_Stderr 54=8 55>8 14|198b14 207l8 207t23
54r8 Self{35R9} 14|199b8 203m7 204m27 206m11
55e8 Colors{49E9} 14|200b8 204r33
56U14*Init_For_File 57=8 58>8 14|213b14 228l8 228t21
57r8 Self{35R9} 14|214b8 218m7 224m13 226m13
58e8 Colors{49E9} 14|215b8 220r12
67V13*Has_Colors{boolean} 67>25 14|234b13 237l8 237t18
67r25 Self{35R9} 14|234b25 236r14
70E9*ANSI_Color 80e14 97r21 98r21 108r16 112r16 144r16 145r16 150r23 151r23
. 14|31r37 260r16 273r16 300r21 301r21
71n8*Unchanged{70E9} 97r35 98r35 14|32r8 264r37 277r30 290r30 290r41 300r35
. 301r35 320r21 333r21 356r33 362r33
72n8*Black{70E9} 144r30 150r37 14|33r8 85r28 96r49 107r49 321r21 334r21
73n8*Red{70E9} 14|34r8 100r49 111r49 322r21 335r21
74n8*Green{70E9} 14|35r8 98r49 109r49 323r21 336r21
75n8*Yellow{70E9} 14|36r8 102r49 113r49 324r21 337r21
76n8*Blue{70E9} 14|37r8 97r49 108r49 325r21 338r21
77n8*Magenta{70E9} 14|38r8 101r49 112r49 326r21 339r21
78n8*Cyan{70E9} 14|39r8 99r49 110r49 327r21 340r21
79n8*Grey{70E9} 145r30 151r37 14|40r8 86r28 103r49 114r49 328r21 341r21
80n8*Reset{70E9} 14|41r8 329r21 342r21 354r29 360r29
85E9*ANSI_Style 90e18 99r21 116r16 146r16 152r23 14|43r37 286r16 302r21
86n8*Unchanged{85E9} 99r35 14|44r8 264r48 277r48 302r35 312r21 350r28
87n8*Bright{85E9} 14|45r8 118r35 313r21
88n8*Dim{85E9} 14|46r8 314r21
89n8*Normal{85E9} 146r30 152r37 14|47r8 87r29 120r35 315r21
90n8*Reset_All{85E9} 14|48r8 316r21 346r24
94U14*Set_Color 95=8 96>8 97>8 98>8 99>8 14|264s7 277s7 290s7 297b14 372l8
. 372t17
95r8 Self{35R9} 14|298b8 306r12 347m16 347r30 348m16 348r30 349m16 349r30
. 351m16 355m16 355r29 357m16 361m16 361r29 363m16 366r46 367r32 368r32 370r30
96p8 Term{7|52P9} 14|299b8 313r39 314r39 315r39 316r39 321r39 322r39 323r39
. 324r39 325r39 326r39 327r39 328r39 329r39 334r39 335r39 336r39 337r39 338r39
. 339r39 340r39 341r39 342r39
97e8 Foreground{70E9} 14|300b8 319r18 354r16 356r19 357r29
98e8 Background{70E9} 14|301b8 332r18 360r16 362r19 363r29
99e8 Style{85E9} 14|302b8 311r18 346r16 350r19 351r30
106U14*Set_Fg 107=8 108>8 109>8 14|258b14 265l8 265t14
107r8 Self{35R9} 14|259b8 264m18
108e8 Color{70E9} 14|260b8 264r30
109p8 Term{7|52P9} 14|261b8 264r24
110U14*Set_Bg 111=8 112>8 113>8 14|271b14 278l8 278t14
111r8 Self{35R9} 14|272b8 277m18
112e8 Color{70E9} 14|273b8 277r41
113p8 Term{7|52P9} 14|274b8 277r24
114U14*Set_Style 115=8 116>8 117>8 14|284b14 291l8 291t17
115r8 Self{35R9} 14|285b8 290m18
116e8 Style{85E9} 14|286b8 290r52
117p8 Term{7|52P9} 14|287b8 290r24
124U14*Beginning_Of_Line 124=33 14|378b14 387l8 387t25
124r33 Self{35R9} 14|378b33 382r10 382r33 385r33
128U14*Clear_To_End_Of_Line 128=36 14|393b14 402l8 402t28
128r36 Self{35R9} 14|393b36 397r10 397r33 400r33
131V13*Get_Width{integer} 131>24 14|408b13 417l8 417t17
131r24 Self{35R9} 14|408b24 412r10 412r33 415r40
136E9 Color_Sequence_Type 136e78 142r16
136n33 Unsupported{136E9} 142r39 14|92r25 137r28 173r34 226r28 236r29 307r15
. 382r47 397r47 412r47
136n46 ANSI_Sequences{136E9} 14|145r34 149r31 159r34 167r34 171r34 224r28
. 310r15
136n62 WIN32_Sequences{136E9} 14|143r34 157r34 345r15
138E9 FD_Type 138e42 155r12
138n21 Stdout{138E9} 155r23 14|164r29 188r18
138n29 Stderr{138E9} 14|168r32 203r18 251r58 385r43 400r43 415r50
138n37 File{138E9} 14|218r18 382r20 397r20 412r20
142e7*Colors{136E9} 14|92m15 137m18 143m24 145m24 149m21 157m24 159m24 167m24
. 171m24 173m24 224m18 226m18 236r19 306r17 382r38 397r38 412r38
144e7*Fore{70E9} 14|348m21 355m21 357m21 367r37
145e7*Back{70E9} 14|349m21 361m21 363m21 368r37
146e7*Style{85E9} 14|347m21 351m21 366r51
150e7*Default_Fore{70E9} 14|85m12 96m33 97m33 98m33 99m33 100m33 101m33 102m33
. 103m33 348r35 355r34
151e7*Default_Back{70E9} 14|86m12 107m33 108m33 109m33 110m33 111m33 112m33
. 113m33 114m33 349r35 361r34
152e7*Default_Style{85E9} 14|87m12 118m18 120m18 347r35
155e7*FD{138E9} 14|164r24 168r27 188m12 203m12 218m12 251r53 382r15 385r38
. 397r15 400r38 412r15 415r45
X 14 gnatcoll-terminal.adb
29b4 On_Windows{boolean} 89r14 140r16 153r16
31a4 Color_To_Win32(integer) 367r16 368r16
43a4 Style_To_Win32(integer) 366r30
50U14 Win_Set_Console 51>8 52>8 243b14 252l8 252t23 370s13
51c8 Self<13|35R9> 244b8 251r48
52i8 Attrs{integer} 245b8 251r67
55U14 Decode_Windows_Attributes 56=8 57>8 78b14 123l8 123t33 190s7 205s7
56c8 Self<13|35R9> 79b8 85m7 86m7 87m7 92m10 96m28 97m28 98m28 99m28 100m28
. 101m28 102m28 103m28 107m28 108m28 109m28 110m28 111m28 112m28 113m28 114m28
. 118m13 120m13
57i8 Attrs{integer} 80b8 91r13 94r23
61U14 Auto_Detect_Colors 62=8 63>8 129b14 177l8 177t26 189s7 204s7
62c8 Self<13|35R9> 130b8 137m13 143m19 145m19 149m16 157m19 159m19 164r19
. 167m19 168r22 171m19 173m19
63e8 Support{13|49E9} 131b8 135r12
66V13 getConsoleScreenBufferInfo{integer} 66>41 67b<c,gnatcoll_get_console_screen_buffer_info>22
. 191s17 206s17
66i41 Stderr{integer} 191r45 206r45
70V13 terminal_has_colors{integer} 70>34 71b<c,gnatcoll_terminal_has_colors>22
. 165s28 169s28
70i34 Fd{23|171I9}
82M12 Mod_32 83r11 94r15
83m7 A{82M12} 94m10 95r15 106r16 117r14
133p7 Env{23|70P12} 141m16 142r19 142r38 147m22 147r22 155m16 156r19 156r38
. 161m22 161r22
247U17*Set_Console_Text_Attribute 247>45 247>63 248b<c,gnatcoll_set_console_text_attribute>25
. 251s7
247i45 Stderr{integer}
247i63 Attrs{integer}
304i7 Attrs{integer} 366m13 366r22 370r36
379U17*Internal 379>27 380b<c,gnatcoll_beginning_of_line>25 385s10
379i27 Stderr{integer}
394U17*Internal 394>27 395b<c,gnatcoll_clear_to_end_of_line>25 400s10
394i27 Stderr{integer}
409V16*Internal{integer} 409>26 410b<c,gnatcoll_terminal_width>25 415s17
409i26 Stderr{integer}
X 23 s-os_lib.ads
70P12*String_Access{35|45P9} 14|133r13
72V14*"="=73:22{boolean} 14|142r23 156r23
75U14*Free=75:62 14|147s16 161s16
171I9*File_Descriptor<integer> 14|70r39
175i4*Standout{171I9} 14|165r49
176i4*Standerr{171I9} 14|169r49
914V13*Getenv{70P12} 14|141s23 155s23
975e4*Directory_Separator{character} 14|29r49
X 35 s-string.ads
45P9*String_Access(string)
|