cprover
Loading...
Searching...
No Matches
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_bytecodetmapt

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_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:
  • /builddir/build/BUILD/cbmc-6.7.1-build/cbmc-cbmc-6.7.1/jbmc/src/java_bytecode/ci_lazy_methods.h