GNAT Metrics Documentation

Documentation for the GNAT Metrics tool, which can be used to compute various program metrics. It takes an Ada source file as input and generates a file containing the desired metrics data as output.