#include <exploded-graph.h>
Public Member Functions | |
dynamic_call_info_t (const gcall &dynamic_call, const bool is_returning_call=false) | |
void | print (pretty_printer *pp) const final override |
bool | update_model (region_model *model, const exploded_edge *eedge, region_model_context *ctxt) const final override |
void | add_events_to_path (checker_path *emission_path, const exploded_edge &eedge) const final override |
virtual bool | update_state (program_state *state, const exploded_edge *eedge, region_model_context *ctxt) const |
virtual exploded_node * | create_enode (exploded_graph &eg, const program_point &point, program_state &&state, exploded_node *enode_for_diag, region_model_context *ctxt) const |
Private Attributes | |
const gcall & | m_dynamic_call |
const bool | m_is_returning_call |
Extra data for an exploded_edge that represents dynamic call info ( calls that doesn't have an underlying superedge representing the call ).
|
inline |
References m_dynamic_call, and m_is_returning_call.
|
finaloverridevirtual |
Implements ana::custom_edge_info.
|
virtualinherited |
|
inlinefinaloverridevirtual |
Implements ana::custom_edge_info.
References m_is_returning_call, and pp_string().
|
finaloverridevirtual |
Implements ana::custom_edge_info.
|
virtualinherited |
|
private |
Referenced by dynamic_call_info_t().
|
private |
Referenced by dynamic_call_info_t(), and print().