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 ()
 
- 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 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 71 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 151 of file java_bytecode_parse_tree.h.

Member Function Documentation

§ add_instruction()

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

Definition at line 81 of file java_bytecode_parse_tree.h.

§ output()

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

Member Data Documentation

§ base_name

irep_idt java_bytecode_parse_treet::methodt::base_name

§ exception_table

exception_tablet java_bytecode_parse_treet::methodt::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 75 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 147 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: