infix.h

Go to the documentation of this file.

 
#pragma once
#define INFIX_MAJOR 0 
#define INFIX_MINOR 1 
#define INFIX_PATCH 7 
#if defined(__has_c_attribute)
#define _INFIX_HAS_C_ATTRIBUTE(x) __has_c_attribute(x)
#else
#define _INFIX_HAS_C_ATTRIBUTE(x) 0
#endif
 
#if defined(_WIN32) || defined(__CYGWIN__)
#if defined(INFIX_BUILDING_DLL)
#define INFIX_API __declspec(dllexport)
#elif defined(INFIX_USING_DLL)
#define INFIX_API __declspec(dllimport)
#else
#define INFIX_API
#endif
#elif defined(__GNUC__) || defined(__clang__)
#define INFIX_API __attribute__((visibility("default")))
#else
#define INFIX_API
#endif
 
#if defined(__STDC_VERSION__) && __STDC_VERSION__ > 201710L && _INFIX_HAS_C_ATTRIBUTE(nodiscard) && \
    !defined(__GNUC__) && !defined(__clang__)
#define INFIX_NODISCARD [[nodiscard]]
#elif defined(__GNUC__) || defined(__clang__)
#define INFIX_NODISCARD __attribute__((warn_unused_result))
#elif defined(_MSC_VER)
#define INFIX_NODISCARD _Check_return_
#else
#define INFIX_NODISCARD
#endif
 
typedef struct {
    int major; 
    int minor; 
    int patch; 
} infix_version_t;
 
// Define the POSIX source macro to ensure function declarations for shm_open,
// ftruncate, etc., are visible on all POSIX-compliant systems.
// This must be defined before any system headers are included.
#ifndef _DEFAULT_SOURCE
#define _DEFAULT_SOURCE
#endif
// Define the POSIX source macro to ensure function declarations for posix_memalign
// are visible. This must be defined before any system headers are included.
#if !defined(_POSIX_C_SOURCE)
#define _POSIX_C_SOURCE 200809L
#endif
#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>
 
