CBMC
Loading...
Searching...
No Matches
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:
+ 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 ()
 
 

Public Attributes

 
- Public Attributes inherited from java_bytecode_parse_treet::membert
std::string  descriptor
 
std::optional< std::string >  signature
 
 
 
 
 
 
 
 

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:

AltStyle によって変換されたページ (->オリジナル) /