package info (click to toggle)
opentoken 6.0b-9
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 3,064 kB
  • sloc: ada: 25,117; makefile: 112; lisp: 52; java: 37; sh: 15

Folder: 6.0b-9

show hidden (1)
d .. (parent)
d d rwxr-xr-x 133 .pc
d d rwxr-xr-x 4,096 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 build
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 wisi
- - rwxr-xr-x 50 NEWS.text
- - rwxr-xr-x 666 README.txt
- - rwxr-xr-x 704 notes.text
- - rwxr-xr-x 1,668 opentoken-production-list-print.adb
- - rwxr-xr-x 1,507 opentoken-production-list-print.ads
- - rwxr-xr-x 6,978 opentoken-production-list.adb
- - rwxr-xr-x 5,479 opentoken-production-list.ads
- - rwxr-xr-x 37,810 opentoken-production-parser-lalr-generator.adb
- - rwxr-xr-x 4,056 opentoken-production-parser-lalr-generator.ads
- - rwxr-xr-x 15,443 opentoken-production-parser-lalr-parser.adb
- - rwxr-xr-x 2,399 opentoken-production-parser-lalr-parser.ads
- - rwxr-xr-x 23,668 opentoken-production-parser-lalr-parser_lists.adb
- - rwxr-xr-x 8,120 opentoken-production-parser-lalr-parser_lists.ads
- - rwxr-xr-x 812 opentoken-production-parser-lalr.adb
- - rwxr-xr-x 5,615 opentoken-production-parser-lalr.ads
- - rwxr-xr-x 32,198 opentoken-production-parser-lrk_item.adb
- - rwxr-xr-x 8,117 opentoken-production-parser-lrk_item.ads
- - rwxr-xr-x 2,566 opentoken-production-parser.adb
- - rwxr-xr-x 4,580 opentoken-production-parser.ads
- - rwxr-xr-x 1,740 opentoken-production-print.adb
- - rwxr-xr-x 1,541 opentoken-production-print.ads
- - rwxr-xr-x 5,059 opentoken-production.adb
- - rwxr-xr-x 6,033 opentoken-production.ads
- - rwxr-xr-x 6,005 opentoken-recognizer-based_integer.adb
- - rwxr-xr-x 2,485 opentoken-recognizer-based_integer.ads
- - rwxr-xr-x 7,469 opentoken-recognizer-based_integer_ada_style.adb
- - rwxr-xr-x 4,042 opentoken-recognizer-based_integer_ada_style.ads
- - rwxr-xr-x 4,579 opentoken-recognizer-based_integer_java_style.adb
- - rwxr-xr-x 3,797 opentoken-recognizer-based_integer_java_style.ads
- - rwxr-xr-x 8,445 opentoken-recognizer-based_integer_real_ada.adb
- - rwxr-xr-x 2,203 opentoken-recognizer-based_integer_real_ada.ads
- - rwxr-xr-x 8,347 opentoken-recognizer-based_real_ada_style.adb
- - rwxr-xr-x 3,909 opentoken-recognizer-based_real_ada_style.ads
- - rwxr-xr-x 7,217 opentoken-recognizer-bracketed_comment.adb
- - rwxr-xr-x 3,928 opentoken-recognizer-bracketed_comment.ads
- - rwxr-xr-x 3,267 opentoken-recognizer-character_set.adb
- - rwxr-xr-x 3,902 opentoken-recognizer-character_set.ads
- - rwxr-xr-x 4,147 opentoken-recognizer-csv_field.adb
- - rwxr-xr-x 3,730 opentoken-recognizer-csv_field.ads
- - rwxr-xr-x 3,055 opentoken-recognizer-end_of_file.adb
- - rwxr-xr-x 3,073 opentoken-recognizer-end_of_file.ads
- - rwxr-xr-x 4,348 opentoken-recognizer-escape_sequence.adb
- - rwxr-xr-x 3,370 opentoken-recognizer-escape_sequence.ads
- - rwxr-xr-x 4,473 opentoken-recognizer-extended_digits.adb
- - rwxr-xr-x 3,448 opentoken-recognizer-extended_digits.ads
- - rwxr-xr-x 4,379 opentoken-recognizer-graphic_character.adb
- - rwxr-xr-x 3,710 opentoken-recognizer-graphic_character.ads
- - rwxr-xr-x 4,508 opentoken-recognizer-html_entity.adb
- - rwxr-xr-x 2,619 opentoken-recognizer-html_entity.ads
- - rwxr-xr-x 4,054 opentoken-recognizer-identifier.adb
- - rwxr-xr-x 3,862 opentoken-recognizer-identifier.ads
- - rwxr-xr-x 7,359 opentoken-recognizer-integer.adb
- - rwxr-xr-x 4,271 opentoken-recognizer-integer.ads
- - rwxr-xr-x 4,262 opentoken-recognizer-keyword.adb
- - rwxr-xr-x 3,441 opentoken-recognizer-keyword.ads
- - rwxr-xr-x 4,764 opentoken-recognizer-line_comment.adb
- - rwxr-xr-x 3,874 opentoken-recognizer-line_comment.ads
- - rwxr-xr-x 2,199 opentoken-recognizer-nothing.adb
- - rwxr-xr-x 2,991 opentoken-recognizer-nothing.ads
- - rwxr-xr-x 4,574 opentoken-recognizer-octal_escape.adb
- - rwxr-xr-x 3,400 opentoken-recognizer-octal_escape.ads
- - rwxr-xr-x 10,291 opentoken-recognizer-real.adb
- - rwxr-xr-x 4,339 opentoken-recognizer-real.ads
- - rwxr-xr-x 3,106 opentoken-recognizer-separator.adb
- - rwxr-xr-x 2,690 opentoken-recognizer-separator.ads
- - rwxr-xr-x 14,249 opentoken-recognizer-string.adb
- - rwxr-xr-x 5,624 opentoken-recognizer-string.ads
- - rwxr-xr-x 3,913 opentoken-recognizer.ads
- - rwxr-xr-x 5,372 opentoken-text_feeder-counted_gnat_os_lib.adb
- - rwxr-xr-x 2,202 opentoken-text_feeder-counted_gnat_os_lib.ads
- - rwxr-xr-x 2,916 opentoken-text_feeder-string.adb
- - rwxr-xr-x 3,267 opentoken-text_feeder-string.ads
- - rwxr-xr-x 2,919 opentoken-text_feeder-text_io.adb
- - rwxr-xr-x 4,077 opentoken-text_feeder-text_io.ads
- - rwxr-xr-x 3,105 opentoken-text_feeder.ads
- - rwxr-xr-x 31,695 opentoken-token-enumerated-analyzer.adb
- - rwxr-xr-x 14,589 opentoken-token-enumerated-analyzer.ads
- - rwxr-xr-x 2,213 opentoken-token-enumerated-identifier.adb
- - rwxr-xr-x 2,041 opentoken-token-enumerated-identifier.ads
- - rwxr-xr-x 3,003 opentoken-token-enumerated-integer.adb
- - rwxr-xr-x 3,145 opentoken-token-enumerated-integer.ads
- - rwxr-xr-x 7,230 opentoken-token-enumerated-list.adb
- - rwxr-xr-x 5,733 opentoken-token-enumerated-list.ads
- - rwxr-xr-x 4,580 opentoken-token-enumerated-nonterminal.adb
- - rwxr-xr-x 10,879 opentoken-token-enumerated-nonterminal.ads
- - rwxr-xr-x 2,321 opentoken-token-enumerated-real.adb
- - rwxr-xr-x 2,685 opentoken-token-enumerated-real.ads
- - rwxr-xr-x 3,713 opentoken-token-enumerated-string.adb
- - rwxr-xr-x 2,857 opentoken-token-enumerated-string.ads
- - rwxr-xr-x 6,844 opentoken-token-enumerated.adb
- - rwxr-xr-x 8,582 opentoken-token-enumerated.ads
- - rwxr-xr-x 8,824 opentoken-token-linked_list.adb
- - rwxr-xr-x 6,299 opentoken-token-linked_list.ads
- - rwxr-xr-x 1,627 opentoken-token-list.ads
- - rwxr-xr-x 7,550 opentoken-token-list_mixin.adb
- - rwxr-xr-x 5,462 opentoken-token-list_mixin.ads
- - rwxr-xr-x 1,641 opentoken-token-selection.ads
- - rwxr-xr-x 7,081 opentoken-token-selection_mixin.adb
- - rwxr-xr-x 7,418 opentoken-token-selection_mixin.ads
- - rwxr-xr-x 1,572 opentoken-token-sequence.ads
- - rwxr-xr-x 5,873 opentoken-token-sequence_mixin.adb
- - rwxr-xr-x 6,688 opentoken-token-sequence_mixin.ads
- - rwxr-xr-x 2,472 opentoken-token.adb
- - rwxr-xr-x 7,374 opentoken-token.ads
- - rwxr-xr-x 1,854 opentoken.adb
- - rwxr-xr-x 3,668 opentoken.ads