cprover
java_bytecode_parse_treet::classt::lambda_method_handlet Class Reference

#include <java_bytecode_parse_tree.h>

Collaboration diagram for java_bytecode_parse_treet::classt::lambda_method_handlet:
[legend]

Public Member Functions

 lambda_method_handlet ()
 
bool is_unknown_handle () const
 

Static Public Member Functions

static lambda_method_handlet create_unknown_handle (const u2_valuest params)
 

Public Attributes

method_handle_typet handle_type
 
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 225 of file java_bytecode_parse_tree.h.

Constructor & Destructor Documentation

◆ lambda_method_handlet()

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

Definition at line 234 of file java_bytecode_parse_tree.h.

Member Function Documentation

◆ create_unknown_handle()

static lambda_method_handlet java_bytecode_parse_treet::classt::lambda_method_handlet::create_unknown_handle ( const u2_valuest  params)
inlinestatic

◆ is_unknown_handle()

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

Member Data Documentation

◆ handle_type

method_handle_typet java_bytecode_parse_treet::classt::lambda_method_handlet::handle_type

◆ interface_type

irep_idt java_bytecode_parse_treet::classt::lambda_method_handlet::interface_type

Definition at line 231 of file java_bytecode_parse_tree.h.

◆ lambda_method_name

irep_idt java_bytecode_parse_treet::classt::lambda_method_handlet::lambda_method_name

◆ lambda_method_ref

irep_idt java_bytecode_parse_treet::classt::lambda_method_handlet::lambda_method_ref

◆ method_type

irep_idt java_bytecode_parse_treet::classt::lambda_method_handlet::method_type

Definition at line 232 of file java_bytecode_parse_tree.h.

◆ u2_values

u2_valuest java_bytecode_parse_treet::classt::lambda_method_handlet::u2_values

Definition at line 233 of file java_bytecode_parse_tree.h.

Referenced by create_unknown_handle().


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