CBMC: /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_bytecode_parse_tree.h File Reference

CBMC

Loading...

Searching...

No Matches

Classes | Functions

java_bytecode_parse_tree.h File Reference

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

+ Include dependency graph for java_bytecode_parse_tree.h:

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

Go to the source code of 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

Definition at line 358 of file java_bytecode_parse_tree.h.