cprover
java_bytecode_parse_treet::classt Class Reference

#include <java_bytecode_parse_tree.h>

Collaboration diagram for java_bytecode_parse_treet::classt:
[legend]

Public Types

typedef std::list< irep_idtimplementst
 
typedef std::list< fieldtfieldst
 
typedef std::list< methodtmethodst
 

Public Member Functions

fieldtadd_field ()
 
methodtadd_method ()
 
void output (std::ostream &out) const
 
void swap (classt &other)
 

Public Attributes

irep_idt name
 
irep_idt extends
 
bool is_abstract =false
 
bool is_enum =false
 
size_t enum_elements =0
 
implementst implements
 
fieldst fields
 
methodst methods
 
annotationst annotations
 

Detailed Description

Definition at line 166 of file java_bytecode_parse_tree.h.

Member Typedef Documentation

§ fieldst

Definition at line 177 of file java_bytecode_parse_tree.h.

§ implementst

§ methodst

Member Function Documentation

§ add_field()

fieldt& java_bytecode_parse_treet::classt::add_field ( )
inline

Definition at line 183 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_parsert::rfields().

§ add_method()

methodt& java_bytecode_parse_treet::classt::add_method ( )
inline

§ output()

void java_bytecode_parse_treet::classt::output ( std::ostream &  out) const

§ swap()

void java_bytecode_parse_treet::classt::swap ( classt other)

Member Data Documentation

§ annotations

§ enum_elements

size_t java_bytecode_parse_treet::classt::enum_elements =0

§ extends

irep_idt java_bytecode_parse_treet::classt::extends

§ fields

§ implements

implementst java_bytecode_parse_treet::classt::implements

§ is_abstract

bool java_bytecode_parse_treet::classt::is_abstract =false

Definition at line 170 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_parsert::rClassFile(), and swap().

§ is_enum

bool java_bytecode_parse_treet::classt::is_enum =false

§ methods

§ name


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