Separate out goto_analyzer's register_languages as with other tools

Author: martin

src/goto-analyzer/Makefile

@@ -1,4 +1,5 @@
-SRC = goto_analyzer_main.cpp \
+SRC = goto_analyzer_languages.cpp \
+      goto_analyzer_main.cpp \
       goto_analyzer_parse_options.cpp \
       taint_analysis.cpp \
       taint_parser.cpp \

src/goto-analyzer/goto_analyzer_languages.cpp

@@ -0,0 +1,31 @@
+/*******************************************************************\
+
+Module: Language Registration
+
+Author: Martin Brain, martin.brain@cs.ox.ac.uk
+
+\*******************************************************************/
+
+/// \file
+/// Language Registration
+
+#include "goto_analyzer_parse_options.h"
+
+#include <langapi/mode.h>
+
+#include <ansi-c/ansi_c_language.h>
+#include <cpp/cpp_language.h>
+
+#ifdef HAVE_JSIL
+#  include <jsil/jsil_language.h>
+#endif
+
+void goto_analyzer_parse_optionst::register_languages()
+{
+  register_language(new_ansi_c_language);
+  register_language(new_cpp_language);
+
+#ifdef HAVE_JSIL
+  register_language(new_jsil_language);
+#endif
+}

src/goto-analyzer/goto_analyzer_parse_options.cpp

@@ -16,18 +16,12 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <iostream>
 #include <memory>
 
-#include <ansi-c/ansi_c_language.h>
 #include <ansi-c/cprover_library.h>
 
 #include <assembler/remove_asm.h>
 
-#include <cpp/cpp_language.h>
 #include <cpp/cprover_library.h>
 
-#ifdef HAVE_JSIL
-#  include <jsil/jsil_language.h>
-#endif
-
 #include <goto-programs/add_malloc_may_fail_variable_initializations.h>
 #include <goto-programs/initialize_goto_model.h>
 #include <goto-programs/link_to_library.h>
@@ -39,9 +33,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <analyses/ai.h>
 #include <analyses/local_may_alias.h>
 
-#include <langapi/mode.h>
-#include <langapi/language.h>
-
 #include <util/config.h>
 #include <util/exception_utils.h>
 #include <util/exit_codes.h>
@@ -67,16 +58,6 @@ goto_analyzer_parse_optionst::goto_analyzer_parse_optionst(
 {
 }
 
-void goto_analyzer_parse_optionst::register_languages()
-{
-  register_language(new_ansi_c_language);
-  register_language(new_cpp_language);
-
-#ifdef HAVE_JSIL
-  register_language(new_jsil_language);
-#endif
-}
-
 void goto_analyzer_parse_optionst::get_command_line_options(optionst &options)
 {
   if(config.set(cmdline))