Add header block

Author: jezhiggins

src/analyses/variable-sensitivity/abstract_aggregate_object.h

@@ -1,3 +1,14 @@
+/*******************************************************************\
+
+ Module: analyses variable-sensitivity
+
+ Author: Jez Higgins, [email protected]
+
+\*******************************************************************/
+
+/// \file
+/// Common behaviour for abstract objects modelling aggregate values -
+/// arrays, structs, etc.
 #ifndef CBMC_ABSTRACT_AGGREGATE_OBJECT_H
 #define CBMC_ABSTRACT_AGGREGATE_OBJECT_H
 

src/analyses/variable-sensitivity/abstract_value_object.cpp

@@ -1,3 +1,11 @@
+/*******************************************************************\
+
+ Module: analyses variable-sensitivity
+
+ Author: Jez Higgins, [email protected]
+
+\*******************************************************************/
+
 #include <analyses/variable-sensitivity/abstract_value_object.h>
 
 class empty_index_ranget : public index_ranget

src/analyses/variable-sensitivity/abstract_value_object.h

@@ -1,3 +1,14 @@
+/*******************************************************************\
+
+ Module: analyses variable-sensitivity
+
+ Author: Jez Higgins, [email protected]
+
+\*******************************************************************/
+
+/// \file
+/// Common behaviour for abstract objects modelling values -
+/// constants, intervals, etc.
 #ifndef CPROVER_ANALYSES_VARIABLE_SENSITIVITY_ABSTRACT_VALUE_OBJECT_H
 #define CPROVER_ANALYSES_VARIABLE_SENSITIVITY_ABSTRACT_VALUE_OBJECT_H
 

src/util/sharing_map.h

@@ -455,6 +455,10 @@ class sharing_mapt
     get_view(result);
     return result;
   }
+  /// Convenience function to get a sorted view of the map elements
+  ///
+  /// A view is a list of pairs with the components being const references to
+  /// the keys and values in the map.
   sorted_viewt get_sorted_view() const
   {
     sorted_viewt result;