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

virtual ~fieldt ()=default
 
virtual void output (std::ostream &out) const
 
- Public Member Functions inherited from java_bytecode_parse_treet::membert
 membert ()
 

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

Constructor & Destructor Documentation

◆ ~fieldt()

virtual java_bytecode_parse_treet::fieldt::~fieldt ( )
virtualdefault

Member Function Documentation

◆ output()

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

Implements java_bytecode_parse_treet::membert.

Definition at line 207 of file java_bytecode_parse_tree.cpp.

Member Data Documentation

◆ is_enum

bool java_bytecode_parse_treet::fieldt::is_enum

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