Ada Programming/Pragmas/Reviewable

Summary
The pragma Reviewable directs the compiler to provide information that aids inspection of the program's object code.

Wikibook

 * Ada Programming
 * Ada Programming/Pragmas

|Reviewable