cprover
java_bytecode_parse_treet::methodt Struct Reference

#include <java_bytecode_parse_tree.h>

Inheritance diagram for java_bytecode_parse_treet::methodt:
[legend]
Collaboration diagram for java_bytecode_parse_treet::methodt:
[legend]

Classes

struct  exceptiont
 
struct  local_variablet
 
struct  stack_map_table_entryt
 
struct  verification_type_infot
 

Public Types

typedef std::vector< instructiontinstructionst
 
typedef std::vector< exceptiontexception_tablet
 
typedef std::vector< local_variabletlocal_variable_tablet
 
typedef std::vector< stack_map_table_entrytstack_map_tablet
 

Public Member Functions

instructiontadd_instruction ()
 
void output (std::ostream &out) const
 
 methodt ()
 
- Public Member Functions inherited from java_bytecode_parse_treet::membert
 membert ()
 
bool has_annotation (const irep_idt &annotation_id) const
 

Public Attributes

irep_idt base_name
 
bool is_native
 
bool is_abstract
 
bool is_synchronized
 
bool is_bridge
 
source_locationt source_location
 
instructionst instructions
 
exception_tablet exception_table
 
std::vector< irep_idtthrows_exception_table
 
local_variable_tablet local_variable_table
 
stack_map_tablet stack_map_table
 
- Public Attributes inherited from java_bytecode_parse_treet::membert
std::string descriptor
 
optionalt< std::string > signature
 
irep_idt name
 
bool is_public
 
bool is_protected
 
bool is_private
 
bool is_static
 
bool is_final
 
annotationst annotations
 

Detailed Description

Definition at line 86 of file java_bytecode_parse_tree.h.

Member Typedef Documentation

◆ exception_tablet

◆ instructionst

◆ local_variable_tablet

◆ stack_map_tablet

Constructor & Destructor Documentation

◆ methodt()

java_bytecode_parse_treet::methodt::methodt ( )
inline

Definition at line 169 of file java_bytecode_parse_tree.h.

Member Function Documentation

◆ add_instruction()

instructiont& java_bytecode_parse_treet::methodt::add_instruction ( )
inline

Definition at line 95 of file java_bytecode_parse_tree.h.

References instructions.

◆ output()

void java_bytecode_parse_treet::methodt::output ( std::ostream &  out) const

Definition at line 128 of file java_bytecode_parse_tree.cpp.

References expr2java(), and from_expr().

Member Data Documentation

◆ base_name

irep_idt java_bytecode_parse_treet::methodt::base_name

◆ exception_table

◆ instructions

◆ is_abstract

bool java_bytecode_parse_treet::methodt::is_abstract

◆ is_bridge

bool java_bytecode_parse_treet::methodt::is_bridge

◆ is_native

bool java_bytecode_parse_treet::methodt::is_native

◆ is_synchronized

bool java_bytecode_parse_treet::methodt::is_synchronized

◆ local_variable_table

◆ source_location

source_locationt java_bytecode_parse_treet::methodt::source_location

◆ stack_map_table

stack_map_tablet java_bytecode_parse_treet::methodt::stack_map_table

Definition at line 165 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_parsert::rcode_attribute().

◆ throws_exception_table

std::vector<irep_idt> java_bytecode_parse_treet::methodt::throws_exception_table

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