--
-- This is a classical Hello world example written in Ada
-- to test source-highlight with Ada programs.
--
-- to perform a html translation type:
--
-- source-highlight -s ada -f html --input test.ada --output test.ada.html
--
-- or type source-highlight --help for the list of options
--
--
-- written by Reto Buerki <reet@codelabs.ch>
--
with Ada.Text_IO;
procedure Test is
 Test_Int : Integer := 10;
 -- This is an example test integer
 Test_Float : constant Float := 10.2;
 -- This is an example test float
 Test_Boolean : Boolean := False;
 -- This is an example test boolean
 Test_Char : Character := 'C';
 -- This is an example test character
 Test_String : String := "Some test string";
 -- This is an example test string
 Test_Attr : Integer := Test_String'Length;
 type Test_Person_Type is tagged record
 Name : String (1 .. 8);
 -- Name
 Age : Positive := 18;
 -- Age
 end record;
 -- This is an example type
 type Test_Profession_Type is (Unknown, Medic, Fireman, Construction_Worker);
 -- Enumeration test type : All possible professions
 type Test_Employee_Type is new Test_Person_Type with record
 Profession : Test_Profession_Type := Unknown;
 -- Initial profession is not known
 end record;
 -- This is an example extension of Test_Person_Type
 subtype Test_Int_Subtype is Integer range 1 .. 9;
 -- This is an example subtype
 task Test_Greeter_Task is
 entry Run;
 -- Entry to start example task
 end Test_Greeter_Task;
 -- An example task
 task body Test_Greeter_Task is
 ------------------
 -- Get_Greeting --
 ------------------
 function Get_Greeting (Num : in Integer) return String is
 begin
 return Integer'Image (Num) & " : Hello world from an Ada task";
 end Get_Greeting;
 begin
 accept Run;
 for Index in Test_Int_Subtype'Range loop
 Ada.Text_IO.Put_Line (Get_Greeting (Num => Index));
 end loop;
 end Test_Greeter_Task;
 use Ada.Text_IO;
begin
 -- Just display some greeting
 Put_Line ("Hello world in Ada for GNU Source-highlight");
 Put_Line ("written by Reto Buerki <reet@codelabs.ch>");
 Test_Greeter_Task.Run;
end Test;