Ada Examples

Items indicated with (*) can be compiled as main programs. For example, to compile the scanner test driver, use "gnatmake scantest".

• hello.adb simple main program (*)
• math_functions.ads, math_functions.adb a simple example of a package
• mathtest.adb test driver for package math_functions (*)
• exceptions.adb example of exception handling (*)
• getest.adb use of get and skip_line (*)
• looktest.adb use of get_line and look_ahead (*)
• enums.adb legal use of enumeration types (*)
• enums2.adb illegal uses of enumeration types (*)
• fruits.adb more illegal uses of enumeration types (*)
• generic programming
  • gsort.ads specification of a generic sort procedure
  • stacks.ads specification of a stack package
  • gstacks.ads specification of a generic stack package
  • gen_list.ads, gen_list.adb generic list package
• compilation techniques: scanning, recursive descent parsing, tree walking, symbol table
  • simple scanner and test driver
    • scanner.ads, scanner.adb scanner package
    • scantest.adb test driver for scanner (*)
  • first version of recursive descent parser and evaluator
    • calc.ads, calc.adb calculator parser + evaluator
    • calctest.adb test driver for calc (*)
  • same as the above, but with runtime execution trace of all calls and returns
    • calctrace.ads, calctrace.adb version of calc.ads with call/return tracing
    • calctesttrace.adb test driver for calctrace (*)
  • alternate version of scanner and calculator, as basis for programming exercise
    • scanner2.ads, scanner2.adb alternate version of scanner2
    • scantest2.adb test driver for scanner2 (*)
    • calc2.ads, calc2.adb alternate version of calc package
    • calctest2.adb test driver for calc2 (*)
  • alternate version of calculator, modified to build abstract syntax tree (AST)
    • ast.ads, ast.adb abstract syntax tree package
    • ast-get.adb expression parser that builds an AST
      based on the syntax of calc2 and using scanner2
    • ast-eval.adb expression evaluator
    • ast_test.adb main program to test ast.get(*)
  • another version of the above, using controlled type and reference count for storage recovery
    • ast2.ads, ast2.adb abstract syntax tree package
    • ast2-get.adb expression parser that builds an AST
    • ast2-eval.adb expression evaluator
    • ast2_test.adb main program to test ast.get(*)
  • yet another version of the above, using controlled type and reference count for storage recovery, but only for the exported type (reduces overhead due to calls to finalize and adjust)
    • ast3.ads, ast3.adb abstract syntax tree package
    • ast3-get.adb expression parser that builds an AST
    • ast3-eval.adb expression evaluator
    • ast3_test.adb main program to test ast.get(*)
• checkpres.adb an ad hoc tool to create the Web page listing which student has signed up for which presentation topic and time slot (*)