libgnatcoll1.6-dev 1.6gpl2014-6 / usr / lib / x86_64-linux-gnu / ada / adalib / gnatcoll / gnatcoll-tribooleans.ali

This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-tribooleans.ali is in libgnatcoll1.6-dev 1.6gpl2014-6.

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
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_ENUMERATION_MAPS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_SECONDARY_STACK
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U gnatcoll.tribooleans%b  gnatcoll-tribooleans.adb  19911ac9 NE OO PK IU
W gnatcoll%s		gnatcoll.ads		gnatcoll.ali
W interfaces%s		interfac.ads		interfac.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.val_bool%s	s-valboo.adb		s-valboo.ali

U gnatcoll.tribooleans%s  gnatcoll-tribooleans.ads  5b64710f BN EE NE OO PK IU
W gnatcoll%s		gnatcoll.ads		gnatcoll.ali

D ada.ads		20070406091342 3ffc8e18
D a-unccon.ads		20070406091342 f9eb8f06
D gnatcoll.ads		20140810010057 6a5da479
D gnatcoll-tribooleans.ads  20140810010057 3139d576
D gnatcoll-tribooleans.adb  20140810010057 28a8cfbf
D interfac.ads		20140225151838 69adb1b9
D system.ads		20140921225607 90249111
D s-secsta.ads		20140225151139 86a2856d
D s-stoele.ads		20140225151139 2dc34a04
D s-stoele.adb		20140225151139 ed88f8fb
D s-valboo.ads		20090409150019 fa926c1e
X 3 gnatcoll.ads
24K9*GNATCOLL 26e13 4|24r9 108r5 5|24r14 269r5
X 4 gnatcoll-tribooleans.ads
24K18*Tribooleans 3|24k9 4|108l14 108e25 5|24b23 269l14 269t25
26E9*Triboolean 26e51 34r52 37r33 42r28 42r47 48r37 48r56 49r29 49r66 50r47
. 50r66 58r36 58r55 59r28 59r65 60r46 60r65 68r37 68r56 69r29 69r66 70r47
. 70r66 78r45 79r27 83r29 83r66 84r47 84r66 85r29 85r50 85r69 95r28 96r41
. 5|26r39 26r51 26r66 40r39 40r63 45r38 45r50 45r65 59r38 59r62 64r39 64r51
. 64r66 78r39 78r63 83r38 83r50 83r65 97r38 97r62 106r52 109r17 111r17 119r33
. 121r22 128r28 128r47 131r15 131r52 132r15 132r52 133r15 133r52 141r37 141r56
. 146r29 146r66 151r47 151r66 160r36 160r55 165r28 165r65 170r46 170r65 179r37
. 179r56 184r29 184r66 189r47 189r66 198r45 201r26 203r26 207r27 210r26 212r26
. 220r29 220r66 229r47 229r66 235r16 235r37 235r56 244r28 257r41
26n24*True{26E9} 5|27r7 28r10 28r27 32r10 36r10 41r7 41r33 46r7 47r10 47r27
. 48r27 49r27 51r10 51r27 55r10 55r27 60r7 60r33 60r57 61r33 62r33 65r7 66r10
. 67r27 70r10 70r27 74r10 79r7 79r57 80r33 84r7 85r10 85r27 89r10 90r27 93r10
. 98r7 98r33 99r57 109r29 121r34 131r27 132r64 201r38 210r38 247r15 260r17
26n30*False{26E9} 5|29r10 29r27 31r7 32r27 33r10 33r27 34r27 37r10 37r27
. 41r57 42r7 42r33 42r57 43r57 48r10 50r7 52r10 52r27 56r10 61r7 61r57 66r27
. 67r10 69r7 71r10 71r27 75r10 79r33 80r7 80r57 86r10 86r27 88r7 89r27 90r10
. 94r10 98r57 99r7 99r33 111r29 131r64 132r27 203r38 212r38 248r15 262r17
26n37*Indeterminate{26E9} 5|30r10 30r27 34r10 35r7 36r27 38r10 38r27 43r7
. 43r33 49r10 53r10 53r27 54r7 56r27 57r10 57r27 62r7 62r57 68r10 68r27 72r10
. 72r27 73r7 74r27 75r27 76r10 76r27 81r7 81r33 81r57 87r10 87r27 91r10 91r27
. 92r7 93r27 94r27 95r10 95r27 100r7 100r33 100r57 133r27 133r64 249r15 266r17
34V13*To_TriBoolean{26E9} 34>28 101r19 5|106b13 113l8 113t21
34b28 Value{boolean} 5|106b28 108r10
37V13*To_Boolean{boolean} 37>25 102r19 5|119b13 122l8 122t18
37e25 Value{26E9} 5|119b25 121r14
42V14*"not"{26E9} 42>20 5|128b14 135l9 135t13
42e20 Value{26E9} 5|128b20 130r12
48V14*"and"{26E9} 48>20 48>28 5|141b14 144l9 144t13
48e20 Value1{26E9} 5|141b20 143r32
48e28 Value2{26E9} 5|141b28 143r40
49V14*"and"{26E9} 49>20 49>41 5|146b14 149l9 149t13
49e20 Value1{26E9} 5|146b20 148r32
49b41 Value2{boolean} 5|146b41 148r40
50V14*"and"{26E9} 50>20 50>38 5|151b14 154l9 154t13
50b20 Value1{boolean} 5|151b20 153r40
50e38 Value2{26E9} 5|151b38 153r32
58V14*"or"{26E9} 58>19 58>27 5|160b14 163l9 163t12
58e19 Value1{26E9} 5|160b19 162r31
58e27 Value2{26E9} 5|160b27 162r39
59V14*"or"{26E9} 59>19 59>40 5|165b14 168l9 168t12
59e19 Value1{26E9} 5|165b19 167r31
59b40 Value2{boolean} 5|165b40 167r39
60V14*"or"{26E9} 60>19 60>37 5|170b14 173l9 173t12
60b19 Value1{boolean} 5|170b19 172r39
60e37 Value2{26E9} 5|170b37 172r31
68V14*"xor"{26E9} 68>20 68>28 5|179b14 182l9 182t13
68e20 Value1{26E9} 5|179b20 181r32
68e28 Value2{26E9} 5|179b28 181r40
69V14*"xor"{26E9} 69>20 69>41 5|184b14 187l9 187t13
69e20 Value1{26E9} 5|184b20 186r32
69b41 Value2{boolean} 5|184b41 186r40
70V14*"xor"{26E9} 70>20 70>38 5|189b14 192l9 192t13
70b20 Value1{boolean} 5|189b20 191r40
70e38 Value2{26E9} 5|189b38 191r32
78V14*"="{boolean} 78>18 78>36 5|198b14 205l9 205t11
78b18 Value1{boolean} 5|198b18 200r10
78e36 Value2{26E9} 5|198b36 201r17 203r17
79V14*"="{boolean} 79>18 79>39 5|207b14 214l9 214t11
79e18 Value1{26E9} 5|207b18 210r17 212r17
79b39 Value2{boolean} 5|207b39 209r10
83V13*Equal{26E9} 83>20 83>41 5|220b13 223l8 223t13
83e20 Value1{26E9} 5|220b20 222r31
83b41 Value2{boolean} 5|220b41 222r39
84V13*Equal{26E9} 84>20 84>38 5|229b13 232l8 232t13
84b20 Value1{boolean} 5|229b20 231r39
84e38 Value2{26E9} 5|229b38 231r31
85V13*Equal{26E9} 85>20 85>41 5|234b13 238l8 238t13
85e20 Value1{26E9} 5|235b7 237r31
85e41 Value2{26E9} 5|235b28 237r39
95V13*Image{string} 95>20 5|244b13 251l8 251t13
95e20 Value{26E9} 5|244b20 246r12
96V13*Value{26E9} 96>20 5|257b13 267l8 267t13
96s20 Str{string} 5|257b20 259r25
X 5 gnatcoll-tribooleans.adb
26a4 And_Truth_Table1(4|26E9) 143r14
40a4 And_Truth_Table2(4|26E9) 148r14 153r14
45a4 Or_Truth_Table1(4|26E9) 162r14
59a4 Or_Truth_Table2(4|26E9) 167r14 172r14
64a4 Xor_Truth_Table1(4|26E9) 181r14
78a4 Xor_Truth_Table2(4|26E9) 186r14 191r14
83a4 Eq_Truth_Table1(4|26E9) 237r14
97a4 Eq_Truth_Table2(4|26E9) 222r14 231r14

APT Browse - Built by Thomas Orozco.