cprover
java_bytecode_convert_threadblock.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Java Convert Thread blocks
4
5
Author: Kurt Degiogrio, kurt.degiorgio@diffblue.com
6
7
\*******************************************************************/
8
#ifndef CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_CONVERT_THREADBLOCK_H
9
#define CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_CONVERT_THREADBLOCK_H
10
11
#include <
util/symbol_table.h
>
12
13
void
convert_threadblock
(
symbol_tablet
&symbol_table);
14
15
#endif
convert_threadblock
void convert_threadblock(symbol_tablet &symbol_table)
Iterate through the symbol table to find and appropriately instrument thread-blocks.
Definition:
java_bytecode_convert_threadblock.cpp:291
symbol_tablet
The symbol table.
Definition:
symbol_table.h:19
symbol_table.h
Author: Diffblue Ltd.
jbmc
src
java_bytecode
java_bytecode_convert_threadblock.h
Generated by
1.8.14