cprover
Public Member Functions | Public Attributes | List of all members
java_bytecode_parse_treet::fieldt Struct Reference

#include <java_bytecode_parse_tree.h>

Inheritance diagram for java_bytecode_parse_treet::fieldt:
[legend]
Collaboration diagram for java_bytecode_parse_treet::fieldt:
[legend]

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
 
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 178 of file java_bytecode_parse_tree.h.

Constructor & Destructor Documentation

◆ fieldt()

java_bytecode_parse_treet::fieldt::fieldt ( )
inline

Definition at line 184 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 207 of file java_bytecode_parse_tree.cpp.

Member Data Documentation

◆ is_enum

bool java_bytecode_parse_treet::fieldt::is_enum

Definition at line 180 of file java_bytecode_parse_tree.h.

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

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