cprover
java_bytecode_parse_treet::membert Class Referenceabstract

#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

virtual void output (std::ostream &out) const =0
 
 membert ()
 

Public Attributes

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

Constructor & Destructor Documentation

§ membert()

java_bytecode_parse_treet::membert::membert ( )
inline

Definition at line 64 of file java_bytecode_parse_tree.h.

Member Function Documentation

§ output()

virtual void java_bytecode_parse_treet::membert::output ( std::ostream &  out) const
pure virtual

Member Data Documentation

§ annotations

annotationst java_bytecode_parse_treet::membert::annotations

§ is_final

bool java_bytecode_parse_treet::membert::is_final

§ is_private

§ is_protected

bool java_bytecode_parse_treet::membert::is_protected

§ is_public

§ is_static

§ name

§ signature


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