Loading...

Searching...

No Matches

Public Member Functions | Private Attributes | List of all members

base_ref_infot Class Reference

+ Inheritance diagram for base_ref_infot:

[フレーム]

[legend]

+ Collaboration diagram for base_ref_infot:

[フレーム]

[legend]

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 267 of file java_bytecode_parser.cpp.

Constructor & Destructor Documentation

◆ base_ref_infot()

base_ref_infot::base_ref_infot ( const pool_entryt & entry )

inlineexplicit

Definition at line 270 of file java_bytecode_parser.cpp.

Member Function Documentation

◆ get_class()

class_infot base_ref_infot::get_class ( const pool_entry_lookupt & pool_entry ) const

inline

Definition at line 302 of file java_bytecode_parser.cpp.

◆ get_class_index()

u2 base_ref_infot::get_class_index ( ) const

inline

Definition at line 280 of file java_bytecode_parser.cpp.

◆ get_name_and_type()

name_and_type_infot base_ref_infot::get_name_and_type ( const pool_entry_lookupt & pool_entry ) const

inline

Definition at line 290 of file java_bytecode_parser.cpp.

◆ get_name_and_type_index()

u2 base_ref_infot::get_name_and_type_index ( ) const

inline

Definition at line 284 of file java_bytecode_parser.cpp.

Member Data Documentation

◆ class_index

u2 base_ref_infot::class_index

private

Definition at line 310 of file java_bytecode_parser.cpp.

◆ name_and_type_index

u2 base_ref_infot::name_and_type_index

private

Definition at line 311 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