CBMC
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
java_bytecode_parse_treet::membert Struct Reference

#include <java_bytecode_parse_tree.h>

+ Inheritance diagram for java_bytecode_parse_treet::membert:
+ Collaboration diagram for java_bytecode_parse_treet::membert:

Public Member Functions

  membert ()
 
 

Public Attributes

std::string  descriptor
 
std::optional< std::string >  signature
 
 
 
 
 
 
 
 

Detailed Description

Definition at line 64 of file java_bytecode_parse_tree.h.

Constructor & Destructor Documentation

◆  membert()

java_bytecode_parse_treet::membert::membert ( )
inline

Definition at line 72 of file java_bytecode_parse_tree.h.

Member Function Documentation

◆  has_annotation()

bool java_bytecode_parse_treet::membert::has_annotation ( const irep_idtannotation_id ) const
inline

Definition at line 78 of file java_bytecode_parse_tree.h.

Member Data Documentation

◆  annotations

annotationst java_bytecode_parse_treet::membert::annotations

Definition at line 70 of file java_bytecode_parse_tree.h.

◆  descriptor

std::string java_bytecode_parse_treet::membert::descriptor

Definition at line 66 of file java_bytecode_parse_tree.h.

◆  is_final

bool java_bytecode_parse_treet::membert::is_final

Definition at line 69 of file java_bytecode_parse_tree.h.

◆  is_private

bool java_bytecode_parse_treet::membert::is_private

Definition at line 69 of file java_bytecode_parse_tree.h.

◆  is_protected

bool java_bytecode_parse_treet::membert::is_protected

Definition at line 69 of file java_bytecode_parse_tree.h.

◆  is_public

bool java_bytecode_parse_treet::membert::is_public

Definition at line 69 of file java_bytecode_parse_tree.h.

◆  is_static

bool java_bytecode_parse_treet::membert::is_static

Definition at line 69 of file java_bytecode_parse_tree.h.

◆  name

irep_idt java_bytecode_parse_treet::membert::name

Definition at line 68 of file java_bytecode_parse_tree.h.

◆  signature

std::optional<std::string> java_bytecode_parse_treet::membert::signature

Definition at line 67 of file java_bytecode_parse_tree.h.


The documentation for this struct was generated from the following file:

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