package Entities.Players.Keen is
type Keen is new Player with private;
type A_Keen is access all Keen'Class;
Finish_Teleporting : constant Hashed_String := To_Hashed_String( "Finish_Teleporting" );
procedure Finish_Teleport
( | this | : not null access Keen'Class ); |
procedure Move_Start
( | this | : access Keen; |
dir | : Cardinal_Direction ); |
procedure Move_Stop
( | this | : access Keen; |
dir | : Cardinal_Direction ); |
function Shoot_Gun
( | this | : not null access Keen'Class; |
fire | : Boolean ) return Boolean; |
procedure Stop_Activating
( | this | : not null access Keen'Class ); |
procedure Stop_Jump_Attempt
( | this | : not null access Keen'Class ); |
procedure Teleport
( | this | : access Keen; |
fromX, fromY | : Float; | |
toX, toY | : Float ); |
procedure Toggle_Pogostick
( | this | : not null access Keen'Class ); |
procedure Try_To_Activate
( | this | : not null access Keen'Class ); |
procedure Try_To_Climb
( | this | : not null access Keen'Class; |
dir | : Cardinal_Direction ); |