| 3399 | |
| 3400 | extern "C" |
| 3401 | pure_hash_fun pure_pointer_hash(int tag) |
| 3402 | { |
| 3403 | interpreter& interp = *interpreter::g_interp; |
| 3404 | map<int,pointer_type_extra_info>::iterator it = |
| 3405 | interp.pointer_type_info.find(tag); |
| 3406 | if (it != interp.pointer_type_info.end()) |
| 3407 | return it->second.hash_cb; |
| 3408 | else |
| 3409 | return NULL; |
| 3410 | } |
| 3411 | |
| 3412 | extern "C" |
| 3413 | void pure_pointer_add_printer(int tag, pure_printer_fun printer, |