CBMC
Loading...
Searching...
No Matches
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:
[フレーム]
[legend]

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:

AltStyle によって変換されたページ (->オリジナル) /