cprover
Loading...
Searching...
No Matches
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.