Code tidy changes

Clarifying comment in symbol_table and adding required braces

Correcting an include postion

Removed unusued method declaration

Author: thk123

src/java_bytecode/java_object_factory.cpp

@@ -6,6 +6,7 @@ Author: Daniel Kroening, [email protected]
 
 \*******************************************************************/
 
+#include "java_object_factory.h"
 
 #include <unordered_set>
 #include <sstream>
@@ -26,7 +27,6 @@ Author: Daniel Kroening, [email protected]
 
 #include <goto-programs/goto_functions.h>
 
-#include "java_object_factory.h"
 #include "java_types.h"
 #include "java_utils.h"
 
@@ -59,11 +59,6 @@ class java_object_factoryt
     const exprt &expr,
     const pointer_typet &ptr_type);
 
-  void gen_pointer_target_init(
-    const exprt &expr,
-    const typet &target_type,
-    bool create_dynamic_objects,
-    update_in_placet update_in_place);
 
   code_assignt get_null_assignment(
     const exprt &expr,
@@ -356,8 +351,10 @@ void java_object_factoryt::gen_pointer_target_init(
     if(target.id()==ID_address_of)
       init_expr=target.op0();
     else
+    {
       init_expr=
         dereference_exprt(target, target.type().subtype());
+    }
     gen_nondet_init(
       assignments,
       init_expr,

src/util/symbol_table.cpp

@@ -13,9 +13,8 @@ Author: Daniel Kroening, [email protected]
 
 /// Add a new symbol to the symbol table
 /// \param symbol: The symbol to be added to the symbol table
-/// \return Returns a boolean indicating whether the process failed, which
-///   should only happen if there is a symbol with the same name already in the
-///   symbol table
+/// \return Returns true if the process failed, which should only happen if
+///   there is a symbol with the same name already in the symbol table.
 bool symbol_tablet::add(const symbolt &symbol)
 {
   if(!symbols.insert(std::pair<irep_idt, symbolt>(symbol.name, symbol)).second)