Doc linting

Author: Joel Allred

jbmc/src/java_bytecode/generic_parameter_specialization_map_keys.cpp

@@ -147,7 +147,8 @@ void generic_parameter_specialization_map_keyst::insert_pairs_for_symbol(
   // - an incomplete class or
   // - a class that is neither generic nor implicitly generic (this
   //  may be due to unsupported class signature)
-  // then ignore the generic types in the struct_tag_type and do not add any pairs.
+  // then ignore the generic types in the struct_tag_type and do not add any
+  // pairs.
   // TODO TG-1996 should decide how mocking and generics should work
   // together. Currently an incomplete class is never marked as generic. If
   // this changes in TG-1996 then the condition below should be updated.

jbmc/src/java_bytecode/java_types.cpp

@@ -918,10 +918,10 @@ void get_dependencies_from_generic_parameters(
 /// This assumes that the class named \p class_name_prefix extends or implements
 /// the class \p type, and that \p base_ref corresponds to a generic class.
 /// For instance since HashMap<K,V> extends Map<K,V> we would call
-/// `java_generic_struct_tag_typet(struct_tag_typet("Map"), "Ljava/util/Map<TK;TV;>;",
-/// "java.util.HashMap")` which generates a symbol type with identifier "Map",
-/// and two generic types with identifier "java.util.HashMap::K" and
-/// "java.util.HashMap::V" respectively.
+/// `java_generic_struct_tag_typet(struct_tag_typet("Map"),
+/// "Ljava/util/Map<TK;TV;>;", "java.util.HashMap")` which generates a symbol
+/// type with identifier "Map", and two generic types with identifier
+/// "java.util.HashMap::K" and "java.util.HashMap::V" respectively.
 java_generic_struct_tag_typet::java_generic_struct_tag_typet(
   const struct_tag_typet &type,
   const std::string &base_ref,