cprover
java_bytecode_parse_treet::methodt Class 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
 
class  local_variablet
 
class  stack_map_table_entryt
 
class  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 ()
 
virtual void output (std::ostream &out) const
 
 methodt ()
 
virtual ~methodt ()=default
 
- Public Member Functions inherited from java_bytecode_parse_treet::membert
 membert ()
 

Public Attributes

irep_idt base_name
 
bool is_native
 
bool is_abstract
 
bool is_synchronized
 
source_locationt source_location
 
instructionst instructions
 
exception_tablet 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 89 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 175 of file java_bytecode_parse_tree.h.

◆ ~methodt()

virtual java_bytecode_parse_treet::methodt::~methodt ( )
virtualdefault

Member Function Documentation

◆ add_instruction()

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

Definition at line 99 of file java_bytecode_parse_tree.h.

References instructions.

◆ output()

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

Implements java_bytecode_parse_treet::membert.

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_native

bool java_bytecode_parse_treet::methodt::is_native

◆ is_synchronized

bool java_bytecode_parse_treet::methodt::is_synchronized

Definition at line 93 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_parsert::rmethod().

◆ 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 171 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_parsert::rcode_attribute().


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