Java front-end: remove unused parameters

Author: tautschnig

jbmc/src/java_bytecode/ci_lazy_methods_needed.cpp

@@ -58,7 +58,7 @@ void ci_lazy_methods_neededt::add_all_needed_classes(
   // TODO we should be passing here a map that maps generic parameters
   // to concrete types in the current context TG-2664
   const pointer_typet &subbed_pointer_type =
-    pointer_type_selector.convert_pointer_type(pointer_type, {}, ns);
+    pointer_type_selector.convert_pointer_type(pointer_type, {});
 
   if(subbed_pointer_type != pointer_type)
   {

jbmc/src/java_bytecode/java_bytecode_convert_method.cpp

@@ -613,8 +613,6 @@ void java_bytecode_convert_methodt::convert(
   if((!m.is_abstract) && (!m.is_native))
     method_symbol.value = convert_instructions(
       m,
-      code_type,
-      method_symbol.name,
       to_java_class_type(class_symbol.type).lambda_method_handles());
 }
 
@@ -983,8 +981,6 @@ static std::size_t get_bytecode_type_width(const typet &ty)
 
 codet java_bytecode_convert_methodt::convert_instructions(
   const methodt &method,
-  const code_typet &method_type,
-  const irep_idt &method_name,
   const java_class_typet::java_lambda_method_handlest &lambda_method_handles)
 {
   const instructionst &instructions=method.instructions;
@@ -3136,7 +3132,6 @@ bool java_bytecode_convert_methodt::is_method_inherited(
     get_inherited_component(
       classname,
       methodid,
-      classname,
       symbol_table,
       class_hierarchy,
       false);
@@ -3156,7 +3151,6 @@ irep_idt java_bytecode_convert_methodt::get_static_field(
     get_inherited_component(
       class_identifier,
       component_name,
-      symbol_table.lookup_ref(current_method).type.get(ID_C_class),
       symbol_table,
       class_hierarchy,
       true);

jbmc/src/java_bytecode/java_bytecode_convert_method_class.h

@@ -265,8 +265,6 @@ class java_bytecode_convert_methodt:public messaget
 
   codet convert_instructions(
     const methodt &,
-    const code_typet &,
-    const irep_idt &,
     const java_class_typet::java_lambda_method_handlest &);
 
   const bytecode_infot &get_bytecode_info(const irep_idt &statement);

jbmc/src/java_bytecode/java_bytecode_language.cpp

@@ -527,7 +527,6 @@ static void create_stub_global_symbols(
           get_inherited_component(
             class_id,
             component,
-            "java::" + id2string(parse_tree.parsed_class.name),
             symbol_table,
             class_hierarchy,
             true);

jbmc/src/java_bytecode/java_object_factory.cpp

@@ -120,7 +120,6 @@ class java_object_factoryt
   void gen_nondet_pointer_init(
     code_blockt &assignments,
     const exprt &expr,
-    const irep_idt &class_identifier,
     allocation_typet alloc_type,
     const pointer_typet &pointer_type,
     size_t depth,
@@ -709,9 +708,6 @@ static bool add_nondet_string_pointer_initialization(
 ///   The code block we are building with initialization code.
 /// \param expr:
 ///   Pointer-typed lvalue expression to initialize.
-/// \param class_identifier:
-///   Name of the parent class. Used to initialize the `@class_identifier` among
-///   others.
 /// \param alloc_type:
 ///   Allocation type (global, local or dynamic)
 /// \param depth:
@@ -727,7 +723,6 @@ static bool add_nondet_string_pointer_initialization(
 void java_object_factoryt::gen_nondet_pointer_init(
   code_blockt &assignments,
   const exprt &expr,
-  const irep_idt &class_identifier,
   allocation_typet alloc_type,
   const pointer_typet &pointer_type,
   size_t depth,
@@ -736,7 +731,7 @@ void java_object_factoryt::gen_nondet_pointer_init(
   PRECONDITION(expr.type().id()==ID_pointer);
   const pointer_typet &replacement_pointer_type =
     pointer_type_selector.convert_pointer_type(
-      pointer_type, generic_parameter_specialization_map, ns);
+      pointer_type, generic_parameter_specialization_map);
 
   // If we are changing the pointer, we generate code for creating a pointer
   // to the substituted type instead
@@ -1189,7 +1184,6 @@ void java_object_factoryt::gen_nondet_init(
     gen_nondet_pointer_init(
       assignments,
       expr,
-      class_identifier,
       alloc_type,
       pointer_type,
       depth,

jbmc/src/java_bytecode/java_utils.cpp

@@ -331,9 +331,6 @@ std::string pretty_print_java_type(const std::string &fqn_java_type)
 ///   trying to resolve a reference to A.b, component_class_id is "A".
 /// \param component_name: component basename to search for. If searching for
 ///   A.b, this is "b".
-/// \param user_class_id: class identifier making reference to the sought
-///   component. The user class is relevant when determining whether package-
-///   scoped components are visible from a particular use site.
 /// \param symbol_table: global symbol table.
 /// \param class_hierarchy: global class hierarchy.
 /// \param include_interfaces: if true, search for the given component in all
@@ -343,7 +340,6 @@ std::string pretty_print_java_type(const std::string &fqn_java_type)
 resolve_inherited_componentt::inherited_componentt get_inherited_component(
   const irep_idt &component_class_id,
   const irep_idt &component_name,
-  const irep_idt &user_class_id,
   const symbol_tablet &symbol_table,
   const class_hierarchyt &class_hierarchy,
   bool include_interfaces)

jbmc/src/java_bytecode/java_utils.h

@@ -103,7 +103,6 @@ std::string pretty_print_java_type(const std::string &fqn_java_type);
 resolve_inherited_componentt::inherited_componentt get_inherited_component(
   const irep_idt &component_class_id,
   const irep_idt &component_name,
-  const irep_idt &user_class_id,
   const symbol_tablet &symbol_table,
   const class_hierarchyt &class_hierarchy,
   bool include_interfaces);

jbmc/src/java_bytecode/select_pointer_type.cpp

@@ -25,8 +25,7 @@
 pointer_typet select_pointer_typet::convert_pointer_type(
   const pointer_typet &pointer_type,
   const generic_parameter_specialization_mapt
-    &generic_parameter_specialization_map,
-  const namespacet &ns) const
+    &generic_parameter_specialization_map) const
 {
   // if we have a map of generic parameters -> types and the pointer is
   // a generic parameter, specialize it with concrete types

jbmc/src/java_bytecode/select_pointer_type.h

@@ -39,8 +39,7 @@ class select_pointer_typet
   virtual pointer_typet convert_pointer_type(
     const pointer_typet &pointer_type,
     const generic_parameter_specialization_mapt
-      &generic_parameter_specialization_map,
-    const namespacet &ns) const;
+      &generic_parameter_specialization_map) const;
 
   pointer_typet specialize_generics(
     const pointer_typet &pointer_type,