with Fact;
procedure Main is
procedure Hello is
begin
Ada.Text_Io.Put(“Hello”);
end Hello;
begin
for I in 1 .. Fact (4) loop
Hello;
end loop;
end Main;
function Fact (N : Integer) return Integer is
begin
if N <= 1 then
return 1;
elsereturn N * Fact (N-1);
end if;
end Fact;
Visibility Rules
determine which
declarations are visible and directly
visible at each place within a program.
and implicit declarations
– immediate
– use-visibility
with Fact; Main is
Hello is
begin
Ada.Text_Io.Put(“Hello”);
end Hello;
begin
for I in 1 .. Fact (4) loop
Hello;
end loop;
end Main; main.adb
function Fact (N : Integer) return Integer is
begin
if N <= 1
return 1;
return N * Fact (N-1);
end if;
end Fact; fact.adb
For Loop
•<loop_control_variable>
–
time through the loop.
•<lower_bound>
–
•<upper_bound>
– The loop
variable = upper bound, then the loop terminates.
•<loop_body>
–
for <loop_control_variable> in <lower_bound>..<upper_bound> loop
<loop_body>
;
Loop Demo [CQ1]
procedure Loop_Demo is
begin
for Square_Integer in 1 .. 5 loop
Put (Item=>Square_Integer**2,
Width => 3);
New_Line;
;
end Loop_Demo;
•The visibility rules
The visibility rules apply to both explicit
• Direct Visibility
visibility
procedure
procedure
then
else
This is the name of the "variable that controls the loop".
The loop control variable is incremented by one each
The initial value given to the loop control variable.
The final value of the loop control variable.
body executes one more time when the loop control
The code that's executed each time through the loop.
end loop -- Square_Integer : Integer;
-- What does this do?
end loop
docsity.com
