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

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_ACCESS_SUBPROGRAMS
RV NO_ALLOCATORS
RV NO_ANONYMOUS_ALLOCATORS
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCH
RV NO_DISPATCHING_CALLS
RV NO_ENUMERATION_MAPS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_IMPLICIT_HEAP_ALLOCATIONS
RV NO_IMPLICIT_LOOPS
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U html_lexer.basic%s	html_lexer-basic.ads	7181e3b9 EE OO PF PK
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.strings%s		a-string.ads		a-string.ali
Z ada.strings.fixed%s	a-strfix.adb		a-strfix.ali
W ada.strings.maps%s	a-strmap.adb		a-strmap.ali
W ada.strings.maps.constants%s  a-stmaco.ads	a-stmaco.ali
W ada.tags%s		a-tags.adb		a-tags.ali
Z ada.text_io%s		a-textio.adb		a-textio.ali
Z ada.unchecked_deallocation%s
W html_lexer%s		html_lexer.adb		html_lexer.ali
W interfaces%s		interfac.ads		interfac.ali
W opentoken%s		opentoken.adb		opentoken.ali
W opentoken.recognizer%s  opentoken-recognizer.ads  opentoken-recognizer.ali
W opentoken.recognizer.bracketed_comment%s  opentoken-recognizer-bracketed_comment.adb  opentoken-recognizer-bracketed_comment.ali  AD
W opentoken.recognizer.character_set%s  opentoken-recognizer-character_set.adb  opentoken-recognizer-character_set.ali  AD
W opentoken.recognizer.end_of_file%s  opentoken-recognizer-end_of_file.adb  opentoken-recognizer-end_of_file.ali  AD
W opentoken.recognizer.html_entity%s  opentoken-recognizer-html_entity.adb  opentoken-recognizer-html_entity.ali  AD
W opentoken.recognizer.nothing%s  opentoken-recognizer-nothing.adb  opentoken-recognizer-nothing.ali  AD
Z opentoken.text_feeder%s  opentoken-text_feeder.ads  opentoken-text_feeder.ali
W opentoken.token%s	opentoken-token.adb	opentoken-token.ali
W opentoken.token.enumerated%s  opentoken-token-enumerated.adb  opentoken-token-enumerated.ali  AD
W opentoken.token.enumerated.analyzer%s  opentoken-token-enumerated-analyzer.adb  opentoken-token-enumerated-analyzer.ali  AD
W system%s		system.ads		system.ali
W system.exception_table%s  s-exctab.adb	s-exctab.ali
W system.finalization_masters%s  s-finmas.adb	s-finmas.ali
W system.img_enum_new%s	s-imenne.adb		s-imenne.ali
W system.img_int%s	s-imgint.adb		s-imgint.ali
W system.pool_global%s	s-pooglo.adb		s-pooglo.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali
W system.storage_pools%s  s-stopoo.adb		s-stopoo.ali
W system.storage_pools.subpools%s  s-stposu.adb	s-stposu.ali
W system.stream_attributes%s  s-stratt.adb	s-stratt.ali
W system.strings.stream_ops%s  s-ststop.adb	s-ststop.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-strfix.ads		20101008130255 d07c346e
D a-strmap.ads		20090409150019 9cb836fb
D a-stmaco.ads		20090409150019 cef4434b
D a-strsup.ads		20120309145048 a27dcb33
D a-strunb.ads		20120426100351 3f91d4c5
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 html_lexer.ads	20150510192240 d088fe43
D html_lexer-basic.ads	20150510192240 ba93df69
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-bracketed_comment.ads  20150510192240 fba012a3
D opentoken-recognizer-character_set.ads  20150510192240 db5d6f15
D opentoken-recognizer-end_of_file.ads  20150510192240 d5a4a40d
D opentoken-recognizer-html_entity.ads  20150510192240 5f409d55
D opentoken-recognizer-nothing.ads  20150510192240 dd23b94c
D opentoken-text_feeder.ads  20150510192240 6fb472c4
D opentoken-token.ads	20150510192240 f518d836
D opentoken-token-enumerated.ads  20150510192240 fdf7729b
D opentoken-token-enumerated.adb  20150510192240 f831d1b8
D opentoken-token-enumerated-analyzer.ads  20150510192240 a2547c7a
D opentoken-token-enumerated-analyzer.adb  20150510192240 891793cd
D opentoken-token-linked_list.ads  20150510192240 6abdfc9f
D system.ads		20151121115557 90249111
D s-atocou.ads		20131010110730 cd7c94ca
D s-atocou.adb		20131010121735 62bad392
D s-crtl.ads		20140225151544 840e6817
D s-exctab.ads		20140225151139 54135002
D s-exctab.adb		20140225151139 05502b19
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-htable.ads		20140225151139 84c2b3ea
D s-imenne.ads		20140225151139 614c06c0
D s-imgint.ads		20090409150019 02dbe0c2
D s-memory.ads		20140225151139 597d6634
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-stposu.ads		20121005142121 ffeba1c5
D s-stratt.ads		20131014135145 aedef97e
D s-stratt.adb		20090409150019 56ef263e
D s-string.ads		20140225151139 8fe54fb7
D s-ststop.ads		20140225151139 e6693757
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 21|26r6 57r13 72r13 72r54
X 8 a-string.ads
16K13*Strings 35e16 21|26r10 57r17 72r17 72r58
X 12 a-strmap.ads
38K21*Maps 412e21 21|26r18 57r25 72r25 72r66
47A9*Character_Set<138A9> 21|57r30
81V14*"-"{47A9} 21|72s52
99V13*To_Set{47A9} 21|72s71
138A9 Character_Set_Internal(boolean)<character>
X 13 a-stmaco.ads
38K26*Constants 916e31 21|26w23 72r30
44a4*Graphic_Set{12|47A9} 21|72r40
X 20 html_lexer.ads
29K9*HTML_Lexer 158e15 21|35r17 88r5
X 21 html_lexer-basic.ads
35K28*Basic 20|29k9 21|88l16 88e21
37E9*Basic_Token 49e37 54r7 54r20 54r39 54r57
37n25*Whitespace{37E9} 80r7
39n25*Comment{37E9} 75r7
41n25*Doctype{37E9} 60r7
43n25*HTML_Tag{37E9} 65r7
45n25*Text{37E9} 70r7
45n31*Entity{37E9} 74r7
47n25*Bad_Token{37E9} 83r7
49n25*End_Of_File{37E9} 84r7
53K12*Master_Basic_Token[33|59] 55r29
55K12*Tokenizer[35|54] 59r21 60r22 65r22 70r22 74r22 75r22 80r22 83r22 84r22
. 86r14 86r36
59a4*Syntax{35|72A9[55]} 86r58
86r4*Analyzer{35|74R9[55]}
X 24 opentoken.ads
42K9*OpenToken 21|28r6 30r6 31r6 32r6 33r6 34r6 53r38 61r10 66r10 71r10 74r36
. 76r10 81r10 82r13 83r36 84r36 24|82e14
X 25 opentoken-recognizer.ads
43K19*Recognizer 21|30r16 31r16 32r16 33r16 34r16 61r20 66r20 71r20 74r46
. 76r20 81r20 82r23 83r46 84r46 25|78e25
X 26 opentoken-recognizer-bracketed_comment.ads
38K30*Bracketed_Comment 21|30w27 61r31 66r31 76r31 26|93e43
48V13*Get{42R9} 21|61s49 66s49 76s49
49s7 Comment_Opener{string} 21|62r13 67r13 77r13
50s7 Comment_Closer{string} 21|63r13 68r13 78r13
51b7 Reportable{boolean} 21|64r13 69r13 79r13
X 27 opentoken-recognizer-character_set.ads
42K30*Character_Set 21|31w27 71r31 81r31 82r34 27|89e39
47a4*Standard_Whitespace{12|47A9} 21|82r48
65V13*Get{52R9} 21|71s45 81s45
66b18 Reportable{boolean} 21|73r13
X 28 opentoken-recognizer-end_of_file.ads
39K30*End_Of_File 21|32w27 84r57 28|70e37
49V13*Get{41R9} 21|84s69
X 29 opentoken-recognizer-html_entity.ads
27K30*HTML_Entity 21|33w27 74r57 29|59e37
40V13*Get{38R9} 21|74s69
X 30 opentoken-recognizer-nothing.ads
40K30*Nothing 21|34w27 83r57 30|65e33
51V13*Get{42R9} 21|83s65
X 32 opentoken-token.ads
36K19*Token 21|28r16 53r48 32|163e20
X 33 opentoken-token-enumerated.ads
59k25*Enumerated 21|28r22 53r54 33|205e31
177H9*Source<32|47R9>
X 35 opentoken-token-enumerated-analyzer.ads
54k36 Analyzer 21|28w33 35|303e40
65R9*Recognizable_Token
72A9*Syntax(65R9[21|55])<21|37E9> 21|59r31[55]
74R9*Instance<33|177R9[21|53]> 21|86r24[55]
75P9*Handle(74R9[21|55])
86V13*Get{65R9[21|55]} 21|60s32[55] 65s32[55] 70s32[55] 74s32[55] 75s32[55]
. 80s32[55] 83s32[55] 84s32[55]
97V13*Initialize{75P9[21|55]} 21|86s46[55]
X 38 system.ads
64M9*Address
X 56 s-memory.ads
53V13*Alloc{38|64M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{38|64M9} 105i<c,__gnat_realloc>22