package info (click to toggle)
opentoken 4.0b-3
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 1,820 kB
  • sloc: ada: 12,643; makefile: 136; java: 37; sh: 6

Folder: 4.0b-3

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 Build
d d rwxr-xr-x 127 Docs
d d rwxr-xr-x 124 Examples
d d rwxr-xr-x 4,096 Language_Lexers
d d rwxr-xr-x 4,096 Test
d d rwxr-xr-x 4,096 debian
- - rw-r--r-- 701 README.txt
- - rw-r--r-- 1,669 opentoken-production-list-print.adb
- - rw-r--r-- 1,507 opentoken-production-list-print.ads
- - rw-r--r-- 6,988 opentoken-production-list.adb
- - rw-r--r-- 5,477 opentoken-production-list.ads
- - rw-r--r-- 46,178 opentoken-production-parser-lalr.adb
- - rw-r--r-- 3,802 opentoken-production-parser-lalr.ads
- - rw-r--r-- 39,276 opentoken-production-parser-lrk_item.adb
- - rw-r--r-- 12,866 opentoken-production-parser-lrk_item.ads
- - rw-r--r-- 2,635 opentoken-production-parser.adb
- - rw-r--r-- 5,082 opentoken-production-parser.ads
- - rw-r--r-- 1,747 opentoken-production-print.adb
- - rw-r--r-- 1,631 opentoken-production-print.ads
- - rw-r--r-- 4,188 opentoken-production.adb
- - rw-r--r-- 5,364 opentoken-production.ads
- - rw-r--r-- 6,113 opentoken-recognizer-based_integer.adb
- - rw-r--r-- 2,485 opentoken-recognizer-based_integer.ads
- - rw-r--r-- 7,868 opentoken-recognizer-based_integer_ada_style.adb
- - rw-r--r-- 4,042 opentoken-recognizer-based_integer_ada_style.ads
- - rw-r--r-- 4,579 opentoken-recognizer-based_integer_java_style.adb
- - rw-r--r-- 3,797 opentoken-recognizer-based_integer_java_style.ads
- - rw-r--r-- 8,839 opentoken-recognizer-based_real_ada_style.adb
- - rw-r--r-- 4,139 opentoken-recognizer-based_real_ada_style.ads
- - rw-r--r-- 6,841 opentoken-recognizer-bracketed_comment.adb
- - rw-r--r-- 3,767 opentoken-recognizer-bracketed_comment.ads
- - rw-r--r-- 3,267 opentoken-recognizer-character_set.adb
- - rw-r--r-- 3,899 opentoken-recognizer-character_set.ads
- - rw-r--r-- 4,147 opentoken-recognizer-csv_field.adb
- - rw-r--r-- 3,730 opentoken-recognizer-csv_field.ads
- - rw-r--r-- 3,055 opentoken-recognizer-end_of_file.adb
- - rw-r--r-- 3,074 opentoken-recognizer-end_of_file.ads
- - rw-r--r-- 4,348 opentoken-recognizer-escape_sequence.adb
- - rw-r--r-- 3,370 opentoken-recognizer-escape_sequence.ads
- - rw-r--r-- 4,473 opentoken-recognizer-extended_digits.adb
- - rw-r--r-- 3,448 opentoken-recognizer-extended_digits.ads
- - rw-r--r-- 4,370 opentoken-recognizer-graphic_character.adb
- - rw-r--r-- 3,710 opentoken-recognizer-graphic_character.ads
- - rw-r--r-- 4,645 opentoken-recognizer-html_entity.adb
- - rw-r--r-- 2,619 opentoken-recognizer-html_entity.ads
- - rw-r--r-- 4,551 opentoken-recognizer-identifier.adb
- - rw-r--r-- 4,242 opentoken-recognizer-identifier.ads
- - rw-r--r-- 7,327 opentoken-recognizer-integer.adb
- - rw-r--r-- 4,271 opentoken-recognizer-integer.ads
- - rw-r--r-- 4,568 opentoken-recognizer-keyword.adb
- - rw-r--r-- 3,442 opentoken-recognizer-keyword.ads
- - rw-r--r-- 4,764 opentoken-recognizer-line_comment.adb
- - rw-r--r-- 3,875 opentoken-recognizer-line_comment.ads
- - rw-r--r-- 2,199 opentoken-recognizer-nothing.adb
- - rw-r--r-- 2,992 opentoken-recognizer-nothing.ads
- - rw-r--r-- 4,574 opentoken-recognizer-octal_escape.adb
- - rw-r--r-- 3,400 opentoken-recognizer-octal_escape.ads
- - rw-r--r-- 10,267 opentoken-recognizer-real.adb
- - rw-r--r-- 4,339 opentoken-recognizer-real.ads
- - rw-r--r-- 3,106 opentoken-recognizer-separator.adb
- - rw-r--r-- 2,690 opentoken-recognizer-separator.ads
- - rw-r--r-- 14,848 opentoken-recognizer-string.adb
- - rw-r--r-- 5,681 opentoken-recognizer-string.ads
- - rw-r--r-- 3,913 opentoken-recognizer.ads
- - rw-r--r-- 3,093 opentoken-text_feeder-string.adb
- - rw-r--r-- 3,268 opentoken-text_feeder-string.ads
- - rw-r--r-- 2,804 opentoken-text_feeder-text_io.adb
- - rw-r--r-- 3,923 opentoken-text_feeder-text_io.ads
- - rw-r--r-- 3,017 opentoken-text_feeder.ads
- - rw-r--r-- 30,596 opentoken-token-enumerated-analyzer.adb
- - rw-r--r-- 14,588 opentoken-token-enumerated-analyzer.ads
- - rw-r--r-- 2,131 opentoken-token-enumerated-identifier.adb
- - rw-r--r-- 1,995 opentoken-token-enumerated-identifier.ads
- - rw-r--r-- 2,917 opentoken-token-enumerated-integer.adb
- - rw-r--r-- 3,099 opentoken-token-enumerated-integer.ads
- - rw-r--r-- 1,744 opentoken-token-enumerated-list-print.adb
- - rw-r--r-- 1,430 opentoken-token-enumerated-list-print.ads
- - rw-r--r-- 8,094 opentoken-token-enumerated-list.adb
- - rw-r--r-- 5,332 opentoken-token-enumerated-list.ads
- - rw-r--r-- 4,439 opentoken-token-enumerated-nonterminal.adb
- - rw-r--r-- 10,676 opentoken-token-enumerated-nonterminal.ads
- - rw-r--r-- 2,239 opentoken-token-enumerated-real.adb
- - rw-r--r-- 2,639 opentoken-token-enumerated-real.ads
- - rw-r--r-- 3,631 opentoken-token-enumerated-string.adb
- - rw-r--r-- 2,992 opentoken-token-enumerated-string.ads
- - rw-r--r-- 6,219 opentoken-token-enumerated.adb
- - rw-r--r-- 7,523 opentoken-token-enumerated.ads
- - rw-r--r-- 8,835 opentoken-token-linked_list.adb
- - rw-r--r-- 6,297 opentoken-token-linked_list.ads
- - rw-r--r-- 1,627 opentoken-token-list.ads
- - rw-r--r-- 7,377 opentoken-token-list_mixin.adb
- - rw-r--r-- 5,357 opentoken-token-list_mixin.ads
- - rw-r--r-- 1,641 opentoken-token-selection.ads
- - rw-r--r-- 6,928 opentoken-token-selection_mixin.adb
- - rw-r--r-- 7,518 opentoken-token-selection_mixin.ads
- - rw-r--r-- 1,572 opentoken-token-sequence.ads
- - rw-r--r-- 5,698 opentoken-token-sequence_mixin.adb
- - rw-r--r-- 6,648 opentoken-token-sequence_mixin.ads
- - rw-r--r-- 2,345 opentoken-token.adb
- - rw-r--r-- 7,078 opentoken-token.ads
- - rw-r--r-- 1,658 opentoken.adb
- - rw-r--r-- 3,408 opentoken.ads