Make per-function XML and JSON outputs of ai_baset public

The corresponding text function has been public for a long time and there
is not reason why the JSON and XML ones can't be as they are const and are
called from other public methods.

Author: martin

src/analyses/ai.h

@@ -280,6 +280,28 @@ class ai_baset
     const goto_programt &goto_program,
     std::ostream &out) const;
 
+  /// Output the abstract states for a single function as JSON
+  /// \param ns: The namespace
+  /// \param goto_program: The goto program
+  /// \param function_id: The identifier used to find a symbol to
+  ///   identify the source language
+  /// \return The JSON object
+  virtual jsont output_json(
+    const namespacet &ns,
+    const irep_idt &function_id,
+    const goto_programt &goto_program) const;
+
+  /// Output the abstract states for a single function as XML
+  /// \param ns: The namespace
+  /// \param goto_program: The goto program
+  /// \param function_id: The identifier used to find a symbol to
+  ///   identify the source language
+  /// \return The XML object
+  virtual xmlt output_xml(
+    const namespacet &ns,
+    const irep_idt &function_id,
+    const goto_programt &goto_program) const;
+
   /// Output the abstract states for a whole program
   virtual void output(
     const namespacet &ns,
@@ -389,28 +411,6 @@ class ai_baset
   /// entry state required by the analysis
   trace_ptrt entry_state(const goto_functionst &goto_functions);
 
-  /// Output the abstract states for a single function as JSON
-  /// \param ns: The namespace
-  /// \param goto_program: The goto program
-  /// \param function_id: The identifier used to find a symbol to
-  ///   identify the source language
-  /// \return The JSON object
-  virtual jsont output_json(
-    const namespacet &ns,
-    const irep_idt &function_id,
-    const goto_programt &goto_program) const;
-
-  /// Output the abstract states for a single function as XML
-  /// \param ns: The namespace
-  /// \param goto_program: The goto program
-  /// \param function_id: The identifier used to find a symbol to
-  ///   identify the source language
-  /// \return The XML object
-  virtual xmlt output_xml(
-    const namespacet &ns,
-    const irep_idt &function_id,
-    const goto_programt &goto_program) const;
-
   /// The work queue, sorted using the history's ordering operator
   typedef trace_sett working_sett;