cprover
remove_instanceof.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Remove Instance-of Operators
4
5Author: Chris Smowton, chris.smowton@diffblue.com
6
7\*******************************************************************/
8
78
79#ifndef CPROVER_JAVA_BYTECODE_REMOVE_INSTANCEOF_H
80#define CPROVER_JAVA_BYTECODE_REMOVE_INSTANCEOF_H
81
83
85class goto_modelt;
87
89 const irep_idt &function_identifier,
91 goto_programt &goto_program,
92 symbol_table_baset &symbol_table,
93 const class_hierarchyt &class_hierarchy,
95
97 const irep_idt &function_identifier,
99 symbol_table_baset &symbol_table,
100 const class_hierarchyt &class_hierarchy,
102
104 goto_functionst &goto_functions,
105 symbol_table_baset &symbol_table,
106 const class_hierarchyt &class_hierarchy,
108
110 goto_modelt &model,
111 const class_hierarchyt &class_hierarchy,
113
114#endif
Non-graph-based representation of the class hierarchy.
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:37
A collection of goto functions.
::goto_functiont goto_functiont
A generic container class for the GOTO intermediate representation of one function.
Definition: goto_program.h:73
instructionst::iterator targett
Definition: goto_program.h:592
The symbol table base class interface.
Goto Programs with Functions.
void remove_instanceof(const irep_idt &function_identifier, goto_programt::targett target, goto_programt &goto_program, symbol_table_baset &symbol_table, const class_hierarchyt &class_hierarchy, message_handlert &)
Replace an instanceof in the expression or guard of the passed instruction of the given function body...