29 lines
905 B
Ada
29 lines
905 B
Ada
with Ada.Text_IO;
|
|
|
|
procedure Test_Function is
|
|
|
|
function Palindrome (Text : String) return Boolean is
|
|
begin
|
|
for Offset in 0 .. Text'Length / 2 - 1 loop
|
|
if Text (Text'First + Offset) /= Text (Text'Last - Offset) then
|
|
return False;
|
|
end if;
|
|
end loop;
|
|
return True;
|
|
end Palindrome;
|
|
|
|
str1 : String := "racecar";
|
|
str2 : String := "wombat";
|
|
|
|
begin
|
|
begin
|
|
pragma Assert(False); -- raises an exception if assertions are switched on
|
|
Ada.Text_IO.Put_Line("Skipping the test! Please compile with assertions switched on!");
|
|
exception
|
|
when others => -- assertions are switched on -- perform the tests
|
|
pragma Assert (Palindrome (str1) = True, "Assertion on str1 failed");
|
|
pragma Assert (Palindrome (str2) = False, "Assertion on str2 failed");
|
|
Ada.Text_IO.Put_Line("Test Passed!");
|
|
end;
|
|
end Test_Function;
|