 |
|
|
|
.. (parent) |
|
d |
rwxr-xr-x |
49 |
Docs
|
|
d |
rwxr-xr-x |
139 |
Examples
|
|
d |
rwxr-xr-x |
4,096 |
Language_Lexers
|
|
d |
rwxr-xr-x |
104 |
debian
|
 |
- |
rw-r--r-- |
344 |
build_all.gpr
|
|
- |
rw-r--r-- |
21,054 |
gpl.html
|
|
- |
rw-r--r-- |
18,804 |
gpl.txt
|
|
- |
rw-r--r-- |
7,619 |
opentoken-production-list.adb
|
|
- |
rw-r--r-- |
5,739 |
opentoken-production-list.ads
|
|
- |
rw-r--r-- |
43,666 |
opentoken-production-parser-lalr.adb
|
|
- |
rw-r--r-- |
4,364 |
opentoken-production-parser-lalr.ads
|
|
- |
rw-r--r-- |
40,892 |
opentoken-production-parser-lrk_item.adb
|
|
- |
rw-r--r-- |
13,120 |
opentoken-production-parser-lrk_item.ads
|
|
- |
rw-r--r-- |
3,278 |
opentoken-production-parser.ads
|
|
- |
rw-r--r-- |
4,501 |
opentoken-production.adb
|
|
- |
rw-r--r-- |
5,735 |
opentoken-production.ads
|
|
- |
rw-r--r-- |
9,360 |
opentoken-recognizer-based_integer_ada_style.adb
|
|
- |
rw-r--r-- |
4,693 |
opentoken-recognizer-based_integer_ada_style.ads
|
|
- |
rw-r--r-- |
5,494 |
opentoken-recognizer-based_integer_java_style.adb
|
|
- |
rw-r--r-- |
4,317 |
opentoken-recognizer-based_integer_java_style.ads
|
|
- |
rw-r--r-- |
10,704 |
opentoken-recognizer-based_real_ada_style.adb
|
|
- |
rw-r--r-- |
4,785 |
opentoken-recognizer-based_real_ada_style.ads
|
|
- |
rw-r--r-- |
8,454 |
opentoken-recognizer-bracketed_comment.adb
|
|
- |
rw-r--r-- |
4,444 |
opentoken-recognizer-bracketed_comment.ads
|
|
- |
rw-r--r-- |
4,302 |
opentoken-recognizer-character_set.adb
|
|
- |
rw-r--r-- |
4,927 |
opentoken-recognizer-character_set.ads
|
|
- |
rw-r--r-- |
5,422 |
opentoken-recognizer-csv_field.adb
|
|
- |
rw-r--r-- |
4,139 |
opentoken-recognizer-csv_field.ads
|
|
- |
rw-r--r-- |
4,116 |
opentoken-recognizer-end_of_file.adb
|
|
- |
rw-r--r-- |
4,084 |
opentoken-recognizer-end_of_file.ads
|
|
- |
rw-r--r-- |
4,809 |
opentoken-recognizer-escape_sequence.adb
|
|
- |
rw-r--r-- |
3,836 |
opentoken-recognizer-escape_sequence.ads
|
|
- |
rw-r--r-- |
5,530 |
opentoken-recognizer-extended_digits.adb
|
|
- |
rw-r--r-- |
4,730 |
opentoken-recognizer-extended_digits.ads
|
|
- |
rw-r--r-- |
4,804 |
opentoken-recognizer-graphic_character.adb
|
|
- |
rw-r--r-- |
3,925 |
opentoken-recognizer-graphic_character.ads
|
|
- |
rw-r--r-- |
5,113 |
opentoken-recognizer-html_entity.adb
|
|
- |
rw-r--r-- |
3,047 |
opentoken-recognizer-html_entity.ads
|
|
- |
rw-r--r-- |
5,826 |
opentoken-recognizer-identifier.adb
|
|
- |
rw-r--r-- |
5,385 |
opentoken-recognizer-identifier.ads
|
|
- |
rw-r--r-- |
9,635 |
opentoken-recognizer-integer.adb
|
|
- |
rw-r--r-- |
5,453 |
opentoken-recognizer-integer.ads
|
|
- |
rw-r--r-- |
5,617 |
opentoken-recognizer-keyword.adb
|
|
- |
rw-r--r-- |
4,463 |
opentoken-recognizer-keyword.ads
|
|
- |
rw-r--r-- |
5,235 |
opentoken-recognizer-line_comment.adb
|
|
- |
rw-r--r-- |
4,277 |
opentoken-recognizer-line_comment.ads
|
|
- |
rw-r--r-- |
3,969 |
opentoken-recognizer-nothing.adb
|
|
- |
rw-r--r-- |
4,012 |
opentoken-recognizer-nothing.ads
|
|
- |
rw-r--r-- |
5,586 |
opentoken-recognizer-octal_escape.adb
|
|
- |
rw-r--r-- |
3,976 |
opentoken-recognizer-octal_escape.ads
|
|
- |
rw-r--r-- |
13,129 |
opentoken-recognizer-real.adb
|
|
- |
rw-r--r-- |
5,490 |
opentoken-recognizer-real.ads
|
|
- |
rw-r--r-- |
4,505 |
opentoken-recognizer-separator.adb
|
|
- |
rw-r--r-- |
3,983 |
opentoken-recognizer-separator.ads
|
|
- |
rw-r--r-- |
16,049 |
opentoken-recognizer-string.adb
|
|
- |
rw-r--r-- |
6,815 |
opentoken-recognizer-string.ads
|
|
- |
rw-r--r-- |
4,522 |
opentoken-recognizer.ads
|
|
- |
rw-r--r-- |
4,315 |
opentoken-text_feeder-string.adb
|
|
- |
rw-r--r-- |
3,621 |
opentoken-text_feeder-string.ads
|
|
- |
rw-r--r-- |
4,218 |
opentoken-text_feeder-text_io.adb
|
|
- |
rw-r--r-- |
4,289 |
opentoken-text_feeder-text_io.ads
|
|
- |
rw-r--r-- |
3,397 |
opentoken-text_feeder.ads
|
|
- |
rw-r--r-- |
30,555 |
opentoken-token-enumerated-analyzer.adb
|
|
- |
rw-r--r-- |
13,163 |
opentoken-token-enumerated-analyzer.ads
|
|
- |
rw-r--r-- |
3,590 |
opentoken-token-enumerated-integer_literal.adb
|
|
- |
rw-r--r-- |
3,956 |
opentoken-token-enumerated-integer_literal.ads
|
|
- |
rw-r--r-- |
11,448 |
opentoken-token-enumerated-list.adb
|
|
- |
rw-r--r-- |
6,021 |
opentoken-token-enumerated-list.ads
|
|
- |
rw-r--r-- |
8,000 |
opentoken-token-enumerated-nonterminal.adb
|
|
- |
rw-r--r-- |
11,159 |
opentoken-token-enumerated-nonterminal.ads
|
|
- |
rw-r--r-- |
6,489 |
opentoken-token-enumerated.adb
|
|
- |
rw-r--r-- |
6,913 |
opentoken-token-enumerated.ads
|
|
- |
rw-r--r-- |
11,506 |
opentoken-token-linked_list.adb
|
|
- |
rw-r--r-- |
6,119 |
opentoken-token-linked_list.ads
|
|
- |
rw-r--r-- |
6,158 |
opentoken-token-list.adb
|
|
- |
rw-r--r-- |
4,771 |
opentoken-token-list.ads
|
|
- |
rw-r--r-- |
6,371 |
opentoken-token-list_mixin.adb
|
|
- |
rw-r--r-- |
5,353 |
opentoken-token-list_mixin.ads
|
|
- |
rw-r--r-- |
9,094 |
opentoken-token-selection.adb
|
|
- |
rw-r--r-- |
7,603 |
opentoken-token-selection.ads
|
|
- |
rw-r--r-- |
9,358 |
opentoken-token-selection_mixin.adb
|
|
- |
rw-r--r-- |
7,808 |
opentoken-token-selection_mixin.ads
|
|
- |
rw-r--r-- |
6,677 |
opentoken-token-sequence.adb
|
|
- |
rw-r--r-- |
5,456 |
opentoken-token-sequence.ads
|
|
- |
rw-r--r-- |
6,836 |
opentoken-token-sequence_mixin.adb
|
|
- |
rw-r--r-- |
5,460 |
opentoken-token-sequence_mixin.ads
|
|
- |
rw-r--r-- |
5,053 |
opentoken-token.ads
|
|
- |
rw-r--r-- |
3,298 |
opentoken.ads
|
|
- |
rw-r--r-- |
6,123 |
philosophical-gnu-sm.jpg
|
|
- |
rw-r--r-- |
10,909 |
readme.html
|
|
- |
rw-r--r-- |
10,097 |
readme.txt
|
