/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-token-selection_mixin.ali is in libopentoken6.1-dev 6.0b-7.
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 | V "GNAT Lib v7"
A -O2
A -gnatA
A -g
A -fdebug-prefix-map=/build/opentoken-PUVLEa/opentoken-6.0b=.
A -fstack-protector-strong
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -fPIC
A -mtune=generic
A -march=x86-64
P SS ZX
RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_ALLOCATORS
RV NO_DISPATCH
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_IO
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U opentoken.token.selection_mixin%b opentoken-token-selection_mixin.adb 014e046e NE OO PK GE
W ada%s ada.ads ada.ali
W ada.text_io%s a-textio.adb a-textio.ali
W opentoken.token%s opentoken-token.adb opentoken-token.ali
U opentoken.token.selection_mixin%s opentoken-token-selection_mixin.ads ced3d3c7 BN EE NE OO PK GE
W opentoken%s opentoken.adb opentoken.ali
W opentoken.token%s opentoken-token.adb opentoken-token.ali
W opentoken.token.linked_list%s opentoken-token-linked_list.adb opentoken-token-linked_list.ali
D ada.ads 20170106103348 76789da1 ada%s
D a-charac.ads 20070912115821 2d3ec45b ada.characters%s
D a-chlat1.ads 20140225151544 66457d31 ada.characters.latin_1%s
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-finali.ads 20151020095656 bf4f806b ada.finalization%s
D a-ioexce.ads 20140225151544 e4a01f64 ada.io_exceptions%s
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
D a-string.ads 20070406091342 90ac6797 ada.strings%s
D a-strbou.ads 20140731124036 53ab54ae ada.strings.bounded%s
D a-strbou.adb 20090409150019 adb4aa70 ada.strings.bounded%b
D a-strmap.ads 20140611123156 e8bb714a ada.strings.maps%s
D a-strsup.ads 20120309145048 a27dcb33 ada.strings.superbounded%s
D a-tags.ads 20151016130316 01f5e3ef ada.tags%s
D a-textio.ads 20140717063745 386df5d4 ada.text_io%s
D a-unccon.ads 20170106103348 31484697 ada.unchecked_conversion%s
D interfac.ads 20160502101001 5ab55268 interfaces%s
D i-cstrea.ads 20140801100435 e53d8b8e interfaces.c_streams%s
D opentoken.ads 20150510192240 8bdd0f75 opentoken%s
D opentoken-token.ads 20150510192240 f518d836 opentoken.token%s
D opentoken-token-linked_list.ads 20150510192240 6abdfc9f opentoken.token.linked_list%s
D opentoken-token-selection_mixin.ads 20150510192240 5176f76e opentoken.token.selection_mixin%s
D opentoken-token-selection_mixin.adb 20150510192240 685506d4 opentoken.token.selection_mixin%b
D system.ads 20170808154339 4635ec04 system%s
D s-crtl.ads 20141120112812 0ebbdb71 system.crtl%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-ficobl.ads 20140718105747 078245e4 system.file_control_block%s
D s-finmas.ads 20151016130316 7811a767 system.finalization_masters%s
D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
D s-pooglo.ads 20151118103153 ede33ef8 system.pool_global%s
D s-secsta.ads 20170112134946 9751b57e system.secondary_stack%s
D s-soflin.ads 20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
D s-stopoo.ads 20131010103753 b16154c2 system.storage_pools%s
D s-stposu.ads 20151020120548 97a6219c system.storage_pools.subpools%s
D s-stratt.ads 20131014135145 aedef97e system.stream_attributes%s
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads 20160502101423 34867c83 system.unsigned_types%s
D s-wchcon.ads 20140718092328 1b7d22d2 system.wch_con%s
X 1 ada.ads
16K9*Ada 20e8 22|28r6 54r10 113r38 119r35
X 14 a-textio.ads
49K13*Text_IO 471e16 22|28w10 54r14 113r42 119r39
166U14*New_Line 22|113s50 119s47
263U14*Put_Line 22|54s22
X 18 opentoken.ads
42K9*OpenToken 82e14 21|32r6 34r38 35r41 37r9 181r5 22|29r14 134r21 134r53
. 146r21 158r36 197r17 221r5
46X4*Parse_Error 22|71r15 85r25 100r22
72i4*Trace_Parse{integer} 22|47r10 112r10 118r10
75U14*Trace_Put 22|50s13 52s13 113s10 119s10
81i4 Trace_Indent{integer} 22|48m10 48r26 114m10 114r26 120m10 120r26
X 19 opentoken-token.ads
36K19*Token 18|42k9 19|163e20 21|32r16 34r48 35r51 37r19 177r17 181r15 22|29r24
. 86r21 134r31 134r63 146r31 158r46 197r27 221r15
38H9*Instance 159e14 21|34r54 35r57 22|197r33
40C12*Class<38R9>
42P9*Handle(40C12) 22|134r37 134r69 146r37 158r52
45y13*Image{string}
49C12*Source_Class<47R9> 21|169r25 22|41r25
79x14*Parse 22|64R13 106R10
82b7 Actively{boolean} 22|64r48
110y13*Get{40C12} 22|56R83 85R77
112C9*Queue_Mark<112R9>
112H9*Queue_Mark 112e58 22|62r20
117y13*Mark_Push_Back{112C9} 22|62R54
124x14*Push_Back 22|66R25 74R22
129U14*Set_Name 22|185s7 197s7
134V13*Name{string}
136V13*Has_Name{boolean}
141V13*Name_Dispatch{string} 22|56s59 85s53
142V13*Name_Dispatch{string} 22|55s29
147U14*Expecting 22|216R10
X 20 opentoken-token-linked_list.ads
33K25*Linked_List 132e32 21|32w22 172r75 177r23 22|44r11 82r30 86r27 130r16
. 142r16 154r16 167r16 209r75 211r11
35R9*Instance<5|43R9> 117e14 21|172r87 177r35 22|82r42 130r28 142r28 154r28
. 167r28 209r87
47V14*"&"{35R9} 22|134s51
53V14*"&"{35R9} 22|146s51
55V14*"&"{35R9} 22|158s34
61V14*"&"{35R9} 22|171s34
69P9*List_Iterator<107P9> 22|45r11 212r11
70p4*Null_Iterator{69P9} 22|79r17 215r24
76V13*First=76:69{69P9} 22|45s28 212s28
81U14*Next_Token 22|77s10 217s10
86V13*Token_Handle{19|42P9} 22|64s20 106s17 108s60 216s21
91V13*Names{string} 22|56s22 86s39
107P9 List_Node_Ptr(106R9)
X 21 opentoken-token-selection_mixin.ads
34H9 Parent_Token<19|38R9> 19|45p13 79p14 134p13 136p13 147p14 21|39r25 176r25
. 22|133r10 145r10 157r10 170r10
35H9 Component_Token<19|38R9> 19|45p13 79p14 134p13 136p13 147p14 21|50r22
. 81r22 82r22 86r22 87r22 96r22 101r22 107r22 112r22 22|108r37 126r22 127r22
. 139r22 152r22
37k25*Selection_Mixin 19|36k19 21|34z9 35z9 176E9 181l21 181e36 22|29b30
. 221l21 221t36
39R9*Instance<34R9> 19|134p13 136p13 21|41r21 46P13 46r30 49r22 80p14 83r13
. 88r13 95p14 97r22 98r13 102r22 103r13 105p14 106r22 108r13 111r22 113r13
. 120p14 121r18 122r18 123r13 126r18 127r18 128r13 134p14 135r22 148p13 149r25
. 167P25 168r25 172P25 172r51 176c9 179e14 22|32r30 40r25 128r13 140r22 140r39
. 151r22 152r52 163r18 164r18 165r13 176r22 190r25 209r51
41C12*Class<39R9> 43r30 22|195r42 195r49
43P9*Handle(41C12) 137r13 142r35 142r68 152r13 160r30 160r45 22|178r13 183r35
. 183r68 193r13 195r28 204r30 204r45
46V13*Image{string}<19|45p13> 46>20 22|32b13 37l8 37t13
46r20 Item{39R9} 22|32b20 34r28
48P9*Action 49=7 50>7 136r22 151r25 178r17 22|177r22 192r25
49r7 Match{39R9}
50*7 From<35R9>
80V14*"or"{39R9} 81^7 82^7 88r31 22|125b14 136l9 136t12
81p7 Left(35R9) 22|126b7 134r45
82p7 Right(35R9) 22|127b7 134r77
85V14*"/"=88:30{39R9}
86p7 Left(35R9)
87p7 Right(35R9)
95V14*"or"{39R9} 96^7 97>7 103r31 22|138b14 148l9 148t12
96p7 Left(35R9) 22|139b7 146r45
97r7 Right{39R9} 22|140b7 146r53
100V14*"/"=103:30{39R9}
101p7 Left(35R9)
102r7 Right{39R9}
105V14*"or"{39R9} 106>7 107^7 113r31 22|150b14 160l9 160t12
106r7 Left{39R9} 22|151b7 158r21
107p7 Right(35R9) 22|152b7 158r60
110V14*"/"=113:30{39R9}
111r7 Left{39R9}
112p7 Right(35R9)
120V14*"or"{39R9} 121>7 122>7 128r31 22|162b14 173l9 173t12
121r7 Left{39R9} 22|163b7 171r21
122r7 Right{39R9} 22|164b7 171r36
125V14*"/"=128:30{39R9}
126r7 Left{39R9}
127r7 Right{39R9}
134V14*"+"{43P9} 135>7 136>7 22|175b14 181l9 181t11
135r7 Selection{39R9} 22|176b7 180r28
136p7 Build{48P9} 22|177b7 180r48
142V14*"and"{43P9} 142>20 142>43 22|183b14 187l9 187t13
142p20 Selection{43P9} 22|183b20 185r17 186r14
142a43 Name{string} 22|183b43 185r32
148V13*New_Instance{43P9} 149>7 150>7 151>7 22|180s14 189b13 202l8 202t20
149r7 Old_Instance{39R9} 22|190b7 195r56
150a7 Name{string} 22|191b7 197r59
151p7 Build{48P9} 22|180r39 192b7 198r10 199r29
160V13*Copy{43P9} 160>19 22|204b13 207l8 207t12
160p19 Token{43P9} 22|204b19 206r14
167U25*Parse<19|79p14> 168^7 169^7 170>7 22|39b25 123l8 123t13
168p7 Match(39R9) 22|40b7 45r35 55r44 56r29 84r30 107r13 108r13 108r26
169p7 Analyzer(19|49C12) 22|41b7 56r74 62r45 64r38 66r16 74r13 85r68 106r35
170b7 Actively{boolean} 22|42b7 49r13 65r16 80r16 105r10 106r45
172U25*Expecting<19|147p14> 172^36 172=61 22|84s19 209b25 219l8 219t17
172p36 Token(39R9) 22|209b36 212r35
172r61 List{20|35R9} 22|209b61 216m39
177r7 Members{20|35R9} 22|45r41 56r35 134m10 146m10 146r59 158m10 158r26
. 171m10 171r26 171r42 212r41
178p7 Build{48P9} 22|107r19 108r19 135m10 147m10 159m10 172m10 199m20
X 22 opentoken-token-selection_mixin.adb
45p7 I{20|69P9} 64r34 77m22 77r22 79r13 106r31 108r74
59l7 Find_Match 68r18 103l16 103e26
62c13 Mark<19|112R9> 66r36 74r33
82r19 Expected{20|35R9} 84m37 84r37 86r46
195p7 New_Token{21|43P9} 197r43 199r10 201r14
212p7 I{20|69P9} 215r20 216r35 217m22 217r22
|