statistics.ads

Statistics/Statistics [ Packages ]

FUNCTION

 Provides code for manipulate the game statistic

SOURCE

package Statistics is

FUNCTION

 Used to store game statistics data

SOURCE

   package Statistics_Container is new Vectors
     (Index_Type => Positive, Element_Type => Statistics_Data);

FUNCTION

 Data for finished goals, destroyed ships and killed mobs

SOURCE

   type Statistics_Data is record
      Index: Unbounded_String;
      Amount: Positive := 1;
   end record;

PARAMETERS

 Index  - Index of goal or ship name or name of fraction of killed mobs
 Amount - Amount of finished goals or ships or mobs of that type

FUNCTION

 Empty statistic data

SOURCE

   Empty_Statistics_Data: constant Statistics_Data := (others => <>);

FUNCTION

 Clear game statistics

SOURCE

   procedure Clear_Game_Stats with
      Post => Get_Game_Points = 0;

FUNCTION

 Get amount of gained points multiplied by difficulty bonus

SOURCE

   function Get_Game_Points return Natural;

RESULT

 Amount of gained points by player in this game