cprover
|
Classes | |
struct | expr_dynamic_cast_return_typet |
struct | expr_try_dynamic_cast_return_typet |
Functions | |
template<typename Tag > | |
bool | can_cast_code_impl (const exprt &expr, const Tag &tag) |
template<typename Tag > | |
bool | can_cast_side_effect_expr_impl (const exprt &expr, const Tag &tag) |
|
inline |
Definition at line 55 of file std_code.h.
Referenced by can_cast_expr< code_asmt >(), can_cast_expr< code_assertt >(), can_cast_expr< code_assignt >(), can_cast_expr< code_assumet >(), can_cast_expr< code_blockt >(), can_cast_expr< code_breakt >(), can_cast_expr< code_continuet >(), can_cast_expr< code_deadt >(), can_cast_expr< code_declt >(), can_cast_expr< code_dowhilet >(), can_cast_expr< code_expressiont >(), can_cast_expr< code_fort >(), can_cast_expr< code_function_callt >(), can_cast_expr< code_gotot >(), can_cast_expr< code_ifthenelset >(), can_cast_expr< code_labelt >(), can_cast_expr< code_landingpadt >(), can_cast_expr< code_pop_catcht >(), can_cast_expr< code_push_catcht >(), can_cast_expr< code_returnt >(), can_cast_expr< code_skipt >(), can_cast_expr< code_switch_caset >(), can_cast_expr< code_switcht >(), can_cast_expr< code_try_catcht >(), and can_cast_expr< code_whilet >().
|
inline |
Definition at line 1268 of file std_code.h.
Referenced by can_cast_expr< side_effect_expr_function_callt >(), can_cast_expr< side_effect_expr_nondett >(), and can_cast_expr< side_effect_expr_throwt >().