CBMC
casting_replace_symbol.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: ANSI-C Linking
4 
5 Author: Michael Tautschnig
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_LINKING_CASTING_REPLACE_SYMBOL_H
13 #define CPROVER_LINKING_CASTING_REPLACE_SYMBOL_H
14 
15 #include <util/replace_symbol.h>
16 
19 class casting_replace_symbolt : public replace_symbolt
20 {
21 public:
22  bool replace(exprt &dest) const override;
23 
24 private:
25  bool replace_symbol_expr(symbol_exprt &dest) const override;
26 };
27 
28 #endif // CPROVER_LINKING_CASTING_REPLACE_SYMBOL_H
casting_replace_symbolt
A variant of replace_symbolt that does not require types to match, but instead inserts type casts as ...
Definition: casting_replace_symbol.h:20
casting_replace_symbolt::replace_symbol_expr
bool replace_symbol_expr(symbol_exprt &dest) const override
Definition: casting_replace_symbol.cpp:83
casting_replace_symbolt::replace
bool replace(exprt &dest) const override
Definition: casting_replace_symbol.cpp:18
exprt
Base class for all expressions.
Definition: expr.h:56
replace_symbolt
Replace a symbol expression by a given expression.
Definition: replace_symbol.h:28
symbol_exprt
Expression to hold a symbol (variable)
Definition: std_expr.h:131
replace_symbol.h