cprover
java_bytecode_parse_treet::classt::lambda_method_handlet Struct Reference

#include <java_bytecode_parse_tree.h>

+ Collaboration diagram for java_bytecode_parse_treet::classt::lambda_method_handlet:

Public Member Functions

 lambda_method_handlet ()=default
 
 lambda_method_handlet (const u2_valuest &params)
 Construct a lambda method handle with parameters params. More...
 
 lambda_method_handlet (u2_valuest &&params)
 Construct a lambda method handle with parameters params. More...
 
bool is_unknown_handle () const
 

Public Attributes

method_handle_typet handle_type = method_handle_typet::UNKNOWN_HANDLE
 
irep_idt lambda_method_name
 
irep_idt lambda_method_ref
 
irep_idt interface_type
 
irep_idt method_type
 
u2_valuest u2_values
 

Detailed Description

Definition at line 238 of file java_bytecode_parse_tree.h.

Constructor & Destructor Documentation

◆ lambda_method_handlet() [1/3]

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

◆ lambda_method_handlet() [2/3]

java_bytecode_parse_treet::classt::lambda_method_handlet::lambda_method_handlet ( const u2_valuest params)
inlineexplicit

Construct a lambda method handle with parameters params.

Definition at line 249 of file java_bytecode_parse_tree.h.

◆ lambda_method_handlet() [3/3]

java_bytecode_parse_treet::classt::lambda_method_handlet::lambda_method_handlet ( u2_valuest &&  params)
inlineexplicit

Construct a lambda method handle with parameters params.

Definition at line 255 of file java_bytecode_parse_tree.h.

Member Function Documentation

◆ is_unknown_handle()

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

Definition at line 260 of file java_bytecode_parse_tree.h.

Member Data Documentation

◆ handle_type

method_handle_typet java_bytecode_parse_treet::classt::lambda_method_handlet::handle_type = method_handle_typet::UNKNOWN_HANDLE

Definition at line 240 of file java_bytecode_parse_tree.h.

◆ interface_type

irep_idt java_bytecode_parse_treet::classt::lambda_method_handlet::interface_type

Definition at line 243 of file java_bytecode_parse_tree.h.

◆ lambda_method_name

irep_idt java_bytecode_parse_treet::classt::lambda_method_handlet::lambda_method_name

Definition at line 241 of file java_bytecode_parse_tree.h.

◆ lambda_method_ref

irep_idt java_bytecode_parse_treet::classt::lambda_method_handlet::lambda_method_ref

Definition at line 242 of file java_bytecode_parse_tree.h.

◆ method_type

irep_idt java_bytecode_parse_treet::classt::lambda_method_handlet::method_type

Definition at line 244 of file java_bytecode_parse_tree.h.

◆ u2_values

u2_valuest java_bytecode_parse_treet::classt::lambda_method_handlet::u2_values

Definition at line 245 of file java_bytecode_parse_tree.h.


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