x-type.h

Go to the documentation of this file.

#ifndef X_TYPE_H
#define X_TYPE_H
 
/*
 *     ., .,
 *     {O,O}
 *     (   )
 *      " "
 */
 
#include "x-eval.h"
 
#define X_TYPE_NO_CVT_TEXT            "no declared promotion; declare the cvt relation for"
 
#define x_mktype(B,T,X)               x_obj_make((B), (T), 0, 1, (X))
 
#define x_type_types(B)               (x_firstobj((B)))
 
#define x_type_settypes(B,X)          (x_type_types((B)) = (X))
#define x_type_field_name_stack(X)    x_firstobj(X)                          
#define x_type_field_name(X)          x_firstobj(x_type_field_name_stack((X))) 
#define x_type_field_data_stack(X)    x_firstobj(x_restobj(X))               
#define x_type_field_data(X)          x_firstobj(x_type_field_data_stack((X))) 
#define x_type_field_heap(X)          x_firstobj(x_restobj(x_restobj(X)))    
#define x_type_field_mark_stack(X)    x_firstobj(x_type_field_heap((X)))     
#define x_type_field_mark(X)          x_firstobj(x_type_field_mark_stack((X))) 
#define x_type_field_make_stack(X)    x_firstobj(x_restobj(x_type_field_heap((X)))) 
#define x_type_field_make(X)          x_firstobj(x_type_field_make_stack((X))) 
#define x_type_field_free_stack(X)    x_firstobj(x_restobj(x_restobj(x_type_field_heap((X))))) 
#define x_type_field_free(X)          x_firstobj(x_type_field_free_stack((X))) 
#define x_type_field_clone_stack(X)   x_firstobj(x_restobj(x_restobj(x_restobj(x_type_field_heap((X)))))) 
#define x_type_field_clone(X)         x_firstobj(x_type_field_clone_stack((X))) 
#define x_type_field_units_stack(X)   x_firstobj(x_restobj(x_restobj(x_restobj(x_restobj(x_type_field_heap((X))))))) 
#define x_type_field_units(X)         x_firstobj(x_type_field_units_stack((X))) 
#define x_type_field_length_stack(X)  x_firstobj(x_restobj(x_restobj(x_restobj(x_restobj(x_restobj(x_type_field_heap((X)))))))) 
#define x_type_field_length(X)        x_firstobj(x_type_field_length_stack((X))) 
#define x_type_field_proc(X)          x_firstobj(x_restobj(x_restobj(x_restobj(X)))) 
#define x_type_field_call_stack(X)    x_firstobj(x_type_field_proc((X)))     
#define x_type_field_call(X)          x_firstobj(x_type_field_call_stack((X))) 
#define x_type_field_eval_stack(X)    x_firstobj(x_restobj(x_type_field_proc((X)))) 
#define x_type_field_eval(X)          x_firstobj(x_type_field_eval_stack((X))) 
#define x_type_field_cvt(X)           x_firstobj(x_restobj(x_restobj(x_restobj(x_restobj(X))))) 
#define x_type_field_from_stack(X)    x_firstobj(x_type_field_cvt((X)))      
#define x_type_field_from(X)          x_firstobj(x_type_field_from_stack((X))) 
#define x_type_field_to_stack(X)      x_firstobj(x_restobj(x_type_field_cvt((X)))) 
#define x_type_field_to(X)            x_firstobj(x_type_field_to_stack((X))) 
#define x_type_field_io(X)            x_firstobj(x_restobj(x_restobj(x_restobj(x_restobj(x_restobj(X)))))) 
#define x_type_field_analyse_stack(X) x_firstobj(x_type_field_io((X)))       
#define x_type_field_analyse(X)       x_firstobj(x_type_field_analyse_stack((X))) 
#define x_type_field_delimit_stack(X) x_firstobj(x_restobj(x_type_field_io((X)))) 
#define x_type_field_delimit(X)       x_firstobj(x_type_field_delimit_stack((X))) 
#define x_type_field_read_stack(X)    x_firstobj(x_restobj(x_restobj(x_type_field_io((X))))) 
#define x_type_field_read(X)          x_firstobj(x_type_field_read_stack((X))) 
#define x_type_field_write_stack(X)   x_firstobj(x_restobj(x_restobj(x_restobj(x_type_field_io((X)))))) 
#define x_type_field_write(X)         x_firstobj(x_type_field_write_stack((X))) 
#define x_type_field_display_stack(X) x_firstobj(x_restobj(x_restobj(x_restobj(x_restobj(x_type_field_io((X))))))) 
#define x_type_field_display(X)       x_firstobj(x_type_field_display_stack((X))) 
#define x_type_field_iter_group(X)    x_firstobj(x_restobj(x_restobj(x_restobj(x_restobj(x_restobj(x_restobj(X))))))) 
#define x_type_field_iter_stack(X)    x_firstobj(x_type_field_iter_group((X))) 
#define x_type_field_iter(X)          x_firstobj(x_type_field_iter_stack((X))) 
#define x_type_field_ops_group(X)     x_firstobj(x_restobj(x_restobj(x_restobj(x_restobj(x_restobj(x_restobj(x_restobj(X)))))))) 
#define x_type_field_ops_stack(X)     x_firstobj(x_type_field_ops_group((X))) 
#define x_type_field_ops(X)           x_firstobj(x_type_field_ops_stack((X))) 
#define x_type_field_image_group(X)   x_firstobj(x_restobj(x_restobj(x_restobj(x_restobj(x_restobj(x_restobj(x_restobj(x_restobj(X))))))))) 
#define x_type_field_save_stack(X)    x_firstobj(x_type_field_image_group((X))) 
#define x_type_field_save(X)          x_firstobj(x_type_field_save_stack((X))) 
#define x_type_field_load_stack(X)    x_firstobj(x_restobj(x_type_field_image_group((X)))) 
#define x_type_field_load(X)          x_firstobj(x_type_field_load_stack((X))) 
#define x_type_arg_type(X)            x_firstobj((X))
 
 
struct x_type_t
{
    x_obj_t *p_name;       
    x_obj_t *p_data;       
    x_obj_t *p_mark;       
    x_obj_t *p_make;       
    x_obj_t *p_free;       
    x_obj_t *p_clone;      
    x_obj_t *p_units;      
    x_obj_t *p_length;     
    x_obj_t *p_call;       
    x_obj_t *p_eval;       
    x_obj_t *p_from;       
    x_obj_t *p_to;         
    x_obj_t *p_analyse;    
    x_obj_t *p_delimit;    
    x_obj_t *p_read;       
    x_obj_t *p_write;      
    x_obj_t *p_display;    
    x_obj_t *p_iter;       
    x_obj_t *p_ops;        
    x_obj_t *p_save;       
    x_obj_t *p_load;       
};
 
