x-eval.h

Go to the documentation of this file.

#ifndef X_EVAL_H
#define X_EVAL_H
 
/*
 *     ., .,
 *     {O,O}
 *     (   )
 *      " "
 */
 
#include "x-base.h"
#include "x-eval-slots.h"   /* the slots the evaluator's routines are called through */
 
extern x_satom_t x_eval_obj;
 
#define X_OBJ_FLAG_COV      X_OBJ_FLAG_2
 
#define X_OBJ_FLAG_TRACE    0x400
 
#define X_OBJ_EVALS_SHIFT   11
#define X_OBJ_EVALS_BITS    20
#define X_OBJ_EVALS_ONE     ((x_int_t)1 << X_OBJ_EVALS_SHIFT)
#define X_OBJ_EVALS_MAX     (((x_int_t)1 << X_OBJ_EVALS_BITS) - 1)
#define x_obj_evals(X)      ((x_obj_flags(X) >> X_OBJ_EVALS_SHIFT) & X_OBJ_EVALS_MAX)
 
/* TRACE sits above x-expr's highest flag, the count above TRACE, and the
 * count ends below bit 31.  An x-expr bump that grows the flags, or an edit
 * that moves or widens either, fails to compile here instead of sharing
 * bits without a word. */
typedef char x_assert_trace_above_flags[
    X_OBJ_FLAG_MASK < X_OBJ_FLAG_TRACE ? 1 : -1];
typedef char x_assert_evals_above_trace[
    (x_int_t)X_OBJ_FLAG_TRACE < X_OBJ_EVALS_ONE ? 1 : -1];
typedef char x_assert_evals_below_sign[
    X_OBJ_EVALS_SHIFT + X_OBJ_EVALS_BITS <= 31 ? 1 : -1];
 
#define x_error_handler_jmp(H)              x_ptrval(x_firstobj(H))
#define x_error_handler_saved_env(H)        x_001(H)
#define x_error_handler_error(H)            x_011(H)
#include "x-eval-layout.h"  /* generated: x_eval_env/ctrl/io_state/state anchors + x_eval_field_* */
 
 
#define X_READ_BUF_SIZE 65536
 
 
x_obj_t *x_eval_make(x_obj_t *p_base, x_obj_t *p_args);
 
x_obj_t *x_eval_type_alist_extend(x_obj_t *p_base, x_obj_t *p_args);
 
x_obj_t *x_eval_type_alist_assoc(x_obj_t *p_base, x_obj_t *p_args);
 
x_obj_t *x_eval_buffer_push(x_obj_t *p_base, x_obj_t *p_buffer);
 
x_obj_t *x_eval_load(x_obj_t *p_base, x_obj_t *p_args);
 
void x_eval_error(x_obj_t *p_base, x_char_t *message, x_obj_t *p_obj);
 
#define x_eval_arg_exp(X)       x_0((X)) 
x_obj_t *x_eval(x_obj_t *p_base, x_obj_t *p_args);
 
x_obj_t *x_eval_list(x_obj_t *p_base, x_obj_t *p_args);
 
void x_eval_spine_guard(x_obj_t *p_base, x_obj_t *p_obj);
 
x_obj_t *x_eval_spine_first(x_obj_t *p_base, x_obj_t *p_pos);
 
x_obj_t *x_eval_body(x_obj_t *p_base, x_obj_t *p_args);
 
x_obj_t *x_eval_body_tco(x_obj_t *p_base, x_obj_t *p_args);
 
x_obj_t *x_eval_tco_trampoline(x_obj_t *p_base, x_obj_t *p_args);
 
x_obj_t *x_eval_op_body(x_obj_t *p_base, x_obj_t *p_args);
 
#endif /* X_EVAL_H */