cprover
java_bytecode_parse_treet::methodt::exceptiont Struct Reference

#include <java_bytecode_parse_tree.h>

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

Public Member Functions

 exceptiont ()
 

Public Attributes

std::size_t start_pc
 
std::size_t end_pc
 
std::size_t handler_pc
 
symbol_typet catch_type
 

Detailed Description

Definition at line 105 of file java_bytecode_parse_tree.h.

Constructor & Destructor Documentation

◆ exceptiont()

java_bytecode_parse_treet::methodt::exceptiont::exceptiont ( )
inline

Definition at line 108 of file java_bytecode_parse_tree.h.

Member Data Documentation

◆ catch_type

symbol_typet java_bytecode_parse_treet::methodt::exceptiont::catch_type

Definition at line 116 of file java_bytecode_parse_tree.h.

◆ end_pc

std::size_t java_bytecode_parse_treet::methodt::exceptiont::end_pc

Definition at line 114 of file java_bytecode_parse_tree.h.

◆ handler_pc

std::size_t java_bytecode_parse_treet::methodt::exceptiont::handler_pc

Definition at line 115 of file java_bytecode_parse_tree.h.

◆ start_pc

std::size_t java_bytecode_parse_treet::methodt::exceptiont::start_pc

Definition at line 113 of file java_bytecode_parse_tree.h.


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