Add missing tests for ASTNodeListAffectationExpressionBuilder

src/language/ASTNodeListAffectationExpressionBuilder.cpp

@@ -59,10 +59,15 @@ ASTNodeListAffectationExpressionBuilder::_buildAffectationProcessor(
         if (std::stoi(node_sub_data_type.m_parent_node.string()) == 0) {
           list_affectation_processor->template add<ValueT, ZeroType>(value_node);
         } else {
-          throw parse_error("invalid operand value", std::vector{node_sub_data_type.m_parent_node.begin()});
+          // LCOV_EXCL_START
+          throw parse_error("unexpected error: invalid operand value",
+                            std::vector{node_sub_data_type.m_parent_node.begin()});
+          // LCOV_EXCL_STOP
         }
       } else {
-        throw parse_error("invalid dimension", std::vector{node_sub_data_type.m_parent_node.begin()});
+        // LCOV_EXCL_START
+        throw parse_error("unexpected error: invalid dimension", std::vector{node_sub_data_type.m_parent_node.begin()});
+        // LCOV_EXCL_STOP
       }
     } else {
       throw parse_error("unexpected error: invalid value type");
@@ -138,9 +143,11 @@ ASTNodeListAffectationExpressionBuilder::_buildAffectationProcessor(
         add_affectation_processor_for_vector_data(TinyVector<3>{}, node_sub_data_type);
         break;
       }
+        // LCOV_EXCL_START
       default: {
         throw parse_error("invalid dimension", std::vector{value_node.begin()});
       }
+        // LCOV_EXCL_STOP
       }
       break;
     }

tests/test_ASTNodeListAffectationExpressionBuilder.cpp

@@ -161,6 +161,71 @@ R*R*R*R (r,b,z,m) = (3.2, 1, 6, 2);
       CHECK_AST(data, result);
     }
 
+    SECTION("without conversion R^1*R^2*R^3*R")
+    {
+      std::string_view data = R"(
+R^1 a = 0;
+R^2 b = (1,2);
+R^3 c = (1,2,3);
+R^1*R^2*R^3*R (x1,x2,x3,x) = (a, b, c, 2);
+)";
+
+      std::string_view result = R"(
+(root:ASTNodeListProcessor)
+ +-(language::eq_op:AffectationFromZeroProcessor<TinyVector<1ul, double> >)
+ |   +-(language::name:a:NameProcessor)
+ |   `-(language::integer:0:ValueProcessor)
+ +-(language::eq_op:AffectationFromListProcessor<language::eq_op, TinyVector<2ul, double> >)
+ |   +-(language::name:b:NameProcessor)
+ |   `-(language::expression_list:ASTNodeExpressionListProcessor)
+ |       +-(language::integer:1:ValueProcessor)
+ |       `-(language::integer:2:ValueProcessor)
+ +-(language::eq_op:AffectationFromListProcessor<language::eq_op, TinyVector<3ul, double> >)
+ |   +-(language::name:c:NameProcessor)
+ |   `-(language::expression_list:ASTNodeExpressionListProcessor)
+ |       +-(language::integer:1:ValueProcessor)
+ |       +-(language::integer:2:ValueProcessor)
+ |       `-(language::integer:3:ValueProcessor)
+ `-(language::eq_op:ListAffectationProcessor<language::eq_op>)
+     +-(language::name_list:FakeProcessor)
+     |   +-(language::name:x1:NameProcessor)
+     |   +-(language::name:x2:NameProcessor)
+     |   +-(language::name:x3:NameProcessor)
+     |   `-(language::name:x:NameProcessor)
+     `-(language::expression_list:ASTNodeExpressionListProcessor)
+         +-(language::name:a:NameProcessor)
+         +-(language::name:b:NameProcessor)
+         +-(language::name:c:NameProcessor)
+         `-(language::integer:2:ValueProcessor)
+)";
+
+      CHECK_AST(data, result);
+    }
+
+    SECTION("Zero initialization")
+    {
+      std::string_view data = R"(
+R^1*R^2*R^3*R (x1,x2,x3,x) = (0, 0, 0, 0);
+)";
+
+      std::string_view result = R"(
+(root:ASTNodeListProcessor)
+ `-(language::eq_op:ListAffectationProcessor<language::eq_op>)
+     +-(language::name_list:FakeProcessor)
+     |   +-(language::name:x1:NameProcessor)
+     |   +-(language::name:x2:NameProcessor)
+     |   +-(language::name:x3:NameProcessor)
+     |   `-(language::name:x:NameProcessor)
+     `-(language::expression_list:ASTNodeExpressionListProcessor)
+         +-(language::integer:0:ValueProcessor)
+         +-(language::integer:0:ValueProcessor)
+         +-(language::integer:0:ValueProcessor)
+         `-(language::integer:0:ValueProcessor)
+)";
+
+      CHECK_AST(data, result);
+    }
+
     SECTION("from function")
     {
       std::string_view data = R"(
@@ -314,5 +379,24 @@ R x;
 
       CHECK_AST_THROWS_WITH(data, std::string{"invalid implicit conversion: Z -> function"});
     }
+
+    SECTION("invalid R^n -> R^m conversion")
+    {
+      std::string_view data = R"(
+R^2 x = (1,2);
+R^3 y = x;
+)";
+
+      CHECK_AST_THROWS_WITH(data, std::string{"incompatible dimensions in affectation"});
+    }
+
+    SECTION("invalid Z -> R^d conversion (non-zero)")
+    {
+      std::string_view data = R"(
+R^2 x = 1;
+)";
+
+      CHECK_AST_THROWS_WITH(data, std::string{"invalid implicit conversion: Z -> R^2"});
+    }
   }
 }