execution_policy.h

Go to the documentation of this file.

 
#ifndef EXECUTION_POLICY_H
#define EXECUTION_POLICY_H
 
#include <stdint.h>
#include <stdbool.h>
 
#ifdef __cplusplus
extern "C" {
#endif
 
/* ------------------------------------------------------------------ */
/*  Forward declarations                                               */
/* ------------------------------------------------------------------ */
 
struct StrategyResult;
struct LimeContext;
 
/* ------------------------------------------------------------------ */
/* ------------------------------------------------------------------ */
 
typedef struct GrammarExtensionMetadata {
    uint32_t extension_id;         
    const char *name;              
    uint32_t priority;             
    void *user_data;               
    bool (*should_execute)(const struct GrammarExtensionMetadata *self,
                           const struct StrategyResult *strategy_result);
} GrammarExtensionMetadata;
 
 
/* ------------------------------------------------------------------ */
/* ------------------------------------------------------------------ */
 
typedef enum LimeExecMode {
    EXEC_FIRST_ONLY = 0,   
    EXEC_ALL,              
    EXEC_CHAIN,            
    EXEC_CONDITIONAL,      
} LimeExecMode;
 
 
/* ------------------------------------------------------------------ */
/* ------------------------------------------------------------------ */
 
typedef struct ExecutionResult {
    uint32_t extension_id;         
    void *result;                  
    char *error;                   
} ExecutionResult;
 
 
/* ------------------------------------------------------------------ */
/* ------------------------------------------------------------------ */
 
typedef struct LimeParserHandle LimeParserHandle;
 
 
/* ------------------------------------------------------------------ */
/* ------------------------------------------------------------------ */
 
typedef bool (*ParserExecuteFn)(LimeParserHandle *parser,
                                const GrammarExtensionMetadata *ext,
                                void *input,
                                void **result,
                                char **error);
 
 
/* ------------------------------------------------------------------ */
/* ------------------------------------------------------------------ */
 
typedef struct ExecutionPolicyConfig {
    LimeExecMode policy;           
    ParserExecuteFn execute_fn;    
    bool stop_on_error;
 
    int max_executions;
} ExecutionPolicyConfig;
 
 
/* ------------------------------------------------------------------ */
/* ------------------------------------------------------------------ */
 
void execution_policy_config_init(ExecutionPolicyConfig *config);
 
ExecutionResult *execute_semantic_actions(
    const ExecutionPolicyConfig *config,
    const struct StrategyResult *disambiguation,
    LimeParserHandle **parsers,
    GrammarExtensionMetadata **extensions,
    int *nresults_out
);
 
void execution_results_free(ExecutionResult *results, int nresults);
 
const char *execution_policy_name(LimeExecMode policy);
 
ExecutionResult *execute_first_only(
    ParserExecuteFn execute_fn,
    const struct StrategyResult *disambiguation,
    LimeParserHandle **parsers,
    GrammarExtensionMetadata **extensions,
    int *nresults_out
);
 
 
#ifdef __cplusplus
}
#endif
 
#endif /* EXECUTION_POLICY_H */