lift_clinit_calls.cpp File Reference

#include "lift_clinit_calls.h"
#include <java_bytecode/java_static_initializers.h>
#include <goto-programs/goto_instruction_code.h>
#include <util/expr_iterator.h>
#include <algorithm>

Include dependency graph for lift_clinit_calls.cpp:

Go to the source code of this file.

Functions
codet	lift_clinit_calls (codet input)
	file Static initializer call lifting More...

Function Documentation

lift_clinit_calls()

codet lift_clinit_calls

(

codet

input

)

file Static initializer call lifting

Definition at line 21 of file lift_clinit_calls.cpp.