cprover
Loading...
Searching...
No Matches
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 ()
bool has_annotation (const irep_idt &annotation_id) const

Public Attributes

std::string descriptor
std::optional< 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 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_idt & annotation_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: