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 */