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 52 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 58 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 56 of file java_utils.h.

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