Return type for get_boxed_type_info_by_name. More...

#include <java_utils.h>

Collaboration diagram for java_boxed_type_infot:

Public Attributes
const irep_idt	unboxing_function_name
	Name of the function defined on the boxed type that returns the boxed value. More...

const typet	corresponding_primitive_type
	Primitive type that this boxed type contains. More...

Detailed Description

Return type for get_boxed_type_info_by_name.

Definition at line 53 of file java_utils.h.

Member Data Documentation

const typet java_boxed_type_infot::corresponding_primitive_type

Primitive type that this boxed type contains.

Definition at line 59 of file java_utils.h.

const irep_idt java_boxed_type_infot::unboxing_function_name

Name of the function defined on the boxed type that returns the boxed value.

Definition at line 57 of file java_utils.h.

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

/home/runner/work/cbmc-documentation/cbmc-documentation/jbmc/src/java_bytecode/java_utils.h