java_bytecode_parse_treet::fieldt Struct Reference
#include <java_bytecode_parse_tree.h>
Inheritance diagram for java_bytecode_parse_treet::fieldt: Collaboration diagram for java_bytecode_parse_treet::fieldt:Public Member Functions | |
| void | output (std::ostream &out) const |
| fieldt () | |
| Public Member Functions inherited from java_bytecode_parse_treet::membert | |
| membert () | |
| bool | has_annotation (const irep_idt &annotation_id) const |
Public Attributes | |
| bool | is_enum |
| Public Attributes inherited from java_bytecode_parse_treet::membert | |
| 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 185 of file java_bytecode_parse_tree.h.
Constructor & Destructor Documentation
◆ fieldt()
|
inline |
Definition at line 191 of file java_bytecode_parse_tree.h.
Member Function Documentation
◆ output()
| void java_bytecode_parse_treet::fieldt::output | ( | std::ostream & | out | ) | const |
Definition at line 195 of file java_bytecode_parse_tree.cpp.
Member Data Documentation
◆ is_enum
| bool java_bytecode_parse_treet::fieldt::is_enum |
Definition at line 187 of file java_bytecode_parse_tree.h.
The documentation for this struct was generated from the following files:
- /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_bytecode_parse_tree.h
- /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_bytecode_parse_tree.cpp
