... and the header file ...

Author: martin

src/analyses/dependence_graph.h

@@ -43,6 +43,10 @@ class dep_graph_domaint:public ai_domain_baset
       const ai_baset &ai,
       const namespacet &ns) const;
 
+  virtual jsont output_json(
+    const ai_baset &ai,
+    const namespacet &ns) const;
+
   void set_node_id(unsigned id)
   {
     node_id=id;