CBMC: java_bytecode_parse_treet::classt::lambda_method_handlet Struct Reference

CBMC

#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