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

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 194 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: