Static in 9X

[Ken Garlington <73672.2025@COMPUSERVE.COM>]

I'm trying to work a problem with my Ada vendor, and time is short, so I would
appreciate any help I can get in the next day or so. Part of my problem is
understanding the definition of "static" in the 9XRM 4.9. Which (if any) of the
following are static, and under what conditions/assumptions? (Assume that
exceptions are not a factor.)

1. A constant composite value, with static initial values, e.g.

   type R is record
     X : INTEGER;
     Y : INTEGER;
   end record;

   REC : constant R := (1,2); -- static?

2. Components of a record/elements of an array, e.g.

   V : constant INTEGER := REC.X; -- static?

3. A user-written function, e.g.

   function Z return INTEGER is begin return 0; end; -- static?

4. Type conversions that require manipulation of the form of the data; e.g.

   X : constant FLOAT := 0.0;
   Y : constant LONG_FLOAT := LONG_FLOAT(X); -- static?

5. UNCHECKED_CONVERSIONs?


Thanks in advance for anyone who can help.


Ken Garlington
Lockheed Fort Worth Company