x_obj_t *x_type_struct_make(x_obj_t *p_base, struct x_type_t type);
x_obj_t *x_type_save_default(x_obj_t *p_base, x_obj_t *p_args);
extern x_satom_t x_type_save_default_prim;
x_obj_t *x_type_save_units(x_obj_t *p_obj, x_int_t *buf, x_int_t n, const int *kinds, int nkinds);
 
int x_type_op_try(x_obj_t *p_base, x_char_t *op, x_obj_t *p_a, x_obj_t *p_b,
    x_obj_t **pp_result);
 
x_obj_t *x_type_struct_get(x_obj_t *p_base, x_obj_t *p_args);
 
x_obj_t *x_type_prim_type_name(x_obj_t *p_base, x_obj_t *p_args);
 
x_obj_t *x_type_prim_units(x_obj_t *p_base, x_obj_t *p_args);
 
#define X_TYPE_UNIT_REF     0  
#define X_TYPE_UNIT_WORD    1  
#define X_TYPE_UNIT_BYTES   2  
#define X_TYPE_UNIT_FOREIGN 3  
#define X_TYPE_UNIT_BITS    2  
#define X_TYPE_UNIT_KIND_MASK   3  
#define X_TYPE_UNIT_DESCRIBED_MAX \
    ((x_int_t)(sizeof(x_int_t) * 8 / X_TYPE_UNIT_BITS))
x_int_t x_type_units_count(x_obj_t *p_units);
 
x_int_t x_type_units_mask(x_obj_t *p_units);
 
x_int_t x_type_units_described(x_obj_t *p_units);
 
int x_type_unit_kind(x_int_t mask, x_int_t i, x_int_t described);
 
x_obj_t *x_type_prim_length(x_obj_t *p_base, x_obj_t *p_args);
 
x_obj_t *x_type_heap_mark(x_obj_t *p_base, x_obj_t *p_obj, x_obj_flag_t flags);
 
void x_type_heap_free(x_obj_t *p_base, x_obj_t *p_obj);
 
#endif /* X_TYPE_H */