--  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 — Identifiers body
--
--  Thin wrappers around the XID_Start and XID_Continue boolean
--  property lookups in Properties.
-------------------------------------------------------------------------------

package body Lingenic_Text.Identifiers
   with SPARK_Mode
is

   function Is_Identifier_Start (CP : Codepoint) return Boolean
   is (Properties.Get_XID_Start (CP));

   function Is_Identifier_Part (CP : Codepoint) return Boolean
   is (Properties.Get_XID_Continue (CP));

end Lingenic_Text.Identifiers;