--  Copyright © 2026 Lingenic LLC. All rights reserved.
--  Licensed under the Lingenic Source-Available License v2.3.
--  Production use requires a separate license from Licensor.
--  See LICENSE.md and COPYRIGHT in the project root.
--

-------------------------------------------------------------------------------
--  Lingenic-Text — East Asian Width body
--
--  Simple property lookup: codepoint → EAW value → cell width.
-------------------------------------------------------------------------------

package body Lingenic_Text.EAW
   with SPARK_Mode
is

   function Display_Width (CP : Codepoint) return Natural
   is (EAW_Spec.Cell_Width (Properties.EAW_To_Abstract (Properties.Get_EAW (CP))));

end Lingenic_Text.EAW;