java_class_loadert: remove unused parameter

Author: Daniel Kroening

jbmc/src/java_bytecode/java_bytecode_language.cpp

@@ -213,8 +213,7 @@ bool java_bytecode_languaget::parse(
       java_cp_include_files);
     if(config.java.main_class.empty())
     {
-      auto manifest=
-        java_class_loader.jar_pool(class_loader_limit, path).get_manifest();
+      auto manifest = java_class_loader.jar_pool(path).get_manifest();
       std::string manifest_main_class=manifest["Main-Class"];
 
       // if the manifest declares a Main-Class line, we got a main class

jbmc/src/java_bytecode/java_class_loader.cpp

@@ -82,8 +82,7 @@ optionalt<java_bytecode_parse_treet> java_class_loadert::get_class_from_jar(
   debug()
     << "Getting class `" << class_name << "' from JAR " << jar_file << eom;
 
-  auto data =
-    jar_pool(class_loader_limit, jar_file).get_entry(jar_index_it->second);
+  auto data = jar_pool(jar_file).get_entry(jar_index_it->second);
 
   if(!data.has_value())
     return {};
@@ -256,7 +255,7 @@ java_class_loadert::jar_index_optcreft java_class_loadert::read_jar_file(
   std::vector<std::string> filenames;
   try
   {
-    filenames = this->jar_pool(class_loader_limit, jar_path).filenames();
+    filenames = this->jar_pool(jar_path).filenames();
   }
   catch(const std::runtime_error &)
   {
@@ -331,7 +330,6 @@ std::string java_class_loadert::class_name_to_file(const irep_idt &class_name)
 }
 
 jar_filet &java_class_loadert::jar_pool(
-  java_class_loader_limitt &class_loader_limit,
   const std::string &file_name)
 {
   const auto it=m_archives.find(file_name);
@@ -346,7 +344,6 @@ jar_filet &java_class_loadert::jar_pool(
 }
 
 jar_filet &java_class_loadert::jar_pool(
-  java_class_loader_limitt &class_loader_limit,
   const std::string &buffer_name,
   const void *pmem,
   size_t size)

jbmc/src/java_bytecode/java_class_loader.h

@@ -102,8 +102,7 @@ class java_class_loadert:public messaget
   /// Load jar archive or retrieve from cache if already loaded
   /// \param limit
   /// \param filename name of the file
-  jar_filet &jar_pool(
-    java_class_loader_limitt &limit, const std::string &filename);
+  jar_filet &jar_pool(const std::string &filename);
 
   /// Load jar archive or retrieve from cache if already loaded
   /// \param limit
@@ -113,7 +112,6 @@ class java_class_loadert:public messaget
   /// Note that this mocks the existence of a file which may
   /// or may not exist since  the actual data bis retrieved from memory.
   jar_filet &jar_pool(
-    java_class_loader_limitt &limit,
     const std::string &buffer_name,
     const void *pmem,
     size_t size);