libopentoken5-dev 6.0b-4 / usr / lib / x86_64-linux-gnu / ada / adalib / opentoken / opentoken-recognizer-integer.ali

This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-recognizer-integer.ali is in libopentoken5-dev 6.0b-4.

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
V "GNAT Lib v4.9"
A -O2
A -fPIC
A -fstack-protector-strong
A -g
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -gnatA
P SS ZX

RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCHING_CALLS
RV NO_IMPLICIT_CONDITIONALS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U opentoken.recognizer.integer%b  opentoken-recognizer-integer.adb  1c668377 NE OO PK
W ada.tags%s		a-tags.adb		a-tags.ali
W interfaces%s		interfac.ads		interfac.ali
W opentoken.recognizer%s  opentoken-recognizer.ads  opentoken-recognizer.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali

U opentoken.recognizer.integer%s  opentoken-recognizer-integer.ads  6dea778f EE OO PF PK
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 opentoken%s		opentoken.adb		opentoken.ali
W opentoken.recognizer%s  opentoken-recognizer.ads  opentoken-recognizer.ali
W opentoken.recognizer.extended_digits%s  opentoken-recognizer-extended_digits.adb  opentoken-recognizer-extended_digits.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-charac.ads		20070912115821 2d3ec45b
D a-chlat1.ads		20140225151544 66457d31
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-string.ads		20070406091342 90ac6797
D a-strbou.ads		20101008130255 9806fe84
D a-strbou.adb		20090409150019 adb4aa70
D a-strmap.ads		20090409150019 9cb836fb
D a-strsup.ads		20120309145048 a27dcb33
D a-tags.ads		20111212115430 6c0509d0
D a-textio.ads		20140129155348 386df5d4
D a-unccon.ads		20070406091342 f9eb8f06
D interfac.ads		20140225151838 69adb1b9
D i-cstrea.ads		20130412125801 8128536b
D opentoken.ads		20150510192240 8bdd0f75
D opentoken-recognizer.ads  20150510192240 ddbf64ff
D opentoken-recognizer-extended_digits.ads  20150510192240 33866ba9
D opentoken-recognizer-integer.ads  20150510192240 83d378d9
D opentoken-recognizer-integer.adb  20150510192240 9fb5fbae
D system.ads		20151121115557 90249111
D s-crtl.ads		20140225151544 840e6817
D s-exctab.ads		20140225151139 54135002
D s-fatflt.ads		20090409150019 11beb392
D s-fatgen.ads		20140129155348 9267ca45
D s-fatgen.adb		20140129155348 9ba81cee
D s-fatlfl.ads		20090409150019 378cba9f
D s-fatllf.ads		20090409150019 4d5c1475
D s-fatsfl.ads		20090409150019 e2f873d3
D s-ficobl.ads		20120709130952 55a71d43
D s-finmas.ads		20140225151139 814daec4
D s-finroo.ads		20120426095924 4ff27390
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-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
D s-wchcon.ads		20140225151139 1b7d22d2
X 14 a-textio.ads
78I12*Number_Base{integer}
X 18 opentoken.ads
42K9*OpenToken 82e14 21|33r6 48r9 50r25 69r25 90r5 22|37r14 200r5
X 19 opentoken-recognizer.ads
43K19*Recognizer 18|42k9 19|78e25 21|33r16 48r19 50r35 69r35 90r15 22|37r24
. 200r15
46E9*Analysis_Verdict 49e14 21|77r28 88r26 22|51r26 53r25
47n7*Matches{46E9} 22|77r34 79r35 94r31 96r32 110r12 118r41 144r34 145r35
. 161r12
48n7*So_Far_So_Good{46E9} 22|65r35 109r15 122r35 138r32 160r15
49n7*Failed{46E9} 21|77r48 22|43r33 53r45 68r37 82r35 99r32 112r35 117r15
. 125r35 148r35 163r15 164r32 171r21 194r37
52H9*Instance 57e14 21|50r46 69r46
56b7*Report{boolean} 22|188m15
74r23 The_Token{20|40R9} 22|73r16 90r13
75e23 Next_Char{character} 22|74r16 91r13
76e23 Verdict{46E9} 22|75r16 92r13
X 20 opentoken-recognizer-extended_digits.ads
38K30*Extended_Digits 79e41 21|33w27 76r28 22|41r7 72r13 89r10 106r10 134r10
. 142r13 157r10 192r37
40R9*Instance<19|52R9> 70e14 21|76r44
52V13*Get{40R9} 22|192s53
53i7 For_Base{14|78I12} 22|193r58
54b7 Allow_Underscores{boolean} 22|192r58
72U25 Clear<19|67p14> 22|41s23 134s26
74U25 Analyze<19|74p14> 22|72s29 89s26 106s26 142s29 157s26
X 21 opentoken-recognizer-integer.ads
48K30*Integer 19|43k19 21|67E9 90l26 90e33 22|37b35 200l26 200t33
50R9*Instance<19|52R9> 59p13 63r26 69c9 81e14 83P25 83r51 85P25 86r26 22|39r51
. 49r26 185r63
59V13*Get{50R9} 59>18 60>18 61>18 62>18 22|182b13 198l8 198t11
59b18 Allow_Underscores{boolean} 22|182b18 192r79
60b18 Allow_Exponent{boolean} 22|183b18 189r37
61b18 Allow_Leading_Zero{boolean} 22|184b18 190r37
62b18 Allow_Signs{boolean} 22|185b18 191r37
67E9 State_ID 67e88 79r28
67n22 First_Char{67E9} 79r48 22|44r33 59r12 196r37
67n34 First_Numeral{67E9} 22|64r35 87r12
67n49 Numeral{67E9} 22|80r35 97r32 103r12
67n58 Exponent_Sign{67E9} 22|123r35 130r12
67n73 Exponent{67E9} 22|139r32 146r35 154r12
67n83 Done{67E9} 22|67r37 83r35 100r32 113r35 126r35 149r35 165r32 168r12
71b7 Allow_Exponent{boolean} 22|120r25 189m15
72b7 Allow_Leading_Zero{boolean} 22|78r74 95r71 190m15
73b7 Allow_Signs{boolean} 22|63r26 191m15
76r7 Decimal_Recognizer{20|40R9} 22|41m40 73m39 90m36 106m45 134m43 142m48
. 157m45 192m15
77e7 Last_Verdict{19|46E9} 22|43m17 118r26 175m17 194m15
78b7 Check_Zero{boolean} 22|78m26 95m23 111r26 195m15
79e7 State{67E9} 22|44m17 57r22 64m26 67m26 80m26 83m26 97m23 100m23 113m26
. 123m26 126m26 139m23 146m26 149m26 165m23 196m15
83U25 Clear<19|67p14> 83=32 22|39b25 46l8 46t13
83r32 The_Token{50R9} 22|39b32 41m30 41r30 43m7 44m7
85U25 Analyze<19|74p14> 86=7 87>7 88<7 22|48b25 177l8 177t15
86r7 The_Token{50R9} 22|49b7 57r12 63r16 64m16 67m16 73m29 73r29 78m16 78r64
. 80m16 83m16 90m26 90r26 95m13 95r61 97m13 100m13 106m35 106r35 111r16 113m16
. 118r16 120r15 123m16 126m16 134m33 134r33 139m13 142m38 142r38 146m16 149m16
. 157m35 157r35 165m13 175m7
87e7 Next_Char{character} 22|50b7 61r15 74r29 78r40 91r26 95r37 106r65 119r16
. 119r35 136r13 142r68 157r65
88e7 Verdict{19|46E9} 22|51b7 65m16 68m16 79m16 82m16 96m13 99m13 112m16
. 115m16 122m16 125m16 138m13 145m16 148m16 162m13 164m13 171m10
X 22 opentoken-recognizer-integer.adb
53e7 Decimal_Verdict{19|46E9} 75m29 77r16 92m26 94r13 106m76 108r15 115r27
. 142m79 144r16 157m76 159r15 162r24 175r33

APT Browse - Built by Thomas Orozco.