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
void convert_threadblock(symbol_tablet &symbol_table)
Iterate through the symbol table to find and appropriately instrument thread-blocks.
The symbol table.
Definition: symbol_table.h:19
Author: Diffblue Ltd.