------------------------------------------------------------------------------
--                            AGAR CORE LIBRARY                             --
--                           A G A R . T Y P E S                            --
--                                 S p e c                                  --
------------------------------------------------------------------------------
with Interfaces;

--
-- Primitive data types dependent on the Agar memory model.
--

package Agar.Types is

  ------------------
  -- Memory model --
  ------------------
  AG_MODEL  : constant Natural := $AG_MODEL;
  AG_SMALL  : constant Natural := $AG_SMALL;  --  8/16-bit CPUs, 12-bit color
  AG_MEDIUM : constant Natural := $AG_MEDIUM; -- 32/64-bit CPUs, 24-bit color
  AG_LARGE  : constant Natural := $AG_LARGE;  -- 32/64-bit CPUs, 48-bit color

  ---------------------------
  -- Native character type --
  ---------------------------
#if AG_UNICODE
  subtype AG_Char is Interfaces.Unsigned_32;
#else
  subtype AG_Char is Interfaces.Unsigned_8;
#end if;
  type AG_Char_Access is access all AG_Char with Convention => C;
  subtype AG_Char_not_null_Access is not null AG_Char_Access;

  AG_CHAR_MAX           : constant Natural := $AG_CHAR_MAX;
  
  -----------------------
  -- Sizes and offsets --
  -----------------------
#if AG_MODEL = AG_SMALL

 subtype AG_Size is Interfaces.Unsigned_16;
 type AG_Offset is range -(2 **15) .. +(2 **15 - 1) with Convention => C;
 for AG_Offset'Size use 16;

 AG_SIZE_PADDING : constant Natural := 6;
 AG_OFFSET_PADDING : constant Natural := 6;

#elsif AG_MODEL = AG_MEDIUM

 subtype AG_Size is Interfaces.Unsigned_32;
 type AG_Offset is range -(2 **31) .. +(2 **31 - 1) with Convention => C;
 for AG_Offset'Size use 32;

 AG_SIZE_PADDING : constant Natural := 4;
 AG_OFFSET_PADDING : constant Natural := 4;

#elsif AG_MODEL = AG_LARGE

 subtype AG_Size is Interfaces.Unsigned_64;
 type AG_Offset is range -(2 **63) .. +(2 **63 - 1) with Convention => C;
 for AG_Offset'Size use 64;

 AG_SIZE_PADDING : constant Natural := 0;
 AG_OFFSET_PADDING : constant Natural := 0;

#end if;

end Agar.Types;