s-finroo.ads, [...] (Read): Addition of "not null" to the anonymous access.
2005-11-14 Javier Miranda <miranda@adacore.com>
* s-finroo.ads, s-finroo.adb (Read): Addition of "not null" to the
anonymous access.
(Write): Addition of "not null" to the anonymous access.
(Read): Addition of "not null" to the anonymous access.
(Write): Addition of "not null" to the anonymous access.
* s-strxdr.adb, s-stratt.ads, s-stratt.adb (I_AD, I_AS, I_B, I_C, I_F,
I_I, I_LF, I_LI, I_LLF, I_LLI, I_LLU, I_LU, I_SF, I_SI, I_SSI, I_SSU,
I_SU, I_U, I_WC): Addition of "not null" to the anonymous access.
(W_AD, W_AS, W_B, W_C, W_F, W_I, W_LF, W_LI, W_LLF, W_LLI, W_LLU,
W_LU, W_SF, W_SI, W_SSI, W_SSU, W_SU, W_U, W_WC): Addition of
"not null" to the anonymous access.