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:

[フレーム]

[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

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:

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