CBMC
Loading...
Searching...
No Matches
lift_clinit_calls.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Static initializer call lifting
4
5Author: Diffblue Ltd.
6
7\*******************************************************************/
8
10
11#ifndef CPROVER_JAVA_BYTECODE_LIFT_CLINIT_CALLS_H
12#define CPROVER_JAVA_BYTECODE_LIFT_CLINIT_CALLS_H
13
14#include <util/std_code_base.h>
15
16codet lift_clinit_calls(codet input);
17
18#endif // CPROVER_JAVA_BYTECODE_LIFT_CLINIT_CALLS_H
codet
Data structure for representing an arbitrary statement in a program.
Definition std_code_base.h:29
lift_clinit_calls
codet lift_clinit_calls(codet input)
file Static initializer call lifting
Definition lift_clinit_calls.cpp:21
std_code_base.h