java_bytecode_parse_treet::membert Struct Reference

#include <java_bytecode_parse_tree.h>

Inheritance diagram for java_bytecode_parse_treet::membert:

Collaboration diagram for java_bytecode_parse_treet::membert:

Public Member Functions
	membert ()
bool	has_annotation (const irep_idt &annotation_id) const

Public Attributes
std::string	descriptor
optionalt< std::string >	signature
irep_idt	name
bool	is_public
bool	is_protected
bool	is_private
bool	is_static
bool	is_final
annotationst	annotations

Detailed Description

Definition at line 66 of file java_bytecode_parse_tree.h.

Constructor & Destructor Documentation

membert()

java_bytecode_parse_treet::membert::membert ( )

inline

Definition at line 74 of file java_bytecode_parse_tree.h.

Member Function Documentation

has_annotation()

bool java_bytecode_parse_treet::membert::has_annotation ( const irep_idt &  annotation_id ) const

inline

Definition at line 80 of file java_bytecode_parse_tree.h.

References annotations, and java_bytecode_parse_treet::find_annotation().

Referenced by java_bytecode_convert_classt::is_ignored_method(), and java_bytecode_convert_classt::is_overlay_method().

Member Data Documentation

annotations

annotationst java_bytecode_parse_treet::membert::annotations

Definition at line 72 of file java_bytecode_parse_tree.h.

Referenced by has_annotation(), java_bytecode_convert_method_lazy(), java_bytecode_parsert::rfield_attribute(), and java_bytecode_parsert::rmethod_attribute().

descriptor

std::string java_bytecode_parse_treet::membert::descriptor

Definition at line 68 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_convert_methodt::convert(), java_bytecode_convert_method_lazy(), java_bytecode_parsert::rfields(), java_bytecode_parsert::rmethod(), java_bytecode_parsert::rmethod_attribute(), and java_bytecode_convert_methodt::setup_local_variables().

is_final

bool java_bytecode_parse_treet::membert::is_final

Definition at line 71 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_parsert::rfields(), and java_bytecode_parsert::rmethod().

is_private

bool java_bytecode_parse_treet::membert::is_private

Definition at line 71 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_convert_method_lazy(), java_bytecode_parsert::rfields(), and java_bytecode_parsert::rmethod().

is_protected

bool java_bytecode_parse_treet::membert::is_protected

Definition at line 71 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_convert_method_lazy(), java_bytecode_parsert::rfields(), and java_bytecode_parsert::rmethod().

is_public

bool java_bytecode_parse_treet::membert::is_public

Definition at line 71 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_convert_method_lazy(), java_bytecode_parsert::rfields(), and java_bytecode_parsert::rmethod().

is_static

bool java_bytecode_parse_treet::membert::is_static

Definition at line 71 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_convert_method_lazy(), java_bytecode_parsert::rfields(), java_bytecode_parsert::rmethod(), and java_bytecode_convert_methodt::setup_local_variables().

name

irep_idt java_bytecode_parse_treet::membert::name

Definition at line 70 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_convert_methodt::convert(), java_bytecode_convert_method(), java_bytecode_parsert::rfields(), java_bytecode_parsert::rmethod(), and java_bytecode_parsert::rmethod_attribute().

signature

optionalt<std::string> java_bytecode_parse_treet::membert::signature

Definition at line 69 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_convert_method_lazy(), java_bytecode_parsert::rfield_attribute(), and java_bytecode_parsert::rmethod_attribute().

---

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

• /builddir/build/BUILD/cbmc-cbmc-5.10/jbmc/src/java_bytecode/java_bytecode_parse_tree.h