Named Type Registry

APIs for defining, storing, and reusing complex types by name. More...

Collaboration diagram for Named Type Registry:

Functions
c23_nodiscard infix_registry_t *	infix_registry_create (void)
	Creates a new, empty named type registry.
void	infix_registry_destroy (infix_registry_t *)
	Destroys a type registry and frees all associated memory.
c23_nodiscard infix_status	infix_register_types (infix_registry_t *, const char *)
	Parses a string of type definitions and adds them to a registry.

Detailed Description

APIs for defining, storing, and reusing complex types by name.

Function Documentation

infix_register_types()

c23_nodiscard infix_status infix_register_types	(	infix_registry_t *	registry,
		const char *	definitions
	)

Parses a string of type definitions and adds them to a registry.

This is the primary way to populate a registry. Definitions are separated by semicolons. The parser supports forward declarations (@Name;) and out-of-order definitions, making it easy to define mutually recursive types.

Parameters

[in]	registry	The registry to populate.
[in]	definitions	A semicolon-separated string of definitions.

Returns

INFIX_SUCCESS on success, or an error code on failure.

const char* my_types =
    "@Point = { x: double, y: double };"    // Define a struct
    "@Node;"                                // Forward-declare Node
    "@List = { head: *@Node };"             // Use the forward declaration
    "@Node = { value: int, next: *@Node };" // Define the recursive struct
;
infix_register_types(registry, my_types);

This function uses a robust three-pass approach to handle complex dependencies, including out-of-order and mutually recursive definitions.

• Pass 1 (Scan & Index): The entire definition string is scanned. The parser identifies every type name being defined (@Name = ...) or forward-declared (@Name;). It creates an entry for each name in the registry's hash table. Critically, if a forward declaration is found, a placeholder infix_type is created immediately to ensure subsequent lookups succeed.
• Pass 2 (Parse & Copy): The function iterates through the definitions indexed in Pass 1. For each one, it calls the main signature parser to create a raw type graph. This graph is then copied into the registry's arena. If a placeholder already exists from Pass 1, the new definition is copied in-place over the placeholder to preserve existing pointers.
• Pass 3 (Resolve & Layout): The function iterates through all the newly created types from Pass 2. For each one, it performs the "Resolve" and "Layout" stages. Because all type graphs now exist (either fully defined or as valid placeholders), resolution succeeds for all recursive references.

Parameters

[in]	registry	The registry to populate.
[in]	definitions	A semicolon-separated string of definitions.

Returns

INFIX_SUCCESS on success, or an error code on failure.

infix_registry_create()

c23_nodiscard infix_registry_t * infix_registry_create

(

void

)

Creates a new, empty named type registry.

A registry acts as a dictionary for infix types, allowing you to define complex structs, unions, or aliases once and refer to them by name (e.g., @MyStruct) in any signature string. This is essential for managing complex, recursive, or mutually-dependent types.

Returns

A pointer to the new registry, or nullptr on allocation failure. The returned handle must be freed with infix_registry_destroy.

infix_registry_destroy()

void infix_registry_destroy

(

infix_registry_t *

registry

)

Destroys a type registry and frees all associated memory.

This includes freeing the registry handle itself, its internal hash table, and all infix_type objects that were created as part of a definition.

Parameters

[in]

registry

The registry to destroy. Safe to call with nullptr.

This includes freeing the registry handle itself and its internal arena, which in turn frees the hash table, all entry structs, and all canonical infix_type objects that were created as part of a type definition.

Parameters

[in]

registry

The registry to destroy. Safe to call with nullptr.