java_bytecode_parse_treet::membert Class 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
virtual void	output (std::ostream &out) const =0
	membert ()

Public Attributes
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 54 of file java_bytecode_parse_tree.h.

Constructor & Destructor Documentation

membert()

java_bytecode_parse_treet::membert::membert ( )

inline

Definition at line 64 of file java_bytecode_parse_tree.h.

Member Function Documentation

output()

virtual void java_bytecode_parse_treet::membert::output ( std::ostream &  out ) const

pure virtual

Implemented in java_bytecode_parse_treet::fieldt, and java_bytecode_parse_treet::methodt.

Member Data Documentation

annotations

annotationst java_bytecode_parse_treet::membert::annotations

Definition at line 60 of file java_bytecode_parse_tree.h.

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

is_final

bool java_bytecode_parse_treet::membert::is_final

Definition at line 59 of file java_bytecode_parse_tree.h.

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

is_private

bool java_bytecode_parse_treet::membert::is_private

Definition at line 59 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_convert_classt::convert(), 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 59 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_convert_classt::convert(), 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 59 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_convert_classt::convert(), 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 59 of file java_bytecode_parse_tree.h.

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

name

irep_idt java_bytecode_parse_treet::membert::name

Definition at line 58 of file java_bytecode_parse_tree.h.

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

signature

std::string java_bytecode_parse_treet::membert::signature

Definition at line 57 of file java_bytecode_parse_tree.h.

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

---

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

• java_bytecode/java_bytecode_parse_tree.h