Renamed initialize_goto_model files

Author: NathanJPhillips

src/goto-analyzer/goto_analyzer_parse_options.cpp

@@ -16,6 +16,7 @@ Author: Daniel Kroening, [email protected]
 #include <java_bytecode/java_bytecode_language.h>
 #include <jsil/jsil_language.h>
 
+#include <goto-programs/initialize_goto_model.h>
 #include <goto-programs/set_properties.h>
 #include <goto-programs/remove_function_pointers.h>
 #include <goto-programs/remove_virtual_functions.h>

src/goto-analyzer/goto_analyzer_parse_options.h

@@ -14,7 +14,7 @@ Author: Daniel Kroening, [email protected]
 
 #include <langapi/language_ui.h>
 
-#include <goto-programs/get_goto_model.h>
+#include <goto-programs/goto_model.h>
 #include <goto-programs/show_goto_functions.h>
 
 #include <analyses/goto_check.h>

src/goto-programs/Makefile

@@ -6,7 +6,7 @@ SRC = basic_blocks.cpp \
       destructor.cpp \
       elf_reader.cpp \
       format_strings.cpp \
-      get_goto_model.cpp \
+      initialize_goto_model.cpp \
       goto_asm.cpp \
       goto_clean_expr.cpp \
       goto_convert.cpp \

src/goto-programs/get_goto_model.cpp renamed to src/goto-programs/initialize_goto_model.cpp

@@ -18,7 +18,7 @@ Author: Daniel Kroening, [email protected]
 
 #include "goto_convert_functions.h"
 #include "read_goto_binary.h"
-#include "get_goto_model.h"
+#include "initialize_goto_model.h"
 
 /*******************************************************************\
 

src/goto-programs/get_goto_model.h renamed to src/goto-programs/initialize_goto_model.h

@@ -6,8 +6,8 @@ Author: Daniel Kroening, [email protected]
 
 \*******************************************************************/
 
-#ifndef CPROVER_GOTO_PROGRAMS_GET_GOTO_MODEL_H
-#define CPROVER_GOTO_PROGRAMS_GET_GOTO_MODEL_H
+#ifndef CPROVER_GOTO_PROGRAMS_INITIALIZE_GOTO_MODEL_H
+#define CPROVER_GOTO_PROGRAMS_INITIALIZE_GOTO_MODEL_H
 
 #include <util/message.h>
 #include <util/cmdline.h>
@@ -19,4 +19,4 @@ bool initialize_goto_model(
   const cmdlinet &cmdline,
   message_handlert &message_handler);
 
-#endif // CPROVER_GOTO_PROGRAMS_GET_GOTO_MODEL_H
+#endif // CPROVER_GOTO_PROGRAMS_INITIALIZE_GOTO_MODEL_H

src/symex/symex_parse_options.cpp

@@ -21,6 +21,7 @@ Author: Daniel Kroening, [email protected]
 #include <cpp/cpp_language.h>
 #include <java_bytecode/java_bytecode_language.h>
 
+#include <goto-programs/initialize_goto_model.h>
 #include <goto-programs/goto_convert_functions.h>
 #include <goto-programs/show_properties.h>
 #include <goto-programs/set_properties.h>

src/symex/symex_parse_options.h

@@ -12,7 +12,7 @@ Author: Daniel Kroening, [email protected]
 #include <util/ui_message.h>
 #include <util/parse_options.h>
 
-#include <goto-programs/get_goto_model.h>
+#include <goto-programs/goto_model.h>
 #include <goto-programs/show_goto_functions.h>
 
 #include <langapi/language_ui.h>