CBMC
Classes | Public Types | Public Member Functions | Private Types | Private Attributes | List of all members
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: