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
90
91
92
93
94
95
|
with
Things;
private with
FLTK.Images.RGB.PNG,
Misc;
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;
Image_Dir : String := Misc.Origin & "/../share/sokoban/img";
Wall_Image : aliased FLTK.Images.RGB.PNG.PNG_Image :=
FLTK.Images.RGB.PNG.Create (Image_Dir & "/wall.png");
Space_Image : aliased FLTK.Images.RGB.PNG.PNG_Image :=
FLTK.Images.RGB.PNG.Create (Image_Dir & "/space.png");
Empty_Image : aliased FLTK.Images.RGB.PNG.PNG_Image :=
FLTK.Images.RGB.PNG.Create (Image_Dir & "/empty.png");
Goal_Image : aliased FLTK.Images.RGB.PNG.PNG_Image :=
FLTK.Images.RGB.PNG.Create (Image_Dir & "/goal.png");
Void : constant Square :=
(Walkable => False, Contents => Things.Nothing, Self_Image => null);
Wall : constant Square :=
(Walkable => False, Contents => Things.Nothing, Self_Image => Wall_Image'Access);
Space : constant Square :=
(Walkable => False, Contents => Things.Nothing, Self_Image => Space_Image'Access);
Empty : constant Square :=
(Walkable => True, Contents => Things.Nothing, Self_Image => Empty_Image'Access);
Goal : constant Square :=
(Walkable => True, Contents => Things.Nothing, Self_Image => Goal_Image'Access);
end Squares;
|
