File: test.adb

package info (click to toggle)
source-highlight 3.1.7-1
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 10,332 kB
  • ctags: 5,233
  • sloc: sh: 11,270; cpp: 10,206; ansic: 9,515; makefile: 1,865; lex: 1,200; yacc: 1,021; php: 213; perl: 211; awk: 98; erlang: 94; lisp: 90; java: 75; ruby: 69; python: 61; asm: 43; ml: 38; ada: 36; haskell: 27; xml: 23; cs: 11; sql: 8; tcl: 6; sed: 4
file content (83 lines) | stat: -rw-r--r-- 2,226 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
--
--  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

   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;