diff options
author | Jed Barber <jjbarber@y7mail.com> | 2017-08-06 22:17:54 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2017-08-06 22:17:54 +1000 |
commit | 7cef684e71b64f00b41da66ba7bc581568d78f51 (patch) | |
tree | c187a50b13961b0cd8227dd0d54ec7958f131bbf /src/moves.ads | |
parent | 051ddb2a265dda897bce72edc318beadd111eba2 (diff) |
Factored out some trivial bits into Misc, made coding style more consistent
Diffstat (limited to 'src/moves.ads')
-rw-r--r-- | src/moves.ads | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/moves.ads b/src/moves.ads index 728526c..3e86847 100644 --- a/src/moves.ads +++ b/src/moves.ads @@ -18,39 +18,40 @@ package Moves is type Path is tagged private; - Empty_Path : constant Path; + + procedure Add (This : in out Path; Item : in Move); - procedure Add (This : in out Path; List : in Path); - procedure Prefix (This : in out Path; Item : in Move); + + function Latest (This : in Path) return Move; - procedure Drop_Latest (This : in out Path); + + function Length (This : in Path) return Natural; - procedure Total_Delta (This : in Path; DX, DY : out Integer); |