|
CBMC
|
This is the complete list of members for base_ref_infot, including all inherited members.
| base_ref_infot(const pool_entryt &entry) | base_ref_infot | inlineexplicit |
| class_index | base_ref_infot | private |
| get_class(const pool_entry_lookupt &pool_entry) const | base_ref_infot | inline |
| get_class_index() const | base_ref_infot | inline |
| get_name_and_type(const pool_entry_lookupt &pool_entry) const | base_ref_infot | inline |
| get_name_and_type_index() const | base_ref_infot | inline |
| get_tag() const | structured_pool_entryt | inline |
| name_and_type_index | base_ref_infot | private |
| pool_entry_lookupt typedef | structured_pool_entryt | |
| pool_entryt typedef | structured_pool_entryt | |
| read_utf8_constant(const pool_entryt &entry) | structured_pool_entryt | inlineprotectedstatic |
| structured_pool_entryt(const pool_entryt &entry) | structured_pool_entryt | inlineexplicit |
| tag | structured_pool_entryt | private |