#ifdef __cplusplus
extern "C" {
#endif
INFIX_API INFIX_NODISCARD infix_version_t infix_get_version(void);
 
// Opaque and Semi-Opaque Type Forward Declarations
typedef struct infix_type_t infix_type;
typedef struct infix_struct_member_t infix_struct_member;
typedef struct infix_function_argument_t infix_function_argument;
typedef struct infix_forward_t infix_forward_t;
typedef struct infix_reverse_t infix_reverse_t;
typedef infix_reverse_t infix_context_t;
typedef struct infix_arena_t infix_arena_t;
typedef struct infix_library_t infix_library_t;
typedef struct infix_registry_t infix_registry_t;
typedef enum {
    INFIX_TYPE_PRIMITIVE,          
    INFIX_TYPE_POINTER,            
    INFIX_TYPE_STRUCT,             
    INFIX_TYPE_UNION,              
    INFIX_TYPE_ARRAY,              
    INFIX_TYPE_REVERSE_TRAMPOLINE, 
    INFIX_TYPE_ENUM,               
    INFIX_TYPE_COMPLEX,            
    INFIX_TYPE_VECTOR,             
    INFIX_TYPE_NAMED_REFERENCE,    
    INFIX_TYPE_VOID                
} infix_type_category;
typedef enum {
    INFIX_PRIMITIVE_BOOL,       
    INFIX_PRIMITIVE_UINT8,      
    INFIX_PRIMITIVE_SINT8,      
    INFIX_PRIMITIVE_UINT16,     
    INFIX_PRIMITIVE_SINT16,     
    INFIX_PRIMITIVE_UINT32,     
    INFIX_PRIMITIVE_SINT32,     
    INFIX_PRIMITIVE_UINT64,     
    INFIX_PRIMITIVE_SINT64,     
    INFIX_PRIMITIVE_UINT128,    
    INFIX_PRIMITIVE_SINT128,    
    INFIX_PRIMITIVE_FLOAT16,    
    INFIX_PRIMITIVE_FLOAT,      
    INFIX_PRIMITIVE_DOUBLE,     
    INFIX_PRIMITIVE_LONG_DOUBLE 
} infix_primitive_type_id;
typedef enum { INFIX_AGGREGATE_STRUCT, INFIX_AGGREGATE_UNION } infix_aggregate_category_t;
struct infix_type_t {
    const char * name;            
    infix_type_category category; 
    size_t size;                  
    size_t alignment;             
    bool is_arena_allocated;      
    bool is_incomplete;           
    infix_arena_t * arena;        
    size_t source_offset;         
    union {
        infix_primitive_type_id primitive_id;
        struct {
            struct infix_type_t * pointee_type; 
        } pointer_info;
        struct {
            infix_struct_member * members; 
            size_t num_members;            
            bool is_packed;                
        } aggregate_info;
        struct {
            struct infix_type_t * element_type; 
            size_t num_elements;                
            bool is_flexible;                   
        } array_info;
        struct {
            struct infix_type_t * return_type; 
            infix_function_argument * args;    
            size_t num_args;                   
            size_t num_fixed_args;             
        } func_ptr_info;
        struct {
            struct infix_type_t * underlying_type; 
        } enum_info;
        struct {
            struct infix_type_t * base_type; 
        } complex_info;
        struct {
            struct infix_type_t * element_type; 
            size_t num_elements;                
        } vector_info;
        struct {
            const char * name;                             
            infix_aggregate_category_t aggregate_category; 
        } named_reference;
    } meta;
};
struct infix_struct_member_t {
    const char * name;  
    infix_type * type;  
    size_t offset;      
    uint8_t bit_width;  
    uint8_t bit_offset; 
    bool is_bitfield;   
};
struct infix_function_argument_t {
    const char * name; 
    infix_type * type; 
};
#ifndef infix_malloc
#define infix_malloc malloc
#endif
#ifndef infix_calloc
#define infix_calloc calloc
#endif
#ifndef infix_realloc
#define infix_realloc realloc
#endif
#ifndef infix_free
#define infix_free free
#endif
#ifndef infix_memcpy
#define infix_memcpy memcpy
#endif
#ifndef infix_memset
#define infix_memset memset
#endif
typedef void (*infix_unbound_cif_func)(void *, void *, void **);
typedef void (*infix_cif_func)(void *, void **);
typedef void (*infix_closure_handler_fn)(infix_context_t *, void *, void **);
typedef enum {
    INFIX_SUCCESS = 0,             
    INFIX_ERROR_ALLOCATION_FAILED, 
    INFIX_ERROR_INVALID_ARGUMENT,  
    INFIX_ERROR_UNSUPPORTED_ABI,   
    INFIX_ERROR_LAYOUT_FAILED,     
    INFIX_ERROR_PROTECTION_FAILED, 
    INFIX_ERROR_                   
} infix_status;
INFIX_API INFIX_NODISCARD infix_registry_t * infix_registry_create(void);
INFIX_API INFIX_NODISCARD infix_registry_t * infix_registry_clone(const infix_registry_t *);
INFIX_API void infix_registry_destroy(infix_registry_t *);
INFIX_API INFIX_NODISCARD infix_status infix_register_types(infix_registry_t *, const char *);
typedef struct infix_registry_iterator_t {
    const infix_registry_t * registry; 
    size_t _bucket_index;              
    void * _current_entry;             
} infix_registry_iterator_t;
INFIX_API INFIX_NODISCARD infix_status infix_registry_print(char *, size_t, const infix_registry_t *);
INFIX_API INFIX_NODISCARD infix_registry_iterator_t infix_registry_iterator_begin(const infix_registry_t *);
INFIX_API INFIX_NODISCARD bool infix_registry_iterator_next(infix_registry_iterator_t *);
INFIX_API INFIX_NODISCARD const char * infix_registry_iterator_get_name(const infix_registry_iterator_t *);
INFIX_API INFIX_NODISCARD const infix_type * infix_registry_iterator_get_type(const infix_registry_iterator_t *);
INFIX_API INFIX_NODISCARD bool infix_registry_is_defined(const infix_registry_t *, const char *);
INFIX_API INFIX_NODISCARD const infix_type * infix_registry_lookup_type(const infix_registry_t *, const char *);
INFIX_API INFIX_NODISCARD infix_registry_t * infix_registry_create_in_arena(infix_arena_t * arena);
INFIX_API INFIX_NODISCARD infix_status infix_forward_create(infix_forward_t **,
                                                            const char *,
                                                            void *,
                                                            infix_registry_t *);
INFIX_API INFIX_NODISCARD infix_status infix_forward_create_safe(infix_forward_t **,
                                                                 const char *,
                                                                 void *,
                                                                 infix_registry_t *);
INFIX_API INFIX_NODISCARD infix_status infix_forward_create_unbound(infix_forward_t **,
                                                                    const char *,
                                                                    infix_registry_t *);
INFIX_API INFIX_NODISCARD infix_status
infix_forward_create_in_arena(infix_forward_t **, infix_arena_t *, const char *, void *, infix_registry_t *);
INFIX_API INFIX_NODISCARD infix_status infix_reverse_create_callback(infix_reverse_t **,
                                                                     const char *,
                                                                     void *,
                                                                     infix_registry_t *);
INFIX_API INFIX_NODISCARD infix_status
infix_reverse_create_closure(infix_reverse_t **, const char *, infix_closure_handler_fn, void *, infix_registry_t *);
INFIX_API INFIX_NODISCARD infix_status infix_signature_parse(
    const char *, infix_arena_t **, infix_type **, infix_function_argument **, size_t *, size_t *, infix_registry_t *);
INFIX_API INFIX_NODISCARD infix_status infix_type_from_signature(infix_type **,
                                                                 infix_arena_t **,
                                                                 const char *,
                                                                 infix_registry_t *);
INFIX_API INFIX_NODISCARD infix_library_t * infix_library_open(const char *);
INFIX_API void infix_library_close(infix_library_t *);
INFIX_API INFIX_NODISCARD void * infix_library_get_symbol(infix_library_t *, const char *);
INFIX_API INFIX_NODISCARD infix_status
infix_read_global(infix_library_t *, const char *, const char *, void *, infix_registry_t *);
INFIX_API INFIX_NODISCARD infix_status
infix_write_global(infix_library_t *, const char *, const char *, void *, infix_registry_t *);
INFIX_API INFIX_NODISCARD infix_status
infix_forward_create_manual(infix_forward_t **, infix_type *, infix_type **, size_t, size_t, void *);
INFIX_API INFIX_NODISCARD infix_status
infix_forward_create_unbound_manual(infix_forward_t **, infix_type *, infix_type **, size_t, size_t);
INFIX_API INFIX_NODISCARD infix_status
infix_reverse_create_callback_manual(infix_reverse_t **, infix_type *, infix_type **, size_t, size_t, void *);
INFIX_API INFIX_NODISCARD infix_status infix_reverse_create_closure_manual(
    infix_reverse_t **, infix_type *, infix_type **, size_t, size_t, infix_closure_handler_fn, void *);
INFIX_API void infix_forward_destroy(infix_forward_t *);
INFIX_API void infix_reverse_destroy(infix_reverse_t *);
INFIX_API INFIX_NODISCARD infix_type * infix_type_create_primitive(infix_primitive_type_id);
INFIX_API INFIX_NODISCARD infix_type * infix_type_create_pointer(void);
INFIX_API INFIX_NODISCARD infix_status infix_type_create_pointer_to(infix_arena_t *, infix_type **, infix_type *);
INFIX_API INFIX_NODISCARD infix_type * infix_type_create_void(void);
INFIX_API INFIX_NODISCARD infix_status infix_type_create_struct(infix_arena_t *,
                                                                infix_type **,
                                                                infix_struct_member *,
                                                                size_t);
INFIX_API INFIX_NODISCARD infix_status
infix_type_create_packed_struct(infix_arena_t *, infix_type **, size_t, size_t, infix_struct_member *, size_t);
INFIX_API INFIX_NODISCARD infix_status infix_type_create_union(infix_arena_t *,
                                                               infix_type **,
                                                               infix_struct_member *,
                                                               size_t);
INFIX_API INFIX_NODISCARD infix_status infix_type_create_array(infix_arena_t *, infix_type **, infix_type *, size_t);
INFIX_API infix_status infix_type_create_flexible_array(infix_arena_t *, infix_type **, infix_type *);
INFIX_API INFIX_NODISCARD infix_status infix_type_create_enum(infix_arena_t *, infix_type **, infix_type *);
INFIX_API INFIX_NODISCARD infix_status infix_type_create_named_reference(infix_arena_t *,
                                                                         infix_type **,
                                                                         const char *,
                                                                         infix_aggregate_category_t);
INFIX_API INFIX_NODISCARD infix_status infix_type_create_complex(infix_arena_t *, infix_type **, infix_type *);
INFIX_API INFIX_NODISCARD infix_status infix_type_create_vector(infix_arena_t *, infix_type **, infix_type *, size_t);
INFIX_API infix_struct_member infix_type_create_member(const char *, infix_type *, size_t);
INFIX_API infix_struct_member infix_type_create_bitfield_member(const char *, infix_type *, size_t, uint8_t);
INFIX_API INFIX_NODISCARD infix_arena_t * infix_arena_create(size_t);
INFIX_API void infix_arena_destroy(infix_arena_t *);
INFIX_API INFIX_NODISCARD void * infix_arena_alloc(infix_arena_t *, size_t, size_t);
INFIX_API INFIX_NODISCARD void * infix_arena_calloc(infix_arena_t *, size_t, size_t, size_t);
typedef enum {
    INFIX_DIALECT_SIGNATURE,        
    INFIX_DIALECT_ITANIUM_MANGLING, 
    INFIX_DIALECT_MSVC_MANGLING     
} infix_print_dialect_t;
INFIX_API INFIX_NODISCARD infix_status infix_type_print(char *, size_t, const infix_type *, infix_print_dialect_t);
INFIX_API INFIX_NODISCARD infix_status infix_function_print(char *,
                                                            size_t,
                                                            const char *,
                                                            const infix_type *,
                                                            const infix_function_argument *,
                                                            size_t,
                                                            size_t,
                                                            infix_print_dialect_t);
INFIX_API INFIX_NODISCARD infix_unbound_cif_func infix_forward_get_unbound_code(infix_forward_t *);
INFIX_API INFIX_NODISCARD infix_cif_func infix_forward_get_code(infix_forward_t *);
INFIX_API INFIX_NODISCARD void * infix_reverse_get_code(const infix_reverse_t *);
INFIX_API INFIX_NODISCARD void * infix_reverse_get_user_data(const infix_reverse_t *);
INFIX_API INFIX_NODISCARD size_t infix_forward_get_num_args(const infix_forward_t *);
INFIX_API INFIX_NODISCARD size_t infix_forward_get_num_fixed_args(const infix_forward_t *);
INFIX_API INFIX_NODISCARD const infix_type * infix_forward_get_return_type(const infix_forward_t *);
INFIX_API INFIX_NODISCARD const infix_type * infix_forward_get_arg_type(const infix_forward_t *, size_t);
INFIX_API INFIX_NODISCARD size_t infix_reverse_get_num_args(const infix_reverse_t *);
INFIX_API INFIX_NODISCARD const infix_type * infix_reverse_get_return_type(const infix_reverse_t *);
INFIX_API INFIX_NODISCARD size_t infix_reverse_get_num_fixed_args(const infix_reverse_t *);
INFIX_API INFIX_NODISCARD const infix_type * infix_reverse_get_arg_type(const infix_reverse_t *, size_t);
INFIX_API INFIX_NODISCARD const char * infix_type_get_name(const infix_type *);
INFIX_API INFIX_NODISCARD infix_type_category infix_type_get_category(const infix_type *);
INFIX_API INFIX_NODISCARD size_t infix_type_get_size(const infix_type *);
INFIX_API INFIX_NODISCARD size_t infix_type_get_alignment(const infix_type *);
INFIX_API INFIX_NODISCARD size_t infix_type_get_member_count(const infix_type *);
INFIX_API INFIX_NODISCARD const infix_struct_member * infix_type_get_member(const infix_type *, size_t);
INFIX_API INFIX_NODISCARD const char * infix_type_get_arg_name(const infix_type *, size_t);
INFIX_API INFIX_NODISCARD const infix_type * infix_type_get_arg_type(const infix_type *, size_t);
typedef enum {
    INFIX_CATEGORY_NONE,       
    INFIX_CATEGORY_GENERAL,    
    INFIX_CATEGORY_ALLOCATION, 
    INFIX_CATEGORY_PARSER,     
    INFIX_CATEGORY_ABI         
} infix_error_category_t;
typedef enum {
    // General Codes (0-99)
    INFIX_CODE_SUCCESS = 0,      
    INFIX_CODE_UNKNOWN,          
    INFIX_CODE_NULL_POINTER,     
    INFIX_CODE_MISSING_REGISTRY, 
    INFIX_CODE_NATIVE_EXCEPTION, 
    // Allocation Codes (100-199)
    INFIX_CODE_OUT_OF_MEMORY = 100,       
    INFIX_CODE_EXECUTABLE_MEMORY_FAILURE, 
    INFIX_CODE_PROTECTION_FAILURE,        
    INFIX_CODE_INVALID_ALIGNMENT,         
    // Parser Codes (200-299)
    INFIX_CODE_UNEXPECTED_TOKEN = 200,   
    INFIX_CODE_UNTERMINATED_AGGREGATE,   
    INFIX_CODE_INVALID_KEYWORD,          
    INFIX_CODE_MISSING_RETURN_TYPE,      
    INFIX_CODE_INTEGER_OVERFLOW,         
    INFIX_CODE_RECURSION_DEPTH_EXCEEDED, 
    INFIX_CODE_EMPTY_MEMBER_NAME,        
    INFIX_CODE_EMPTY_SIGNATURE,          
    // ABI/Layout Codes (300-399)
    INFIX_CODE_UNSUPPORTED_ABI = 300, 
    INFIX_CODE_TYPE_TOO_LARGE,        
    INFIX_CODE_UNRESOLVED_NAMED_TYPE, 
    INFIX_CODE_INVALID_MEMBER_TYPE,   
    INFIX_CODE_LAYOUT_FAILED,         
    // Library Loading Codes (400-499)
    INFIX_CODE_LIBRARY_NOT_FOUND = 400, 
    INFIX_CODE_SYMBOL_NOT_FOUND,        
    INFIX_CODE_LIBRARY_LOAD_FAILED      
} infix_error_code_t;
typedef struct {
    infix_error_category_t category; 
    infix_error_code_t code;         
    size_t position;                 
    long system_error_code;          
    char message[256]; 
} infix_error_details_t;
INFIX_API infix_error_details_t infix_get_last_error(void);
typedef void (*infix_direct_cif_func)(void *, void **);
 
typedef union {
    uint64_t u64;  
    int64_t i64;   
    double f64;    
    void * ptr;    
} infix_direct_value_t;
 
typedef infix_direct_value_t (*infix_marshaller_fn)(void * source_object);
 
typedef void (*infix_aggregate_marshaller_fn)(void * source_object, void * dest_buffer, const infix_type * type);
 
typedef void (*infix_writeback_fn)(void * source_object, void * c_data_ptr, const infix_type * type);
 
typedef struct {
    infix_marshaller_fn scalar_marshaller;
    infix_aggregate_marshaller_fn aggregate_marshaller;
    infix_writeback_fn writeback_handler;
} infix_direct_arg_handler_t;
 
INFIX_API INFIX_NODISCARD infix_status infix_forward_create_direct(infix_forward_t ** out_trampoline,
                                                                   const char * signature,
                                                                   void * target_function,
                                                                   infix_direct_arg_handler_t * handlers,
                                                                   infix_registry_t * registry);
INFIX_API INFIX_NODISCARD infix_direct_cif_func infix_forward_get_direct_code(infix_forward_t * trampoline);
#ifdef __cplusplus
}
#endif