Right. A package declaration, when preceded by the appropriate context clauses, is a compilation unit and thus can be compiled. The Ada compiler cannot create an executable program from just the declaration alone, but it can check for interface errors.

This makes it easier for teams to develop software - they can develop the declarations and compile them to check their accuracy. Then each of them can go off and develop the bodies for different declarations, with an increased confidence that the different parts will work together.

You may go to the next section.

You may also:

PREVIOUS Go back to the question

OUTLINE Go up to the outline of lesson 2

David A. Wheeler (dwheeler@ida.org)