| 95 | } |
| 96 | |
| 97 | void cache::put( |
| 98 | class_id src, class_id target, class_id dynamic_id |
| 99 | , std::ptrdiff_t object_offset, std::ptrdiff_t offset, int distance) |
| 100 | { |
| 101 | m_cache.insert(std::make_pair( |
| 102 | key_type(src, target, dynamic_id, object_offset) |
| 103 | , cache_entry(offset, distance) |
| 104 | )); |
| 105 | } |
| 106 | |
| 107 | void cache::invalidate() |
| 108 | { |