| 3380 | |
| 3381 | extern "C" |
| 3382 | pure_equal_fun pure_pointer_equal(int tag) |
| 3383 | { |
| 3384 | interpreter& interp = *interpreter::g_interp; |
| 3385 | map<int,pointer_type_extra_info>::iterator it = |
| 3386 | interp.pointer_type_info.find(tag); |
| 3387 | if (it != interp.pointer_type_info.end()) |
| 3388 | return it->second.equal_cb; |
| 3389 | else |
| 3390 | return NULL; |
| 3391 | } |
| 3392 | |
| 3393 | extern "C" |
| 3394 | void pure_pointer_add_hash(int tag, pure_hash_fun hash) |