#include "ci_lazy_methods.h"
#include <util/expr_iterator.h>
#include <util/message.h>
#include <util/namespace.h>
#include <util/suffix.h>
#include <util/symbol_table.h>
#include <goto-programs/resolve_inherited_component.h>
#include "java_bytecode_language.h"
#include "java_class_loader.h"
#include "java_entry_point.h"
#include "remove_exceptions.h"

Include dependency graph for ci_lazy_methods.cpp:

Functions
static bool	references_class_model (const exprt &expr)
	Checks if an expression refers to any class literals (e.g. More...

Function Documentation

◆ references_class_model()

static bool references_class_model ( const exprt & expr )

static

Checks if an expression refers to any class literals (e.g.

MyType.class) These are expressed as ldc instructions in Java bytecode, and as symbols of the form MyType@class_model in GOTO programs.

Parameters

expr	expression to check

Returns: true if the expression or any of its subexpressions refer to a class

Definition at line 66 of file ci_lazy_methods.cpp.

Functions

Function Documentation

◆ references_class_model()