Rename call graph constructors

Author: smowton

src/analyses/call_graph.h

@@ -25,8 +25,28 @@ class call_grapht
   explicit call_grapht(const goto_modelt &, bool collect_callsites=false);
   explicit call_grapht(const goto_functionst &, bool collect_callsites=false);
 
-  // These two constructors build a call graph restricted to functions
+  // These two functions build a call graph restricted to functions
   // reachable from the given root.
+
+  static call_grapht create_from_root_function(
+    const goto_modelt &model,
+    const irep_idt &root,
+    bool collect_callsites)
+  {
+    return call_grapht(model, root, collect_callsites);
+  }
+
+  static call_grapht create_from_root_function(
+    const goto_functionst &functions,
+    const irep_idt &root,
+    bool collect_callsites)
+  {
+    return call_grapht(functions, root, collect_callsites);
+  }
+
+  // Constructors used to implement the above:
+
+private:
   call_grapht(
     const goto_modelt &model,
     const irep_idt &root,
@@ -36,6 +56,8 @@ class call_grapht
     const irep_idt &root,
     bool collect_callsites);
 
+public:
+
   void output_dot(std::ostream &out) const;
   void output(std::ostream &out) const;
   void output_xml(std::ostream &out) const;