| ERC32 Ada Technical Summary: For mission-critical applications using the ERC32 spacecraft computer | ||
|---|---|---|
| Prev | Chapter 4. User Interface and Debugging Facilities | Next |
ERC32 Ada includes a number of other tools to support software development, as follows:
which converts given target addresses to source file line numbers
which is used to build object code libraries
which is the symbolic debugger
which may be used to divide a file that contains more than one compilation unit into one file for each unit
which is used to find Ada symbols in source files
which is used to list Ada units
which uses the Ada rules to automatically compile, recompile and build an Ada program
which is an Ada pre-processor
which prints the target package Standard
which prints the target package System
which is the Ada cross reference tool
which lists the symbols from object files
which is used to copy and reformat object code files
which is used to dump information from object code files and includes an option to disassemble
which generates an index to the contents of an archive and stores it in the archive
which is the simulator
which is an interactive simulator
which prints the size of an object code or executable file
which lists debug symbols and other strings in an object code file
which removes debug symbol table information from object code files