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
84
85
86
87
88
89
|
-- Programmed by Jedidiah Barber
-- Licensed under the Sunset License v1.0
-- See license.txt for further details
with
Things;
private with
Data,
FLTK.Images.RGB.PNG;
package Squares is
type Square is tagged private;
Void : constant Square;
Wall : constant Square;
Space : constant Square;
Empty : constant Square;
Goal : constant Square;
function "="
(A, B : in Square)
return Boolean;
function Is_Walkable
(This : in Square)
return Boolean;
function Get_Contents
(This : in Square)
return Things.Thing
with Pre => Is_Walkable (This);
procedure Set_Contents
(This : in out Square;
Item : in Things.Thing)
with Pre => Is_Walkable (This);
procedure Draw
(This : in Square;
X, Y : in Integer);
private
type Square is tagged record
Walkable : Boolean;
Contents : Things.Thing;
Self_Image : access FLTK.Images.RGB.PNG.PNG_Image;
end record;
Void : constant Square :=
(Walkable => False, Contents => Things.Nothing, Self_Image => null);
Wall : constant Square :=
(Walkable => False, Contents => Things.Nothing, Self_Image => Data.Wall_Image);
Space : constant Square :=
(Walkable => False, Contents => Things.Nothing, Self_Image => Data.Space_Image);
Empty : constant Square :=
(Walkable => True, Contents => Things.Nothing, Self_Image => Data.Empty_Image);
Goal : constant Square :=
(Walkable => True, Contents => Things.Nothing, Self_Image => Data.Goal_Image);
end Squares;
|
