This is the complete list of members for java_class_typet::componentt, including all inherited members.

componentt()=default	java_class_typet::componentt
componentt(const irep_idt &_name, typet _type)	java_class_typet::componentt	inline
get_is_final() const	java_class_typet::componentt	inline
set_is_final(const bool is_final)	java_class_typet::componentt	inline