java_bytecode_parse_treet::classt::lambda_method_handlet Struct Reference

#include <java_bytecode_parse_tree.h>

Public Member Functions
	lambda_method_handlet (const class_method_descriptor_exprt &method_descriptor, java_class_typet::method_handle_kindt handle_type)
	Construct a lambda method handle with parameters params. More...
	lambda_method_handlet ()
bool	is_unknown_handle () const
const class_method_descriptor_exprt &	get_method_descriptor () const

Static Public Member Functions
static lambda_method_handlet	get_unknown_handle ()

Public Attributes
java_class_typet::method_handle_kindt	handle_type
std::optional< class_method_descriptor_exprt >	method_descriptor

Detailed Description

Definition at line 228 of file java_bytecode_parse_tree.h.

Constructor & Destructor Documentation

lambda_method_handlet() [1/2]

java_bytecode_parse_treet::classt::lambda_method_handlet::lambda_method_handlet ( const class_method_descriptor_exprt &  method_descriptor, java_class_typet::method_handle_kindt  handle_type  )

inline

Construct a lambda method handle with parameters params.

Definition at line 234 of file java_bytecode_parse_tree.h.

lambda_method_handlet() [2/2]

java_bytecode_parse_treet::classt::lambda_method_handlet::lambda_method_handlet ( )

inline

Definition at line 243 of file java_bytecode_parse_tree.h.

Member Function Documentation

get_method_descriptor()

const class_method_descriptor_exprt& java_bytecode_parse_treet::classt::lambda_method_handlet::get_method_descriptor ( ) const

inline

Definition at line 260 of file java_bytecode_parse_tree.h.

get_unknown_handle()

static lambda_method_handlet java_bytecode_parse_treet::classt::lambda_method_handlet::get_unknown_handle ( )

inlinestatic

Definition at line 249 of file java_bytecode_parse_tree.h.

is_unknown_handle()

bool java_bytecode_parse_treet::classt::lambda_method_handlet::is_unknown_handle ( ) const

inline

Definition at line 254 of file java_bytecode_parse_tree.h.

Member Data Documentation

handle_type

java_class_typet::method_handle_kindt java_bytecode_parse_treet::classt::lambda_method_handlet::handle_type

Definition at line 230 of file java_bytecode_parse_tree.h.

method_descriptor

std::optional<class_method_descriptor_exprt> java_bytecode_parse_treet::classt::lambda_method_handlet::method_descriptor

Definition at line 231 of file java_bytecode_parse_tree.h.

---

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

• /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_bytecode_parse_tree.h