CBMC
Public Attributes | List of all members
method_bytecodet::class_method_and_bytecodet Struct Reference

Pair of class id and methodt. More...

#include <ci_lazy_methods.h>

+ Collaboration diagram for method_bytecodet::class_method_and_bytecodet:

Public Attributes

irep_idt class_id
 
irep_idt method_id
 
const java_bytecode_parse_treet::methodt & method
 

Detailed Description

Pair of class id and methodt.

Definition at line 37 of file ci_lazy_methods.h.

Member Data Documentation

◆ class_id

irep_idt method_bytecodet::class_method_and_bytecodet::class_id

Definition at line 39 of file ci_lazy_methods.h.

◆ method

const java_bytecode_parse_treet::methodt& method_bytecodet::class_method_and_bytecodet::method

Definition at line 41 of file ci_lazy_methods.h.

◆ method_id

irep_idt method_bytecodet::class_method_and_bytecodet::method_id

Definition at line 40 of file ci_lazy_methods.h.

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