- -- Restrict.All_Parameter_Restrictions. Each entry has two
- -- components in sequence, the first indicating whether or not
- -- there is a restriction, and the second indicating whether
- -- or not the compiler detected violations. In the boolean case
- -- it is not necessary to separate these, since if a restriction
- -- is set, and violated, that is an error. But in the parameter
- -- case, this is not true. For example, we can have a unit with
- -- a pragma Restrictions (Max_Tasks => 4), where the compiler
- -- can detect that there are exactly three tasks declared. Both
- -- of these pieces of information must be passed to the binder.
- -- The parameter of 4 is important in case the total number of
- -- tasks in the partition is greater than 4. The parameter of
- -- 3 is important in case some other unit has a restrictions
- -- pragma with Max_Tasks=>2.
+ -- Restrict.All_Parameter_Restrictions. Each entry has two components
+ -- in sequence, the first indicating whether or not there is a
+ -- restriction, and the second indicating whether or not the compiler
+ -- detected violations. In the boolean case it is not necessary to
+ -- separate these, since if a restriction is set, and violated, that is
+ -- an error. But in the parameter case, this is not true. For example,
+ -- we can have a unit with a pragma Restrictions (Max_Tasks => 4),
+ -- where the compiler can detect that there are exactly three tasks
+ -- declared. Both of these pieces of information must be passed to the
+ -- binder. The parameter of 4 is important in case the total number of
+ -- tasks in the partition is greater than 4. The parameter of 3 is
+ -- important in case some other unit has a restrictions pragma with
+ -- Max_Tasks=>2.