Merge pull request diffblue#96 from diffblue/nathan/cleanup/rename-virtual_map

Nathan/cleanup/rename virtual map

Author: NathanJPhillips

src/pointer-analysis/local_value_set_analysis.h

@@ -14,7 +14,7 @@ Author: Chris Smowton, [email protected]
 #include <pointer-analysis/external_value_set_expr.h>
 #include <summaries/summary.h>
 #include <util/message.h>
-#include <util/virtual_map.h>
+#include <util/cached_map.h>
 
 class lvsaa_single_external_set_summaryt:public summaryt
 {
@@ -59,7 +59,7 @@ class local_value_set_analysist
 {
  public:
   typedef value_set_analysis_baset<local_value_sett> baset;
-  typedef virtual_mapt<irep_idt, lvsaa_single_external_set_summaryt> dbt;
+  typedef cached_mapt<irep_idt, lvsaa_single_external_set_summaryt> dbt;
 
   local_value_set_analysist(
       const namespacet& ns,

src/summaries/summary_dump.h

@@ -23,7 +23,7 @@ It provides dump of computed summaries in human readable form.
 #include <functional>
 #include <string>
 #include <iosfwd>
-#include <util/virtual_map.h>
+#include <util/cached_map.h>
 #include <util/file_util.h>
 #include <util/message.h>
 #include <fstream>
@@ -345,7 +345,7 @@ class summary_dumpt:public messaget
 
   \*******************************************************************/
   bool dump_in_html(
-    virtual_mapt<irep_idt, summary_typet> &computed_summaries,
+    cached_mapt<irep_idt, summary_typet> &computed_summaries,
     const dump_summary_in_htmlt &dump_summary,
     const goto_modelt &program,
     const std::string &dump_root_directory)

src/taint-analysis/taint_summary.h

@@ -33,7 +33,7 @@ This module defines interfaces and functionality for taint summaries.
 #include <set>
 #include <functional>
 #include <string>
-#include <util/virtual_map.h>
+#include <util/cached_map.h>
 
 
 class taint_statisticst;
@@ -133,7 +133,7 @@ typedef std::shared_ptr<taint_summary_domaint> taint_summary_domain_ptrt;
 class taint_summaryt:public summaryt
 {
 public:
-  typedef virtual_mapt<irep_idt, taint_summaryt> dbt;
+  typedef cached_mapt<irep_idt, taint_summaryt> dbt;
 
   taint_summaryt() = default;
   taint_summaryt(const taint_summaryt &) = delete;