cprover
two_value_struct_abstract_object.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3  Module: analyses variable-sensitivity
4 
5  Author: Thomas Kiley, thomas.kiley@diffblue.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_ANALYSES_VARIABLE_SENSITIVITY_STRUCT_ABSTRACT_OBJECT_H
13 #define CPROVER_ANALYSES_VARIABLE_SENSITIVITY_STRUCT_ABSTRACT_OBJECT_H
14 
16 
18  two_value_struct_abstract_objectt,
19  struct_aggregate_typet>
20 {
21 public:
26 
29  {
30  }
33  {
34  }
36  const exprt &expr,
37  const abstract_environmentt &environment,
38  const namespacet &ns)
39  : abstract_aggregate_baset(expr, environment, ns)
40  {
41  }
42 
43 protected:
44  void statistics(
46  abstract_object_visitedt &visited,
47  const abstract_environmentt &env,
48  const namespacet &ns) const override
49  {
50  }
51 };
52 
53 #endif // CPROVER_ANALYSES_VARIABLE_SENSITIVITY_STRUCT_ABSTRACT_OBJECT_H
Common behaviour for abstract objects modelling aggregate values - arrays, structs,...
std::set< abstract_object_pointert > abstract_object_visitedt
virtual const typet & type() const
Get the real type of the variable this abstract object is representing.
Base class for all expressions.
Definition: expr.h:54
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:91
two_value_struct_abstract_objectt(const typet &type, bool top, bool bottom)
two_value_struct_abstract_objectt(const exprt &expr, const abstract_environmentt &environment, const namespacet &ns)
abstract_aggregate_objectt< two_value_struct_abstract_objectt, struct_aggregate_typet > abstract_aggregate_baset
void statistics(abstract_object_statisticst &statistics, abstract_object_visitedt &visited, const abstract_environmentt &env, const namespacet &ns) const override
The type of an expression, extends irept.
Definition: type.h:29