base_ref_infot Class Reference
Inheritance diagram for base_ref_infot: Collaboration diagram for base_ref_infot:Public Member Functions | |
| base_ref_infot (pool_entryt entry) | |
| u2 | get_class_index () const |
| u2 | get_name_and_type_index () const |
| name_and_type_infot | get_name_and_type (pool_entry_lookupt pool_entry) const |
| class_infot | get_class (pool_entry_lookupt pool_entry) const |
| Public Member Functions inherited from structured_pool_entryt | |
| structured_pool_entryt (java_bytecode_parsert::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 | |
| typedef std::function< java_bytecode_parsert::pool_entryt &(u2)> | pool_entry_lookupt |
| typedef java_bytecode_parsert::pool_entryt | pool_entryt |
| Static Protected Member Functions inherited from structured_pool_entryt | |
| static std::string | read_utf8_constant (const pool_entryt &entry) |
Detailed Description
Definition at line 312 of file java_bytecode_parser.cpp.
Constructor & Destructor Documentation
◆ base_ref_infot()
|
inlineexplicit |
Definition at line 315 of file java_bytecode_parser.cpp.
Member Function Documentation
◆ get_class()
|
inline |
Definition at line 345 of file java_bytecode_parser.cpp.
◆ get_class_index()
|
inline |
Definition at line 324 of file java_bytecode_parser.cpp.
◆ get_name_and_type()
|
inline |
Definition at line 333 of file java_bytecode_parser.cpp.
◆ get_name_and_type_index()
|
inline |
Definition at line 328 of file java_bytecode_parser.cpp.
Member Data Documentation
◆ class_index
|
private |
Definition at line 353 of file java_bytecode_parser.cpp.
◆ name_and_type_index
|
private |
Definition at line 354 of file java_bytecode_parser.cpp.
The documentation for this class was generated from the following file:
- /builddir/build/BUILD/cbmc-cbmc-5.11/jbmc/src/java_bytecode/java_bytecode_parser.cpp
