#include <util/std_code.h>
Include dependency graph for c_expr.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | shuffle_vector_exprt |
| Shuffle elements of one or two vectors, modelled after Clang's __builtin_shufflevector. More... | |
| class | side_effect_expr_overflowt |
A Boolean expression returning true, iff the result of performing operation kind on operands a and b in infinite-precision arithmetic cannot be represented in the type of the object that result points to (or the type of result, if it is not a pointer). More... | |
| class | history_exprt |
| A class for an expression that indicates a history variable. More... | |
| class | conditional_target_group_exprt |
| A class for an expression that represents a conditional target or a list of targets sharing a common condition in an assigns clause. More... | |
| class | function_pointer_obeys_contract_exprt |
A class for expressions representing a requires_contract(fptr, contract) clause or an ensures_contract(fptr, contract) clause in a function contract. More... | |
Detailed Description
API to expression classes that are internal to the C frontend
Definition in file c_expr.h.
Function Documentation
◆ can_cast_expr< conditional_target_group_exprt >()
|
inline |
◆ can_cast_expr< function_pointer_obeys_contract_exprt >()
|
inline |
◆ can_cast_expr< shuffle_vector_exprt >()
|
inline |
◆ can_cast_expr< side_effect_expr_overflowt >()
|
inline |
◆ to_conditional_target_group_expr() [1/2]
|
inline |
Cast an exprt to a conditional_target_group_exprt.
expr must be known to be conditional_target_group_exprt
- Parameters
-
expr Source expression
- Returns
- Object of type conditional_target_group_exprt
◆ to_conditional_target_group_expr() [2/2]
|
inline |
Cast an exprt to a conditional_target_group_exprt.
expr must be known to be conditional_target_group_exprt
- Parameters
-
expr Source expression
- Returns
- Object of type conditional_target_group_exprt
◆ to_function_pointer_obeys_contract_expr() [1/2]
|
inline |
Cast an exprt to a function_pointer_obeys_contract_exprt.
expr must be known to be function_pointer_obeys_contract_exprt
- Parameters
-
expr Source expression
- Returns
- Object of type function_pointer_obeys_contract_exprt
◆ to_function_pointer_obeys_contract_expr() [2/2]
|
inline |
Cast an exprt to a function_pointer_obeys_contract_exprt.
expr must be known to be function_pointer_obeys_contract_exprt
- Parameters
-
expr Source expression
- Returns
- Object of type function_pointer_obeys_contract_exprt
◆ to_history_expr()
|
inline |
◆ to_shuffle_vector_expr() [1/2]
|
inline |
Cast an exprt to a shuffle_vector_exprt.
expr must be known to be shuffle_vector_exprt.
- Parameters
-
expr Source expression
- Returns
- Object of type shuffle_vector_exprt
◆ to_shuffle_vector_expr() [2/2]
|
inline |
Cast an exprt to a shuffle_vector_exprt.
expr must be known to be shuffle_vector_exprt.
- Parameters
-
expr Source expression
- Returns
- Object of type shuffle_vector_exprt
◆ to_side_effect_expr_overflow() [1/2]
|
inline |
Cast an exprt to a side_effect_expr_overflowt.
expr must be known to be side_effect_expr_overflowt.
- Parameters
-
expr Source expression
- Returns
- Object of type side_effect_expr_overflowt
◆ to_side_effect_expr_overflow() [2/2]
|
inline |
Cast an exprt to a side_effect_expr_overflowt.
expr must be known to be side_effect_expr_overflowt.
- Parameters
-
expr Source expression
- Returns
- Object of type side_effect_expr_overflowt
◆ validate_expr() [1/3]
|
inline |
◆ validate_expr() [2/3]
|
inline |
◆ validate_expr() [3/3]
|
inline |
