-- 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
-- Formally Verified Unicode Text Processing Library
--
-- Properties ghost specification.
--
-- Pure package that owns UCD property type definitions shared between
-- Properties and other modules. Having a Pure spec companion keeps
-- dependency arrows pointing the right way: IDNA_Spec (and any future
-- consumer) depends on Properties_Spec, never the reverse.
-------------------------------------------------------------------------------
package Lingenic_Text.Properties_Spec
with SPARK_Mode, Pure
is
---------------------------------------------------------------------------
-- Joining_Type values (DerivedJoiningType.txt)
---------------------------------------------------------------------------
JT_U : constant := 0; -- Non_Joining (default)
JT_L : constant := 1; -- Left_Joining
JT_R : constant := 2; -- Right_Joining
JT_D : constant := 3; -- Dual_Joining
JT_C : constant := 4; -- Join_Causing
JT_T : constant := 5; -- Transparent
subtype JT_Value is Natural range 0 .. 5;
end Lingenic_Text.Properties_Spec;