cprover
java_bytecode_parse_treet::membert Struct Reference

#include <java_bytecode_parse_tree.h>

Inheritance diagram for java_bytecode_parse_treet::membert:
[legend]
Collaboration diagram for java_bytecode_parse_treet::membert:
[legend]

Public Member Functions

 membert ()
 
bool has_annotation (const irep_idt &annotation_id) const
 

Public Attributes

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

Constructor & Destructor Documentation

◆ membert()

java_bytecode_parse_treet::membert::membert ( )
inline

Definition at line 74 of file java_bytecode_parse_tree.h.

Member Function Documentation

◆ has_annotation()

bool java_bytecode_parse_treet::membert::has_annotation ( const irep_idt annotation_id) const
inline

Member Data Documentation

◆ annotations

◆ descriptor

◆ is_final

bool java_bytecode_parse_treet::membert::is_final

◆ is_private

bool java_bytecode_parse_treet::membert::is_private

◆ is_protected

bool java_bytecode_parse_treet::membert::is_protected

◆ is_public

bool java_bytecode_parse_treet::membert::is_public

◆ is_static

◆ name

◆ signature

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

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