cprover
java_bytecode_parse_treet Struct Reference

#include <java_bytecode_parse_tree.h>

Collaboration diagram for java_bytecode_parse_treet:
[legend]

Classes

struct  annotationt
 
struct  classt
 
struct  fieldt
 
struct  instructiont
 
struct  membert
 
struct  methodt
 

Public Types

typedef std::vector< annotationtannotationst
 
typedef std::set< irep_idtclass_refst
 

Public Member Functions

 java_bytecode_parse_treet (const java_bytecode_parse_treet &)=delete
 
java_bytecode_parse_treetoperator= (const java_bytecode_parse_treet &)=delete
 
 java_bytecode_parse_treet (java_bytecode_parse_treet &&)=default
 
java_bytecode_parse_treetoperator= (java_bytecode_parse_treet &&)=default
 
void output (std::ostream &out) const
 
 java_bytecode_parse_treet ()
 

Static Public Member Functions

static optionalt< annotationtfind_annotation (const annotationst &annotations, const irep_idt &annotation_type_name)
 Find an annotation given its name. More...
 

Public Attributes

classt parsed_class
 
class_refst class_refs
 
bool loading_successful
 

Detailed Description

Definition at line 22 of file java_bytecode_parse_tree.h.

Member Typedef Documentation

◆ annotationst

Definition at line 51 of file java_bytecode_parse_tree.h.

◆ class_refst

Definition at line 298 of file java_bytecode_parse_tree.h.

Constructor & Destructor Documentation

◆ java_bytecode_parse_treet() [1/3]

java_bytecode_parse_treet::java_bytecode_parse_treet ( const java_bytecode_parse_treet )
delete

◆ java_bytecode_parse_treet() [2/3]

java_bytecode_parse_treet::java_bytecode_parse_treet ( java_bytecode_parse_treet &&  )
default

◆ java_bytecode_parse_treet() [3/3]

java_bytecode_parse_treet::java_bytecode_parse_treet ( )
inline

Definition at line 303 of file java_bytecode_parse_tree.h.

Member Function Documentation

◆ find_annotation()

optionalt< java_bytecode_parse_treet::annotationt > java_bytecode_parse_treet::find_annotation ( const annotationst annotations,
const irep_idt annotation_type_name 
)
static

Find an annotation given its name.

Parameters
annotationsA vector of annotationt
annotation_type_nameAn irep_idt representing the name of the annotation class, e.g. java::java.lang.SuppressWarnings
Returns
The first annotation with the given name in annotations if one exists, an empty optionalt otherwise.

Definition at line 109 of file java_bytecode_parse_tree.cpp.

References symbol_typet::get_identifier(), irept::id(), typet::subtype(), and to_symbol_type().

Referenced by java_bytecode_parse_treet::membert::has_annotation(), is_overlay_class(), and java_bytecode_convert_method_lazy().

◆ operator=() [1/2]

java_bytecode_parse_treet& java_bytecode_parse_treet::operator= ( const java_bytecode_parse_treet )
delete

◆ operator=() [2/2]

java_bytecode_parse_treet& java_bytecode_parse_treet::operator= ( java_bytecode_parse_treet &&  )
default

◆ output()

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

Member Data Documentation

◆ class_refs

◆ loading_successful

bool java_bytecode_parse_treet::loading_successful

Definition at line 301 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_parsert::rClassFile().

◆ parsed_class


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