Fix Doxygen formatting

Author: MatWise

src/statement-list/converters/expr2statement_list.cpp

@@ -59,7 +59,7 @@ Author: Matthias Weiss, [email protected]
 /// such. This can reduce complexity in some cases.
 /// \param lhs: Left side of the binary expression.
 /// \param rhs: Right side of the binary expression.
-/// \return: List of instrumented operands.
+/// \return List of instrumented operands.
 static std::vector<exprt>
 instrument_equal_operands(const exprt &lhs, const exprt &rhs)
 {
@@ -93,7 +93,7 @@ instrument_equal_operands(const exprt &lhs, const exprt &rhs)
 
 /// Checks if the expression or one of its parameters is not of type bool.
 /// \param expr: Expression to verify.
-/// \return: True if the expression and its operands are not or only partially
+/// \return True if the expression and its operands are not or only partially
 ///   of type bool, false otherwise.
 static bool is_not_bool(const exprt &expr)
 {

src/statement-list/converters/expr2statement_list.h

@@ -62,7 +62,7 @@ class expr2stlt
   /// recursively in the process.
   /// \param expr: Expression to convert. Operands of this expression will be
   ///   converted as well via recursion.
-  /// \return: String containing human-readable STL code for the expression.
+  /// \return String containing human-readable STL code for the expression.
   std::string convert(const exprt &expr);
 
 private:
@@ -147,7 +147,7 @@ class expr2stlt
   /// Returns the given identifier in a form that is compatible with STL by
   /// looking up the symbol or cutting the scope when needed.
   /// \param identifier: Identifier that should be converted.
-  /// \return: Converted identifier.
+  /// \return Converted identifier.
   irep_idt id_shorthand(const irep_idt &identifier);
 };
 

src/statement-list/statement_list_language.h

@@ -32,7 +32,7 @@ class statement_list_languaget : public languaget
   /// instance's parse tree.
   /// \param instream: Input to parse.
   /// \param path: Path of the input.
-  /// \return: False if successful.
+  /// \return False if successful.
   bool parse(std::istream &instream, const std::string &path) override;
 
   /// Currently unused.
@@ -45,7 +45,7 @@ class statement_list_languaget : public languaget
   /// \param module: Name of the file that has been parsed.
   /// \param keep_file_local: Set to true if local variables of this module
   ///   should be included in the table.
-  /// \return: False if no errors occurred, true otherwise.
+  /// \return False if no errors occurred, true otherwise.
   bool typecheck(
     symbol_tablet &symbol_table,
     const std::string &module,

src/statement-list/statement_list_parser.h

@@ -36,7 +36,7 @@ class statement_list_parsert : public parsert
 public:
   /// Starts the parsing process and saves the result inside of this instance's
   /// parse tree.
-  /// \return: False if successful.
+  /// \return False if successful.
   bool parse() override;
 
   /// Adds a function block to the parse tree by converting the \p block

src/statement-list/statement_list_typecheck.h

@@ -28,7 +28,7 @@ class symbolt;
 /// \param module: Name of the file that has been parsed.
 /// \param message_handler: Used to provide debug information and error
 ///   messages.
-/// \return: False if no errors occurred, true otherwise.
+/// \return False if no errors occurred, true otherwise.
 bool statement_list_typecheck(
   const statement_list_parse_treet &parse_tree,
   symbol_tablet &symbol_table,
@@ -198,7 +198,7 @@ class statement_list_typecheckt : public typecheckt
   /// Creates a data block type for the given function block.
   /// \param function_block: Function block with an interface that should be
   /// converted to a data block.
-  /// \return: A type representation of an instance data block for the
+  /// \return A type representation of an instance data block for the
   ///   function block.
   struct_typet create_instance_data_block_type(
     const statement_list_parse_treet::function_blockt &function_block);
@@ -627,7 +627,7 @@ class statement_list_typecheckt : public typecheckt
   /// Performs a typecheck on a STL instruction with an additional operand that
   /// should be no constant.
   /// \param op_code: OP code of the instruction.
-  /// \return: Reference to the operand.
+  /// \return Reference to the operand.
   const symbol_exprt &
   typecheck_instruction_with_non_const_operand(const codet &op_code);
 
@@ -655,7 +655,7 @@ class statement_list_typecheckt : public typecheckt
   /// \param tia_element: Symbol representation of the TIA element.
   /// \param negate: Whether the operand should be negated (e.g. for the
   ///   `AND NOT` expression).
-  /// \return: Typechecked operand.
+  /// \return Typechecked operand.
   exprt typecheck_simple_boolean_instruction_operand(
     const codet &op_code,
     const symbolt &tia_element,
@@ -677,7 +677,7 @@ class statement_list_typecheckt : public typecheckt
   /// Performs a typecheck on the given identifier and returns its symbol.
   /// \param identifier: Identifier that should be checked.
   /// \param tia_element: Symbol representation of the current TIA module.
-  /// \return: Expression including the symbol's name and type.
+  /// \return Expression including the symbol's name and type.
   exprt
   typecheck_identifier(const symbolt &tia_element, const irep_idt &identifier);
 
@@ -717,7 +717,7 @@ class statement_list_typecheckt : public typecheckt
   /// \param assignments: Assignment list of the function call.
   /// \param param: Parameter that should be checked.
   /// \param tia_element: Symbol representation of the TIA element.
-  /// \return: Expression including the assigned symbol's name and type.
+  /// \return Expression including the assigned symbol's name and type.
   exprt typecheck_function_call_arguments(
     const std::vector<equal_exprt> &assignments,
     const code_typet::parametert &param,
@@ -727,7 +727,7 @@ class statement_list_typecheckt : public typecheckt
   /// returns the typechecked version.
   /// \param tia_element: Symbol representation of the TIA element.
   /// \param rhs: Expression that the function parameter got assigned to.
-  /// \return: Expression of either a symbol or a constant.
+  /// \return Expression of either a symbol or a constant.
   exprt typecheck_function_call_argument_rhs(
     const symbolt &tia_element,
     const exprt &rhs);
@@ -738,7 +738,7 @@ class statement_list_typecheckt : public typecheckt
   /// \param assignments: Assignment list of the function call.
   /// \param return_type: Type of the return value.
   /// \param tia_element: Symbol representation of the TIA element.
-  /// \return: Expression including the assigned symbol's name and type.
+  /// \return Expression including the assigned symbol's name and type.
   exprt typecheck_return_value_assignment(
     const std::vector<equal_exprt> &assignments,
     const typet &return_type,