Adding a unit test for lambda method handles in class symbol cont.

Author: svorenova

unit/Makefile

@@ -23,6 +23,8 @@ SRC += unit_tests.cpp \
        java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp \
        java_bytecode/java_bytecode_parse_generics/parse_generic_class.cpp \
        java_bytecode/java_object_factory/gen_nondet_string_init.cpp \
+       java_bytecode/java_bytecode_parser/java_bytecode_parse_lambda_method_table.cpp \
+       java_bytecode/java_bytecode_parser/java_bytecode_convert_class_lambda_method_handles.cpp \
        miniBDD_new.cpp \
        java_bytecode/java_string_library_preprocess/convert_exprt_to_string_exprt.cpp \
        java_bytecode/java_utils_test.cpp \

unit/java_bytecode/java_bytecode_parser/java_bytecode_convert_class_lambda_method_handles.cpp

@@ -37,6 +37,7 @@ SCENARIO(
         std::vector<std::string> lambda_identifiers;
         if(compiler == "eclipse")
         {
+          // NOLINTNEXTLINE(whitespace/braces)
           lambda_identifiers = {
             "java::StaticLambdas.lambda$0:()V",
             "java::StaticLambdas.lambda$1:(ILjava/lang/Object;LDummyGeneric;)V",
@@ -54,6 +55,7 @@ SCENARIO(
         }
         else
         {
+          // NOLINTNEXTLINE(whitespace/braces)
           lambda_identifiers = {
             "java::StaticLambdas.lambda$static$0:()V",
             "java::StaticLambdas.lambda$static$1:(ILjava/lang/"
@@ -101,6 +103,7 @@ SCENARIO(
         std::vector<std::string> lambda_identifiers;
         if(compiler == "eclipse")
         {
+          // NOLINTNEXTLINE(whitespace/braces)
           lambda_identifiers = {
             "java::LocalLambdas.lambda$0:()V",
             "java::LocalLambdas.lambda$1:(ILjava/lang/Object;"
@@ -121,6 +124,7 @@ SCENARIO(
         }
         else
         {
+          // NOLINTNEXTLINE(whitespace/braces)
           lambda_identifiers = {
             "java::LocalLambdas.lambda$test$0:()V",
             "java::LocalLambdas.lambda$test$1:(ILjava/lang/Object;"
@@ -170,6 +174,7 @@ SCENARIO(
         std::vector<std::string> lambda_identifiers;
         if(compiler == "eclipse")
         {
+          // NOLINTNEXTLINE(whitespace/braces)
           lambda_identifiers = {
             "java::MemberLambdas.lambda$0:()V",
             "java::MemberLambdas.lambda$1:(ILjava/lang/Object;LDummyGeneric;)V",
@@ -187,6 +192,7 @@ SCENARIO(
         }
         else
         {
+          // NOLINTNEXTLINE(whitespace/braces)
           lambda_identifiers = {
             "java::MemberLambdas.lambda$new$0:()V",
             "java::MemberLambdas.lambda$new$1:(ILjava/lang/"
@@ -234,13 +240,15 @@ SCENARIO(
         std::vector<std::string> lambda_identifiers;
         if(compiler == "eclipse")
         {
+          // NOLINTNEXTLINE(whitespace/braces)
           lambda_identifiers = {
             "java::OuterMemberLambdas$Inner.lambda$0:()I",
             "java::OuterMemberLambdas$Inner.lambda$1:()Ljava/lang/Object;",
             "java::OuterMemberLambdas$Inner.lambda$2:()LDummyGeneric;"};
         }
         else
         {
+          // NOLINTNEXTLINE(whitespace/braces)
           lambda_identifiers = {
             "java::OuterMemberLambdas$Inner.lambda$new$0:()I",
             "java::OuterMemberLambdas$Inner.lambda$new$1:()Ljava/lang/Object;",