Loading...
Searching...
No Matches
java_bytecode_parse_treet Struct Reference
#include <java_bytecode_parse_tree.h>
+ Collaboration diagram for java_bytecode_parse_treet:
An empty bytecode parse tree, no class name set.
Create a blank parse tree for class class_name.
Static Public Member Functions
Find an annotation given its name.
Detailed Description
Member Typedef Documentation
◆ annotationst
◆ class_refst
Constructor & Destructor Documentation
◆ java_bytecode_parse_treet() [1/4]
◆ java_bytecode_parse_treet() [2/4]
◆ java_bytecode_parse_treet() [3/4]
java_bytecode_parse_treet::java_bytecode_parse_treet
(
)
default
An empty bytecode parse tree, no class name set.
◆ java_bytecode_parse_treet() [4/4]
java_bytecode_parse_treet::java_bytecode_parse_treet
(
const irep_idt &
class_name )
Member Function Documentation
◆ find_annotation()
Find an annotation given its name.
- Parameters
-
annotations A vector of annotationt
annotation_type_name An 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 std::optional otherwise.
Definition at line 95 of file java_bytecode_parse_tree.cpp.
◆ operator=() [1/2]
◆ operator=() [2/2]
◆ 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 =
false
◆ parsed_class
classt java_bytecode_parse_treet::parsed_class
The documentation for this struct was generated from the following files:
