#include <set>
#include <map>
#include <util/optional.h>
#include <util/std_types.h>
#include "bytecode_info.h"
#include "java_types.h"

Include dependency graph for java_bytecode_parse_tree.h:

This graph shows which files directly or indirectly include this file:

Classes
struct	java_bytecode_parse_treet

struct	java_bytecode_parse_treet::annotationt

struct	java_bytecode_parse_treet::annotationt::element_value_pairt

struct	java_bytecode_parse_treet::instructiont

struct	java_bytecode_parse_treet::membert

struct	java_bytecode_parse_treet::methodt

struct	java_bytecode_parse_treet::methodt::exceptiont

struct	java_bytecode_parse_treet::methodt::local_variablet

struct	java_bytecode_parse_treet::methodt::verification_type_infot

struct	java_bytecode_parse_treet::methodt::stack_map_table_entryt

struct	java_bytecode_parse_treet::fieldt

struct	java_bytecode_parse_treet::classt

struct	java_bytecode_parse_treet::classt::lambda_method_handlet

class	fieldref_exprt
	Represents the argument of an instruction that uses a CONSTANT_Fieldref This is used for example as an argument to a getstatic and putstatic instruction. More...

Functions
template<>
bool	can_cast_expr< fieldref_exprt > (const exprt &base)

Function Documentation

◆ can_cast_expr< fieldref_exprt >()

template<>

bool can_cast_expr< fieldref_exprt > ( const exprt & base )

inline