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.

References fields.

Referenced by java_bytecode_parsert::rfields().

◆ add_method()

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

Definition at line 189 of file java_bytecode_parse_tree.h.

References methods.

Referenced by java_bytecode_parsert::rmethod().

◆ output()

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

Definition at line 45 of file java_bytecode_parse_tree.cpp.

Referenced by java_bytecode_parse_treet::output().

◆ swap()

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

Member Data Documentation

◆ annotations

annotationst java_bytecode_parse_treet::classt::annotations

Definition at line 181 of file java_bytecode_parse_tree.h.

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

◆ 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: