108 lines
4.2 KiB
Plaintext
108 lines
4.2 KiB
Plaintext
V "GNAT Lib v6"
|
|
A -gnatwa
|
|
A -nostdinc
|
|
A -O2
|
|
A -Wextra
|
|
A -Wall
|
|
A -g
|
|
A -gnatp
|
|
A -gnatg
|
|
A -mtune=generic
|
|
A -march=i586
|
|
P SS ZX
|
|
|
|
RN
|
|
RV NO_SECONDARY_STACK
|
|
RV NO_DYNAMIC_SIZED_OBJECTS
|
|
RV SPARK_05
|
|
|
|
U ada.wide_wide_characters.handling%b a-zchhan.adb 5d655666 NE OL PK
|
|
W ada%s ada.ads ada.ali
|
|
W ada.wide_wide_characters%s a-zchara.ads a-zchara.ali
|
|
W ada.wide_wide_characters.unicode%s a-zchuni.adb a-zchuni.ali
|
|
W system.secondary_stack%s s-secsta.adb s-secsta.ali
|
|
|
|
U ada.wide_wide_characters.handling%s a-zchhan.ads 0910a976 BN NE OL PU PK
|
|
W ada.wide_wide_characters%s a-zchara.ads a-zchara.ali
|
|
|
|
D ada.ads 20070406091342 3ffc8e18 ada%s
|
|
D a-zchara.ads 20120410054430 21c8f2b2 ada.wide_wide_characters%s
|
|
D a-zchhan.ads 20131010123844 28d85bc4 ada.wide_wide_characters.handling%s
|
|
D a-zchhan.adb 20131010123844 31600096 ada.wide_wide_characters.handling%b
|
|
D a-zchuni.ads 20130104124955 44dd0d34 ada.wide_wide_characters.unicode%s
|
|
D system.ads 20151123113124 2da59038 system%s
|
|
D s-secsta.ads 20140225151139 86a2856d system.secondary_stack%s
|
|
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
|
|
D s-utf_32.ads 20140225151139 9e89e9cc system.utf_32%s
|
|
X 1 ada.ads
|
|
16K9*Ada 19e8 3|16r9 132r5 4|32r6 32r44 34r14 59r14 86r14 93r14 109r14 116r14
|
|
. 124r14 131r14 156r14 174r14 187r5
|
|
X 2 a-zchara.ads
|
|
16K13*Wide_Wide_Characters 1|16k9 2|18e29 3|16r13 132r9 4|32r10 32r48 34r18
|
|
. 59r18 86r18 93r18 109r18 116r18 124r18 131r18 156r18 174r18 187r9
|
|
X 3 a-zchhan.ads
|
|
16K34*Handling 2|16k13 3|132l30 132e38 4|34b39 187l30 187t38
|
|
23V13*Is_Control{boolean} 23>25 24r19 4|49b13 52l8 52t18
|
|
23e25 Item{wide_wide_character} 4|49b25 51r28
|
|
28V13*Is_Letter{boolean} 28>24 29r19 4|42s14 85b13
|
|
28e24 Item{wide_wide_character} 4|85b24
|
|
35V13*Is_Lower{boolean} 35>23 36r19 4|99b13 102l8 102t16
|
|
35e23 Item{wide_wide_character} 4|99b23 101r28
|
|
40V13*Is_Upper{boolean} 40>23 41r19 4|146b13 149l8 149t16
|
|
40e23 Item{wide_wide_character} 4|146b23 148r28
|
|
45V13*Is_Digit{boolean} 45>23 46r19 51r14 4|42s39 58b13 76s14
|
|
45e23 Item{wide_wide_character} 4|58b23
|
|
50V13*Is_Decimal_Digit=51:14{boolean}
|
|
50e31 Item{wide_wide_character}
|
|
53V13*Is_Hexadecimal_Digit{boolean} 53>35 4|74b13 79l8 79t28
|
|
53e35 Item{wide_wide_character} 4|74b35 76r24 77r17 78r17
|
|
58V13*Is_Alphanumeric{boolean} 58>30 59r19 4|40b13 43l8 43t23 139s45
|
|
58e30 Item{wide_wide_character} 4|40b30 42r25 42r49
|
|
65V13*Is_Special{boolean} 65>25 66r19 4|137b13 140l8 140t18
|
|
65e25 Item{wide_wide_character} 4|137b25 139r26 139r62
|
|
72V13*Is_Line_Terminator{boolean} 72>33 73r19 4|92b13
|
|
72e33 Item{wide_wide_character} 4|92b33
|
|
79V13*Is_Mark{boolean} 79>22 80r19 4|108b13
|
|
79e22 Item{wide_wide_character} 4|108b22
|
|
85V13*Is_Other_Format{boolean} 85>30 86r19 4|115b13
|
|
85e30 Item{wide_wide_character} 4|115b30
|
|
90V13*Is_Punctuation_Connector{boolean} 91>7 92r19 4|122b13
|
|
91e7 Item{wide_wide_character} 4|123b7
|
|
96V13*Is_Space{boolean} 96>23 97r19 4|130b13
|
|
96e23 Item{wide_wide_character} 4|130b23
|
|
101V13*Is_Graphic{boolean} 101>25 102r19 4|65b13 68l8 68t18 139s14
|
|
101e25 Item{wide_wide_character} 4|65b25 67r34
|
|
106V13*To_Lower{wide_wide_character} 106>23 107r19 4|155b13 163s24
|
|
106e23 Item{wide_wide_character} 4|155b23
|
|
113V13*To_Lower{wide_wide_string} 113>23 4|158b13 167l8 167t16
|
|
113a23 Item{wide_wide_string} 4|158b23 159r34 163r34
|
|
119V13*To_Upper{wide_wide_character} 119>23 120r19 4|173b13 181s24
|
|
119e23 Item{wide_wide_character} 4|173b23
|
|
126V13*To_Upper{wide_wide_string} 126>23 4|176b13 185l8 185t16
|
|
126a23 Item{wide_wide_string} 4|176b23 177r34 181r34
|
|
X 4 a-zchhan.adb
|
|
159a7 Result{wide_wide_string} 162r16 163m10 166r14
|
|
162i11 J{integer} 163r18 163r40
|
|
177a7 Result{wide_wide_string} 180r16 181m10 184r14
|
|
180i11 J{integer} 181r18 181r40
|
|
X 5 a-zchuni.ads
|
|
36K34*Unicode 4|32w31 32r69 59r39 86r39 93r39 109r39 116r39 124r39 131r39
|
|
. 156r39 174r39 5|196e37
|
|
43E9*Category<9|56E9>
|
|
76V13*Get_Category{43E9} 4|51s14 101s14 148s14
|
|
90V13*Is_Letter{boolean} 4|86r47
|
|
102V13*Is_Digit{boolean} 4|59r47
|
|
109V13*Is_Line_Terminator{boolean} 4|93r47
|
|
117V13*Is_Mark{boolean} 4|109r47
|
|
126V13*Is_Other{boolean} 4|116r47
|
|
135V13*Is_Punctuation{boolean} 4|124r47
|
|
143V13*Is_Space{boolean} 4|131r47
|
|
150V13*Is_Non_Graphic{boolean} 4|67s18
|
|
180V13*To_Lower_Case{wide_wide_character} 4|156r47
|
|
188V13*To_Upper_Case{wide_wide_character} 4|174r47
|
|
X 9 s-utf_32.ads
|
|
57n6*Cc{56E9} 4|51r36
|
|
62n6*Ll{56E9} 4|101r36
|
|
66n6*Lu{56E9} 4|148r36
|
|
|