cprover
Loading...
Searching...
No Matches
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()

java_bytecode_parse_treet::fieldt::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: