-
Notifications
You must be signed in to change notification settings - Fork 5
/
lea_common-hac_samples.ads
82 lines (72 loc) · 3.75 KB
/
lea_common-hac_samples.ads
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
-- List of HAC samples with their description.
with HAT;
package LEA_Common.HAC_Samples is
type Sample_Topic is
(Algorithm,
Mathematics,
Script,
Tasking,
Template,
--
Compatibility);
use HAT;
type Sample_Item is record
topic : Sample_Topic;
name : VString;
description : VString;
end record;
type Sample_List is array (Positive range <>) of Sample_Item;
standard_sample : constant Sample_List :=
(
(Algorithm, +"bwt.adb", +"Burrows-Wheeler transform: preprocessing for data compression"),
(Algorithm, +"draw_sphere.adb", +"Shiny sphere in ASCII art (Rosetta Code)"),
(Algorithm, +"maze_gen.adb", +"Maze generator (Rosetta Code)"),
(Algorithm, +"permutations.adb", +"Permutations"),
(Algorithm, +"merge_sort.adb", +"Sorting: Merge sort"),
(Algorithm, +"shell_sort.adb", +"Sorting: Shell sort"),
--
(Mathematics, +"ackermann.adb", +"Ackermann recursive function"),
(Mathematics, +"barnes.adb", +"John Barnes' puzzle at Ada-Europe 2022 dinner"),
(Mathematics, +"binomials.adb", +"Binomial coefficient and factorial"),
(Mathematics, +"covid_19_s.adb", +"Model for simulating the Coronavirus (COVID-19) pandemic"),
(Mathematics, +"doors.adb", +"The 100 Doors program (Rosetta Code)"),
(Mathematics, +"hofstadter.adb", +"Hofstadter mutual recursive functions"),
(Mathematics, +"mandelbrot.adb", +"Mandelbrot set"),
(Mathematics, +"random.adb", +"Random generation: Rand (discrete) and Rnd (continuous)"),
(Mathematics, +"series.adb", +"Series (e.g. 1 + x + x^2 + ...) and partial sums demo"),
(Mathematics, +"three_lakes_s.adb", +"Three lakes: ordinary differential equation system"),
(Mathematics, +"triangles_overlap.adb", +"Triangles overlap (Rosetta Code)"),
--
(Script, +"directories.adb", +"Creates a few directories and then deletes them"),
(Script, +"env.adb", +"System's Environment Variables: Set & Get"),
(Script, +"file_append.adb", +"Creates a file in multiple steps, via the Append procedure"),
(Script, +"file_copy.adb", +"Reads a text file (itself) and copies it to another file"),
(Script, +"file_read.adb", +"Reads a text file (itself) and displays it on the console"),
(Script, +"timing.adb", +"Demo for types Time & Duration"),
--
(Tasking, +"tasks_01.adb", +"Simplest example of tasking"),
(Tasking, +"tasks_02.adb", +"Example with passing of data between tasks"),
--
(Template, +"hello.adb", +"Tiny program (Hello World)"),
(Template, +"hello_big.adb", +"Larger ""Hello World"""),
(Template, +"record_code_gen.adb", +"Code generation example for Ada records"),
--
(Compatibility, +"hat.ads", +"Package specification of HAT for use with a full Ada system"),
(Compatibility, +"hat.adb", +"Package body of HAT for use with a full Ada system"),
(Compatibility, +"hat-non_standard.adb", +"GNAT-specific part of HAT's body")
);
directory : constant array (Sample_Topic) of VString :=
(Algorithm => +"algorithms",
Mathematics => +"mathematics",
Script => +"scripts",
Tasking => +"tasking",
Template => +"templates",
Compatibility => +"compatibility");
directory_title : constant array (Sample_Topic) of VString :=
(Algorithm => +"Algorithms",
Mathematics => +"Mathematics",
Script => +"Scripts",
Tasking => +"Tasking",
Template => +"Templates",
Compatibility => +"HAT package - compatibility");
end LEA_Common.HAC_Samples;