Do not shadow "java_cp_include_files"

tautschnig · tautschnig · commit 2208e455f9e6 · 2018-12-21T14:26:11.000Z
Just rename the parameter.
diff --git a/jbmc/src/java_bytecode/java_class_loader.h b/jbmc/src/java_bytecode/java_class_loader.h
@@ -48,10 +48,10 @@ class java_class_loadert : public java_class_loader_baset
     const irep_idt &class_name);
 
   /// Set the argument of the class loader limit \ref java_class_loader_limitt
-  /// \param java_cp_include_files: argument string for java_class_loader_limit
-  void set_java_cp_include_files(const std::string &java_cp_include_files)
+  /// \param cp_include_files: argument string for java_class_loader_limit
+  void set_java_cp_include_files(const std::string &cp_include_files)
   {
-    this->java_cp_include_files = java_cp_include_files;
+    java_cp_include_files = cp_include_files;
   }
   /// Sets a function that provides extra dependencies for a particular class.
   /// Currently used by the string preprocessor to note that even if we don't

Original file line number	Diff line number	Diff line change
`@@ -48,10 +48,10 @@ class java_class_loadert : public java_class_loader_baset`
`48`	`48`	`const irep_idt &class_name);`
`49`	`49`
`50`	`50`	`/// Set the argument of the class loader limit \ref java_class_loader_limitt`
`51`		`- /// \param java_cp_include_files: argument string for java_class_loader_limit`
`52`		`- void set_java_cp_include_files(const std::string &java_cp_include_files)`
	`51`	`+ /// \param cp_include_files: argument string for java_class_loader_limit`
	`52`	`+ void set_java_cp_include_files(const std::string &cp_include_files)`
`53`	`53`	`{`
`54`		`- this->java_cp_include_files = java_cp_include_files;`
	`54`	`+ java_cp_include_files = cp_include_files;`
`55`	`55`	`}`
`56`	`56`	`/// Sets a function that provides extra dependencies for a particular class.`
`57`	`57`	`/// Currently used by the string preprocessor to note that even if we don't`