-- 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;