Supplementing Generated Ada : Referencing Model Elements : Where Elements are Defined

Where Elements are Defined

An element can be local or global to a module. The element is globally defined if it is referenced by more than one module, i.e., defined in the top-level module. Each module “exports’ all its local elements as externals in its package specification file. This allows other user modules to access them. If you want to reference an element you must refer to its scope by WITHing the appropriate package. An example is shown below.

Example:

If you want to reference an element BAUD_RATE defined in module display, you should WITH the package display to make the element visible.

-- my module
WITH display; USE display;
package body my_package IS
.
br :=diBAUD_RATE ;
.
.