java_bytecode_parse_treet Class Reference

#include <java_bytecode_parse_tree.h>

Collaboration diagram for java_bytecode_parse_treet:

Classes
class	annotationt
class	classt
class	fieldt
class	instructiont
class	membert
class	methodt

Public Types
typedef std::vector< annotationt >	annotationst
typedef std::set< irep_idt >	class_refst

Public Member Functions
void	swap (java_bytecode_parse_treet &other)
void	output (std::ostream &out) const
	java_bytecode_parse_treet ()

Public Attributes
classt	parsed_class
class_refst	class_refs
bool	loading_successful

Detailed Description

Definition at line 20 of file java_bytecode_parse_tree.h.

Member Typedef Documentation

annotationst

typedef std::vector<annotationt> java_bytecode_parse_treet::annotationst

Definition at line 42 of file java_bytecode_parse_tree.h.

class_refst

typedef std::set<irep_idt> java_bytecode_parse_treet::class_refst

Definition at line 211 of file java_bytecode_parse_tree.h.

Constructor & Destructor Documentation

java_bytecode_parse_treet()

java_bytecode_parse_treet::java_bytecode_parse_treet ( )

inline

Definition at line 216 of file java_bytecode_parse_tree.h.

Member Function Documentation

output()

void java_bytecode_parse_treet::output

(

std::ostream &

out

)

const

Definition at line 34 of file java_bytecode_parse_tree.cpp.

References class_refs, java_bytecode_parse_treet::classt::output(), and parsed_class.

swap()

void java_bytecode_parse_treet::swap ( java_bytecode_parse_treet &  other )

inline

Definition at line 202 of file java_bytecode_parse_tree.h.

References class_refs, loading_successful, parsed_class, and java_bytecode_parse_treet::classt::swap().

Referenced by java_bytecode_parse().

Member Data Documentation

class_refs

class_refst java_bytecode_parse_treet::class_refs

Definition at line 212 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_parsert::get_class_refs_rec(), java_class_loadert::operator()(), output(), and swap().

loading_successful

bool java_bytecode_parse_treet::loading_successful

Definition at line 214 of file java_bytecode_parse_tree.h.

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

parsed_class

classt java_bytecode_parse_treet::parsed_class

Definition at line 200 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_parsert::get_class_refs(), java_class_loadert::get_parse_tree(), java_bytecode_convert_classt::operator()(), output(), java_bytecode_parsert::rClassFile(), java_bytecode_parsert::rmethod_attribute(), and swap().

---

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

• java_bytecode/java_bytecode_parse_tree.h
• java_bytecode/java_bytecode_parse_tree.cpp