Accept method name as argument in JBMC and janalyzer

simplifies CLI as --function option can be omitted.

Author: peterschrammel

jbmc/src/janalyzer/janalyzer_parse_options.cpp

@@ -751,6 +751,8 @@ void janalyzer_parse_optionst::help()
     "\n"
     " janalyzer [-?] [-h] [--help] show help\n"
     " janalyzer\n"
+    HELP_JAVA_METHOD_NAME
+    " janalyzer\n"
     HELP_JAVA_CLASS_NAME
     " janalyzer\n"
     HELP_JAVA_JAR

jbmc/src/java_bytecode/java_bytecode_language.h

@@ -143,6 +143,11 @@ Author: Daniel Kroening, [email protected]
   "                               archives to search for class files.\n" \
   " --main-class class-name      set the name of the main class\n"
 
+#define HELP_JAVA_METHOD_NAME /* NOLINT(*) */ \
+  "    method-name               fully qualified name of method\n" \
+  "                              used as entry point, e.g.\n" \
+  "                              mypackage.Myclass.foo:(I)Z\n"
+
 #define HELP_JAVA_CLASS_NAME /* NOLINT(*) */ \
   "    class-name                name of class\n" \
   "                              The entry point is the method specified by\n" /* NOLINT(*) */ \

jbmc/src/jbmc/jbmc_parse_options.cpp

@@ -1051,6 +1051,8 @@ void jbmc_parse_optionst::help()
     "\n"
     " jbmc [-?] [-h] [--help]      show help\n"
     " jbmc\n"
+    HELP_JAVA_METHOD_NAME
+    " jbmc\n"
     HELP_JAVA_CLASS_NAME
     " jbmc\n"
     HELP_JAVA_JAR