cprover
java_bytecode_parse_treet Class Reference

#include <java_bytecode_parse_tree.h>

Collaboration diagram for java_bytecode_parse_treet:
[legend]

Classes

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

Public Types

typedef std::vector< annotationtannotationst
 
typedef std::set< irep_idtclass_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

Definition at line 42 of file java_bytecode_parse_tree.h.

◆ 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

◆ swap()

void java_bytecode_parse_treet::swap ( java_bytecode_parse_treet other)
inline

Member Data Documentation

◆ class_refs

class_refst java_bytecode_parse_treet::class_refs

◆ loading_successful

bool java_bytecode_parse_treet::loading_successful

◆ parsed_class


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