Rename method_in_context to method_context

The new name makes it clearer that this field defines a context, not a
method.

Author: antlechner

jbmc/src/java_bytecode/java_bytecode_language.cpp

@@ -245,7 +245,7 @@ void java_bytecode_languaget::set_language_options(const optionst &options)
     options.get_bool_option("ignore-manifest-main-class");
 
   if(options.is_set("context-include") || options.is_set("context-exclude"))
-    method_in_context = get_context(options);
+    method_context = get_context(options);
 
   language_options_initialized=true;
 }
@@ -1174,7 +1174,7 @@ bool java_bytecode_languaget::convert_single_method(
   lazy_class_to_declared_symbols_mapt &class_to_declared_symbols)
 {
   // Do not convert if method is not in context
-  if(method_in_context && !(*method_in_context)(id2string(function_id)))
+  if(method_context && !(*method_context)(id2string(function_id)))
   {
     return false;
   }

jbmc/src/java_bytecode/java_bytecode_language.h

@@ -297,7 +297,7 @@ class java_bytecode_languaget:public languaget
   std::unordered_map<std::string, object_creation_referencet> references;
 
   /// If set, method bodies are only elaborated if they pass the filter
-  optionalt<prefix_filtert> method_in_context;
+  optionalt<prefix_filtert> method_context;
 };
 
 std::unique_ptr<languaget> new_java_bytecode_language();