DocAda^(tm) is a productivity tool of KSCE

| | | |
About DocAda Light: Preface / Preliminary / Help / TOC / Copyright
DocAda Online at the Ada Home: Complete RM95 / Updates / News

H.3 Reviewable Object Code

Object code review and validation are supported by pragmas Reviewable and Inspection_Point.

Subclauses

1. Pragma Reviewable
2. Pragma Inspection_Point

About DocAda Light: Preface / Preliminary / Help / TOC / Copyright
DocAda Online at the Ada Home: Complete RM95 / Updates / News
| | | |