CBMC
Loading...
Searching...
No Matches
java_bytecode_concurrency_instrumentation.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Java Convert Thread blocks
4
5Author: Kurt Degiogrio, kurt.degiorgio@diffblue.com
6
7\*******************************************************************/
8#ifndef CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_CONCURRENCY_INSTRUMENTATION_H
9#define CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_CONCURRENCY_INSTRUMENTATION_H
10
11class message_handlert;
12class symbol_table_baset;
13
14void convert_threadblock(symbol_table_baset &symbol_table);
15void convert_synchronized_methods(
16 symbol_table_baset &symbol_table,
17 message_handlert &message_handler);
18
19#endif
message_handlert
Definition message.h:27
symbol_table_baset
The symbol table base class interface.
Definition symbol_table_base.h:23
convert_synchronized_methods
void convert_synchronized_methods(symbol_table_baset &symbol_table, message_handlert &message_handler)
Iterate through the symbol table to find and instrument synchronized methods.
Definition java_bytecode_concurrency_instrumentation.cpp:602
convert_threadblock
void convert_threadblock(symbol_table_baset &symbol_table)
Iterate through the symbol table to find and appropriately instrument thread-blocks.
Definition java_bytecode_concurrency_instrumentation.cpp:484