Next: Available Tools and Libraries Up: ECLiPSe User Manual Release Previous: Switching To Creep Mode Index

Development Support Tools

This chapter describes some of the tools and libraries provided by ECLiPSe that assist in program development and the analysis of program runtime behaviour.

Available Tools and Libraries
Heuristic Program Checker
Document Generation Tools
Cross Referencing Tool
Pretty Printer Tool
Timing Profiler
Port Profiler
Line coverage
- Compilation
- Results
Mode analysis

Warwick Harvey
2004-08-07