base_ref_infot Class Reference
Inheritance diagram for base_ref_infot: Collaboration diagram for base_ref_infot:Public Member Functions | |
| base_ref_infot (const pool_entryt &entry) | |
| u2 | get_class_index () const |
| u2 | get_name_and_type_index () const |
| name_and_type_infot | get_name_and_type (const pool_entry_lookupt &pool_entry) const |
| class_infot | get_class (const pool_entry_lookupt &pool_entry) const |
| Public Member Functions inherited from structured_pool_entryt | |
| structured_pool_entryt (const pool_entryt &entry) | |
| u1 | get_tag () const |
Private Attributes | |
| u2 | class_index |
| u2 | name_and_type_index |
Additional Inherited Members | |
| Public Types inherited from structured_pool_entryt | |
| using | pool_entryt = java_bytecode_parsert::pool_entryt |
| using | pool_entry_lookupt = std::function< pool_entryt &(u2)> |
| Static Protected Member Functions inherited from structured_pool_entryt | |
| static std::string | read_utf8_constant (const pool_entryt &entry) |
Detailed Description
Definition at line 257 of file java_bytecode_parser.cpp.
Constructor & Destructor Documentation
◆ base_ref_infot()
|
inlineexplicit |
Definition at line 260 of file java_bytecode_parser.cpp.
Member Function Documentation
◆ get_class()
|
inline |
Definition at line 292 of file java_bytecode_parser.cpp.
◆ get_class_index()
|
inline |
Definition at line 270 of file java_bytecode_parser.cpp.
◆ get_name_and_type()
|
inline |
Definition at line 280 of file java_bytecode_parser.cpp.
◆ get_name_and_type_index()
|
inline |
Definition at line 274 of file java_bytecode_parser.cpp.
Member Data Documentation
◆ class_index
|
private |
Definition at line 300 of file java_bytecode_parser.cpp.
◆ name_and_type_index
|
private |
Definition at line 301 of file java_bytecode_parser.cpp.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_bytecode_parser.cpp
