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:

Classes

  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

 
 
 
mapt::const_iterator  begin () const
 
mapt::const_iterator  end () const
 
opt_reft  get (const irep_idt &method_id)
 

Private Types

 

Private Attributes

mapt  map
 

Detailed Description

Definition at line 33 of file ci_lazy_methods.h.

Member Typedef Documentation

◆  mapt

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_bytecodetmethod_class_and_bytecode )
inline

Definition at line 58 of file ci_lazy_methods.h.

◆  add() [2/2]

void method_bytecodet::add ( const irep_idtclass_id,
const irep_idtmethod_id,
)
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_idtmethod_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_idtmethod_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 によって変換されたページ (->オリジナル) /