cprover
two_value_pointer_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 #ifndef CPROVER_ANALYSES_VARIABLE_SENSITIVITY_TWO_VALUE_POINTER_ABSTRACT_OBJECT_H
9 #define CPROVER_ANALYSES_VARIABLE_SENSITIVITY_TWO_VALUE_POINTER_ABSTRACT_OBJECT_H
10 
12 
14 {
15 public:
19  {
20  }
21 
30  {
31  }
32 
39  const exprt &expr,
40  const abstract_environmentt &environment,
41  const namespacet &ns)
42  : abstract_pointer_objectt(expr, environment, ns)
43  {
44  }
45 };
46 
47 #endif // CPROVER_ANALYSES_VARIABLE_SENSITIVITY_TWO_VALUE_POINTER_ABSTRACT_OBJECT_H
two_value_pointer_abstract_objectt::two_value_pointer_abstract_objectt
two_value_pointer_abstract_objectt(const typet &type, bool top, bool bottom)
Start the abstract object at either top or bottom or neither Asserts if both top and bottom are true.
Definition: two_value_pointer_abstract_object.h:28
typet
The type of an expression, extends irept.
Definition: type.h:28
abstract_objectt::type
virtual const typet & type() const
Get the real type of the variable this abstract object is representing.
Definition: abstract_object.cpp:53
abstract_pointer_objectt
Definition: abstract_pointer_object.h:22
abstract_environmentt
Definition: abstract_environment.h:36
exprt
Base class for all expressions.
Definition: expr.h:54
two_value_pointer_abstract_objectt::two_value_pointer_abstract_objectt
two_value_pointer_abstract_objectt(const typet &type)
Definition: two_value_pointer_abstract_object.h:17
two_value_pointer_abstract_objectt::two_value_pointer_abstract_objectt
two_value_pointer_abstract_objectt(const exprt &expr, const abstract_environmentt &environment, const namespacet &ns)
Definition: two_value_pointer_abstract_object.h:38
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:92
two_value_pointer_abstract_objectt
Definition: two_value_pointer_abstract_object.h:14
abstract_objectt::bottom
bool bottom
Definition: abstract_object.h:362
abstract_pointer_object.h
The base of all pointer abstractions.
abstract_objectt::top
bool top
Definition: abstract_object.h:363