CBMC: java_bytecode_parse_treet::fieldt Struct Reference

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 ()

bool has_annotation (const irep_idt &annotation_id) const

Public Attributes

- Public Attributes inherited from java_bytecode_parse_treet::membert

std::string descriptor

std::optional< std::string > signature

bool is_protected

bool is_private

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:

/home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_bytecode_parse_tree.h
/home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_bytecode_parse_tree.cpp