Loading...

Searching...

No Matches

ci_lazy_methods.cpp File Reference

#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:

[フレーム]

Go to the source code of this file.

Functions

static bool references_class_model (const exprt &expr)

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

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.