Renaming the folder with lambda unit tests

Author: svorenova

unit/Makefile

@@ -23,8 +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 \
+       java_bytecode/java_bytecode_parse_lambdas/java_bytecode_parse_lambda_method_table.cpp \
+       java_bytecode/java_bytecode_parse_lambdas/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/ci_lazy_methods/lazy_load_lambdas.cpp

@@ -18,7 +18,7 @@ SCENARIO(
   {
     const symbol_tablet symbol_table = load_java_class_lazy(
       "LocalLambdas",
-      "./java_bytecode/java_bytecode_parser/lambda_examples/",
+      "./java_bytecode/java_bytecode_parse_lambdas/lambda_examples/",
       "LocalLambdas.test");
 
     THEN("Then the lambdas should be loaded")
@@ -68,7 +68,7 @@ SCENARIO(
   {
     const symbol_tablet symbol_table = load_java_class_lazy(
       "MemberLambdas",
-      "./java_bytecode/java_bytecode_parser/lambda_examples/",
+      "./java_bytecode/java_bytecode_parse_lambdas/lambda_examples/",
       "MemberLambdas.test");
 
     THEN("Then the lambdas should be loaded")
@@ -117,7 +117,7 @@ SCENARIO(
   {
     const symbol_tablet symbol_table = load_java_class_lazy(
       "StaticLambdas",
-      "./java_bytecode/java_bytecode_parser/lambda_examples/",
+      "./java_bytecode/java_bytecode_parse_lambdas/lambda_examples/",
       "StaticLambdas.test");
 
     THEN("Then the lambdas should be loaded")
@@ -166,7 +166,7 @@ SCENARIO(
   {
     const symbol_tablet symbol_table = load_java_class_lazy(
       "OuterMemberLambdas$Inner",
-      "./java_bytecode/java_bytecode_parser/lambda_examples/",
+      "./java_bytecode/java_bytecode_parse_lambdas/lambda_examples/",
       "OuterMemberLambdas$Inner.test");
 
     THEN("Then the lambdas should be loaded")
@@ -192,7 +192,7 @@ SCENARIO(
 {
   const symbol_tablet symbol_table = load_java_class_lazy(
     "ExternalLambdaAccessor",
-    "./java_bytecode/java_bytecode_parser/lambda_examples/",
+    "./java_bytecode/java_bytecode_parse_lambdas/lambda_examples/",
     "ExternalLambdaAccessor.test");
 
   THEN("Then the lambdas should be loaded")

unit/java_bytecode/java_bytecode_parser/java_bytecode_convert_class_lambda_method_handles.cpp renamed to unit/java_bytecode/java_bytecode_parse_lambdas/java_bytecode_convert_class_lambda_method_handles.cpp

@@ -24,8 +24,8 @@ SCENARIO(
     {
       const symbol_tablet &new_symbol_table = load_java_class(
         "StaticLambdas",
-        "./java_bytecode/java_bytecode_parser/lambda_examples/" + compiler +
-          "_classes/");
+        "./java_bytecode/java_bytecode_parse_lambdas/lambda_examples/" +
+          compiler + "_classes/");
 
       std::string class_prefix = "java::StaticLambdas";
       REQUIRE(new_symbol_table.has_symbol(class_prefix));
@@ -90,8 +90,8 @@ SCENARIO(
     {
       const symbol_tablet &new_symbol_table = load_java_class(
         "LocalLambdas",
-        "./java_bytecode/java_bytecode_parser/lambda_examples/" + compiler +
-          "_classes/");
+        "./java_bytecode/java_bytecode_parse_lambdas/lambda_examples/" +
+          compiler + "_classes/");
 
       std::string class_prefix = "java::LocalLambdas";
       REQUIRE(new_symbol_table.has_symbol(class_prefix));
@@ -161,8 +161,8 @@ SCENARIO(
     {
       const symbol_tablet &new_symbol_table = load_java_class(
         "MemberLambdas",
-        "./java_bytecode/java_bytecode_parser/lambda_examples/" + compiler +
-          "_classes/");
+        "./java_bytecode/java_bytecode_parse_lambdas/lambda_examples/" +
+          compiler + "_classes/");
 
       std::string class_prefix = "java::MemberLambdas";
       REQUIRE(new_symbol_table.has_symbol(class_prefix));
@@ -227,8 +227,8 @@ SCENARIO(
     {
       const symbol_tablet &new_symbol_table = load_java_class(
         "OuterMemberLambdas$Inner",
-        "./java_bytecode/java_bytecode_parser/lambda_examples/" + compiler +
-          "_classes/");
+        "./java_bytecode/java_bytecode_parse_lambdas/lambda_examples/" +
+          compiler + "_classes/");
 
       std::string class_prefix = "java::OuterMemberLambdas$Inner";
       REQUIRE(new_symbol_table.has_symbol(class_prefix));

unit/java_bytecode/java_bytecode_parser/java_bytecode_parse_lambda_method_table.cpp renamed to unit/java_bytecode/java_bytecode_parse_lambdas/java_bytecode_parse_lambda_method_table.cpp

@@ -35,8 +35,8 @@ SCENARIO(
     {
       java_bytecode_parse_treet parse_tree;
       java_bytecode_parse(
-        "./java_bytecode/java_bytecode_parser/lambda_examples/" + compiler +
-          "_classes/StaticLambdas.class",
+        "./java_bytecode/java_bytecode_parse_lambdas/lambda_examples/" +
+          compiler + "_classes/StaticLambdas.class",
         parse_tree,
         message_handler);
       WHEN("Parsing that class")
@@ -347,8 +347,8 @@ SCENARIO(
       {
         java_bytecode_parse_treet parse_tree;
         java_bytecode_parse(
-          "./java_bytecode/java_bytecode_parser/lambda_examples/" + compiler +
-            "_classes/LocalLambdas.class",
+          "./java_bytecode/java_bytecode_parse_lambdas/lambda_examples/" +
+            compiler + "_classes/LocalLambdas.class",
           parse_tree,
           message_handler);
         WHEN("Parsing that class")
@@ -657,8 +657,8 @@ SCENARIO(
       {
         java_bytecode_parse_treet parse_tree;
         java_bytecode_parse(
-          "./java_bytecode/java_bytecode_parser/lambda_examples/" + compiler +
-            "_classes/MemberLambdas.class",
+          "./java_bytecode/java_bytecode_parse_lambdas/lambda_examples/" +
+            compiler + "_classes/MemberLambdas.class",
           parse_tree,
           message_handler);
         WHEN("Parsing that class")
@@ -993,8 +993,8 @@ SCENARIO(
       {
         java_bytecode_parse_treet parse_tree;
         java_bytecode_parse(
-          "./java_bytecode/java_bytecode_parser/lambda_examples/" + compiler +
-            "_classes/OuterMemberLambdas$Inner.class",
+          "./java_bytecode/java_bytecode_parse_lambdas/lambda_examples/" +
+            compiler + "_classes/OuterMemberLambdas$Inner.class",
           parse_tree,
           message_handler);
         WHEN("Parsing that class")