Corrected doxygen errors

Author: thk123

src/ansi-c/ansi_c_entry_point.cpp

@@ -195,10 +195,11 @@ bool ansi_c_entry_point(
 
 
 /// Generate a _start function for a specific function
-/// \param entry_function_symbol: The symbol for the function that should be
+/// \param symbol: The symbol for the function that should be
 ///   used as the entry point
 /// \param symbol_table: The symbol table for the program. The new _start
 ///   function symbol will be added to this table
+/// \param message_handler: The message handler
 /// \return Returns false if the _start method was generated correctly
 bool generate_ansi_c_start_function(
   const symbolt &symbol,

src/ansi-c/ansi_c_language.cpp

@@ -37,7 +37,7 @@ void ansi_c_languaget::modules_provided(std::set<std::string> &modules)
 }
 
 /// Generate a _start function for a specific function
-/// \param entry_function_symbol: The symbol for the function that should be
+/// \param entry_function_symbol_id: The symbol for the function that should be
 ///   used as the entry point
 /// \param symbol_table: The symbol table for the program. The new _start
 ///   function symbol will be added to this table

src/cpp/cpp_language.cpp

@@ -54,7 +54,7 @@ void cpp_languaget::modules_provided(std::set<std::string> &modules)
 }
 
 /// Generate a _start function for a specific function
-/// \param entry_function_symbol: The symbol for the function that should be
+/// \param entry_function_symbol_id: The symbol for the function that should be
 ///   used as the entry point
 /// \param symbol_table: The symbol table for the program. The new _start
 ///   function symbol will be added to this table

src/java_bytecode/java_bytecode_language.cpp

@@ -107,7 +107,7 @@ void java_bytecode_languaget::modules_provided(std::set<std::string> &modules)
 }
 
 /// Generate a _start function for a specific function.
-/// \param entry_function_symbol: The symbol for the function that should be
+/// \param entry_function_symbol_id: The symbol for the function that should be
 ///   used as the entry point
 /// \param symbol_table: The symbol table for the program. The new _start
 ///   function symbol will be added to this table

src/java_bytecode/java_entry_point.cpp

@@ -520,12 +520,19 @@ bool java_entry_point(
     pointer_type_selector);
 }
 
-/// Generate a _start function for a specific function
-/// \param entry_function_symbol: The symbol for the function that should be
-///   used as the entry point
-/// \param symbol_table: The symbol table for the program. The new _start
-///   function symbol will be added to this table
-/// \return Returns false if the _start method was generated correctly
+/// Generate a _start function for a specific function. See
+/// java_entry_point for more details.
+/// \param symbol: The symbol representing the function to call
+/// \param symbol_table: Global symbol table
+/// \param message_handler: Where to write output to
+/// \param assume_init_pointers_not_null: When creating pointers, assume they
+///   always take a non-null value.
+/// \param max_nondet_array_length: The length of the arrays to create when
+///   filling them
+/// \param max_nondet_tree_depth: defines the maximum depth of the object tree
+///   (see java_entry_points documentation for details)
+/// \param pointer_type_selector: Logic for substituting types of pointers
+/// \returns true if error occurred on entry point search, false otherwise
 bool generate_java_start_function(
   const symbolt &symbol,
   symbol_tablet &symbol_table,

src/jsil/jsil_language.cpp

@@ -42,7 +42,7 @@ bool jsil_languaget::interfaces(symbol_tablet &symbol_table)
 }
 
 /// Generate a _start function for a specific function
-/// \param entry_function_symbol: The symbol for the function that should be
+/// \param entry_function_symbol_id: The symbol for the function that should be
 ///   used as the entry point
 /// \param symbol_table: The symbol table for the program. The new _start
 ///   function symbol will be added to this table