method_bytecodet Class Reference

#include <ci_lazy_methods.h>

Collaboration diagram for method_bytecodet:

Classes
struct	class_method_and_bytecodet
	Pair of class id and methodt. More...

Public Types
typedef std::optional< std::reference_wrapper< const class_method_and_bytecodet > >	opt_reft

Public Member Functions
bool	contains_method (const irep_idt &method_id) const
void	add (const class_method_and_bytecodet &method_class_and_bytecode)
void	add (const irep_idt &class_id, const irep_idt &method_id, const java_bytecode_parse_treet::methodt &method)
mapt::const_iterator	begin () const
mapt::const_iterator	end () const
opt_reft	get (const irep_idt &method_id)

Private Types
typedef std::map< irep_idt, class_method_and_bytecodet >	mapt

Private Attributes
mapt	map

Detailed Description

Definition at line 33 of file ci_lazy_methods.h.

Member Typedef Documentation

mapt

typedef std::map<irep_idt, class_method_and_bytecodet> method_bytecodet::mapt

private

Definition at line 49 of file ci_lazy_methods.h.

opt_reft

typedef std::optional< std::reference_wrapper<const class_method_and_bytecodet> > method_bytecodet::opt_reft

Definition at line 46 of file ci_lazy_methods.h.

Member Function Documentation

add() [1/2]

void method_bytecodet::add ( const class_method_and_bytecodet &  method_class_and_bytecode )

inline

Definition at line 58 of file ci_lazy_methods.h.

add() [2/2]

void method_bytecodet::add ( const irep_idt &  class_id, const irep_idt &  method_id, const java_bytecode_parse_treet::methodt &  method  )

inline

Definition at line 65 of file ci_lazy_methods.h.

begin()

mapt::const_iterator method_bytecodet::begin ( ) const

inline

Definition at line 73 of file ci_lazy_methods.h.

contains_method()

bool method_bytecodet::contains_method ( const irep_idt &  method_id ) const

inline

Definition at line 53 of file ci_lazy_methods.h.

end()

mapt::const_iterator method_bytecodet::end ( ) const

inline

Definition at line 77 of file ci_lazy_methods.h.

get()

opt_reft method_bytecodet::get ( const irep_idt &  method_id )

inline

Definition at line 82 of file ci_lazy_methods.h.

Member Data Documentation

map

mapt method_bytecodet::map

private

Definition at line 50 of file ci_lazy_methods.h.

---

The documentation for this class was generated from the following file:

• /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/ci_lazy_methods.h