pike.git / src / pike_types.c

version» Context lines:

pike.git/src/pike_types.c:748:    /* Special case... */    push_type(T_ZERO);    } else {    *(++Pike_compiler->type_stackp) = mk_type(T_INT,    (void *)(ptrdiff_t)min,    (void *)(ptrdiff_t)max, 0);    }    TYPE_STACK_DEBUG("push_int_type");   }    + static int (*program_id_to_id)(int) = NULL; +  + PMOD_EXPORT void set_program_id_to_id( int (*to)(int) ) + { +  program_id_to_id = to; + } +    void debug_push_object_type(int flag, INT32 id)   { -  +  if( program_id_to_id ) +  id = program_id_to_id(id);    *(++Pike_compiler->type_stackp) = mk_type(T_OBJECT,    (void *)(ptrdiff_t)flag,    (void *)(ptrdiff_t)id, 0);       TYPE_STACK_DEBUG("push_object_type");   }      void debug_push_object_type_backwards(int flag, INT32 id)   {    push_object_type(flag, id);