ACATS 3.0 User's Guide
Title Page
Contents   Index   References   Previous   Next 

D.1.6 Compiler Rejection of Supposedly Static Expression

Consider the following declarations: 
type F is digits System.Max_Digits;
N : constant := 2.0 * F'Machine_Radix ** F'Machine_EMax;
If the declaration of N is rejected on the grounds that evaluation of the expression will raise an exception, then the following test is not applicable:
C4A013B.ADA    
Contents   Index   References   Previous   Next