Go to the first, previous, next, last section, table of contents.
-
Object code review and validation are supported by pragmas Reviewable
and Inspection_Point.
- H.3.1: Pragma Reviewable
- H.3.2: Pragma Inspection_Point
Go to the first, previous, next, last section, table of contents.