CBMC
Loading...
Searching...
No Matches
Classes | Public Types | Public Member Functions | Public Attributes | List of all members
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< instructiont >  instructionst
 
typedef std::vector< exceptiont >  exception_tablet
 
typedef std::vector< local_variablet >  local_variable_tablet
 
typedef std::vector< stack_map_table_entryt >  stack_map_tablet
 

Public Member Functions

instructiont &  add_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 = false
 
bool  is_abstract = false
 
bool  is_synchronized = false
 
bool  is_bridge = false
 
bool  is_varargs = false
 
bool  is_synthetic = false
 
source_locationt  source_location
 
instructionst  instructions
 
std::vector< annotationst >  parameter_annotations
  Java annotations that were applied to parameters of this method.
 
exception_tablet  exception_table
 
std::vector< irep_idt >  throws_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
 
std::optional< 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 84 of file java_bytecode_parse_tree.h.

Member Typedef Documentation

◆  exception_tablet

typedef std::vector<exceptiont> java_bytecode_parse_treet::methodt::exception_tablet

Definition at line 121 of file java_bytecode_parse_tree.h.

◆  instructionst

typedef std::vector<instructiont> java_bytecode_parse_treet::methodt::instructionst

Definition at line 91 of file java_bytecode_parse_tree.h.

◆  local_variable_tablet

typedef std::vector<local_variablet> java_bytecode_parse_treet::methodt::local_variable_tablet

Definition at line 136 of file java_bytecode_parse_tree.h.

◆  stack_map_tablet

typedef std::vector<stack_map_table_entryt> java_bytecode_parse_treet::methodt::stack_map_tablet

Definition at line 171 of file java_bytecode_parse_tree.h.

Constructor & Destructor Documentation

◆  methodt()

java_bytecode_parse_treet::methodt::methodt ( )
inline

Definition at line 176 of file java_bytecode_parse_tree.h.

Member Function Documentation

◆  add_instruction()

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

Definition at line 94 of file java_bytecode_parse_tree.h.

◆  output()

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

Definition at line 114 of file java_bytecode_parse_tree.cpp.

Member Data Documentation

◆  base_name

irep_idt java_bytecode_parse_treet::methodt::base_name

Definition at line 86 of file java_bytecode_parse_tree.h.

◆  exception_table

exception_tablet java_bytecode_parse_treet::methodt::exception_table

Definition at line 122 of file java_bytecode_parse_tree.h.

◆  instructions

instructionst java_bytecode_parse_treet::methodt::instructions

Definition at line 92 of file java_bytecode_parse_tree.h.

◆  is_abstract

bool java_bytecode_parse_treet::methodt::is_abstract = false

Definition at line 87 of file java_bytecode_parse_tree.h.

◆  is_bridge

bool java_bytecode_parse_treet::methodt::is_bridge = false

Definition at line 88 of file java_bytecode_parse_tree.h.

◆  is_native

bool java_bytecode_parse_treet::methodt::is_native = false

Definition at line 87 of file java_bytecode_parse_tree.h.

◆  is_synchronized

bool java_bytecode_parse_treet::methodt::is_synchronized = false

Definition at line 87 of file java_bytecode_parse_tree.h.

◆  is_synthetic

bool java_bytecode_parse_treet::methodt::is_synthetic = false

Definition at line 88 of file java_bytecode_parse_tree.h.

◆  is_varargs

bool java_bytecode_parse_treet::methodt::is_varargs = false

Definition at line 88 of file java_bytecode_parse_tree.h.

◆  local_variable_table

local_variable_tablet java_bytecode_parse_treet::methodt::local_variable_table

Definition at line 137 of file java_bytecode_parse_tree.h.

◆  parameter_annotations

std::vector<annotationst> java_bytecode_parse_treet::methodt::parameter_annotations

Java annotations that were applied to parameters of this method.

Remarks
Each element in the vector corresponds to the annotations on the parameter of this method with the matching index. A parameter that does not have annotations can have an entry in this vector that is an empty annotationst. Trailing parameters that have no annotations may be entirely omitted from this vector.

Definition at line 106 of file java_bytecode_parse_tree.h.

◆  source_location

source_locationt java_bytecode_parse_treet::methodt::source_location

Definition at line 89 of file java_bytecode_parse_tree.h.

◆  stack_map_table

stack_map_tablet java_bytecode_parse_treet::methodt::stack_map_table

Definition at line 172 of file java_bytecode_parse_tree.h.

◆  throws_exception_table

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

Definition at line 124 of file java_bytecode_parse_tree.h.

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

AltStyle によって変換されたページ (->オリジナル) /