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 |
| std::optional< 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 64 of file java_bytecode_parse_tree.h.
Constructor & Destructor Documentation
◆ membert()
|
inline |
Definition at line 72 of file java_bytecode_parse_tree.h.
Member Function Documentation
◆ has_annotation()
|
inline |
Definition at line 78 of file java_bytecode_parse_tree.h.
Member Data Documentation
◆ annotations
| annotationst java_bytecode_parse_treet::membert::annotations |
Definition at line 70 of file java_bytecode_parse_tree.h.
◆ descriptor
| std::string java_bytecode_parse_treet::membert::descriptor |
Definition at line 66 of file java_bytecode_parse_tree.h.
◆ is_final
| bool java_bytecode_parse_treet::membert::is_final |
Definition at line 69 of file java_bytecode_parse_tree.h.
◆ is_private
| bool java_bytecode_parse_treet::membert::is_private |
Definition at line 69 of file java_bytecode_parse_tree.h.
◆ is_protected
| bool java_bytecode_parse_treet::membert::is_protected |
Definition at line 69 of file java_bytecode_parse_tree.h.
◆ is_public
| bool java_bytecode_parse_treet::membert::is_public |
Definition at line 69 of file java_bytecode_parse_tree.h.
◆ is_static
| bool java_bytecode_parse_treet::membert::is_static |
Definition at line 69 of file java_bytecode_parse_tree.h.
◆ name
| irep_idt java_bytecode_parse_treet::membert::name |
Definition at line 68 of file java_bytecode_parse_tree.h.
◆ signature
| std::optional<std::string> java_bytecode_parse_treet::membert::signature |
Definition at line 67 of file java_bytecode_parse_tree.h.
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_bytecode_parse_tree.h
