Add support for property assignment

For example:

instance = new Object();
instance.prop = 56;

Most of the infrastructure to support this was already in place since we
support reading properties, and we already support assignments.

tested/dsl/ast_translator.py

@@ -51,9 +51,11 @@
     NumberType,
     ObjectKeyValuePair,
     ObjectType,
+    PropertyAssignment,
     SequenceType,
     Statement,
     Value,
+    VariableAssignment,
     VariableType,
     serialize_from_python,
 )
@@ -95,7 +97,15 @@ def _is_type_cast(node: ast.expr) -> bool:
 
 def _convert_ann_assignment(node: ast.AnnAssign) -> Assignment:
     if not isinstance(node.target, ast.Name):
-        raise InvalidDslError("You can only assign to simple variables")
+        actual = ast.dump(node)
+        raise InvalidDslError(
+            f"""
+            You can only assign to simple variables when using type hints.
+            You are trying to assign to a target of type {type(node.target)}.
+            The full assignment is:
+            {actual}
+            """
+        )
     assert node.value
     value = _convert_expression(node.value, False)
     if isinstance(node.annotation, ast.Name):
@@ -110,40 +120,46 @@ def _convert_ann_assignment(node: ast.AnnAssign) -> Assignment:
     if not is_our_type:
         type_ = VariableType(data=type_)
 
-    return Assignment(
+    return VariableAssignment(
         variable=node.target.id,
         expression=value,
         type=cast(VariableType | AllTypes, type_),
     )
 
 
 def _convert_assignment(node: ast.Assign) -> Assignment:
-    # raise InvalidDslError("You need to annotate the variable with a type.")
     if n := len(node.targets) != 1:
         raise InvalidDslError(
             f"You must assign to exactly one variable, but got {n} variables."
         )
     variable = node.targets[0]
-    if not isinstance(variable, ast.Name):
-        actual = ast.dump(node)
-        raise InvalidDslError(f"You can only assign to simple variables, got: {actual}")
     value = _convert_expression(node.value, False)
 
-    # Support a few obvious ones, such as constructor calls or literal values.
-    type_ = None
-    if isinstance(value, Value):
-        type_ = value.type
-    elif isinstance(value, FunctionCall) and value.type == FunctionType.CONSTRUCTOR:
-        type_ = VariableType(data=value.name)
+    if isinstance(variable, ast.Name):
+        # Support a few obvious ones, such as constructor calls or literal values.
+        type_ = None
+        if isinstance(value, Value):
+            type_ = value.type
+        elif isinstance(value, FunctionCall) and value.type == FunctionType.CONSTRUCTOR:
+            type_ = VariableType(data=value.name)
+
+        if not type_:
+            raise InvalidDslError(
+                f"Could not deduce the type of variable {variable.id}: add a type annotation."
+            )
 
-    if not type_:
+        assert isinstance(type_, AllTypes | VariableType)
+        return VariableAssignment(variable=variable.id, expression=value, type=type_)
+    elif isinstance(variable, ast.Attribute):
+        property_access = _convert_expression(variable, False)
+        assert isinstance(property_access, FunctionCall)
+        return PropertyAssignment(property=property_access, expression=value)
+    else:
+        actual = ast.dump(node)
         raise InvalidDslError(
-            f"Could not deduce the type of variable {variable.id}: add a type annotation."
+            f"You can only assign to simple variables or attributes, got: {actual}."
         )
 
-    assert isinstance(type_, AllTypes | VariableType)
-    return Assignment(variable=variable.id, expression=value, type=type_)
-
 
 def _convert_call(node: ast.Call) -> FunctionCall:
     # We consider function calls that start with a capital to be constructors.

tested/languages/bash/generators.py

@@ -11,13 +11,13 @@
 )
 from tested.languages.utils import convert_unknown_type
 from tested.serialisation import (
-    Assignment,
     FunctionCall,
     FunctionType,
     Identifier,
     Statement,
     StringType,
     Value,
+    VariableAssignment,
 )
 from tested.testsuite import MainInput
 
@@ -153,7 +153,7 @@ def convert_statement(statement: Statement) -> str:
         return convert_function_call(statement, index_fun, [])
     elif isinstance(statement, Value):
         return convert_value(statement)
-    elif isinstance(statement, Assignment):
+    elif isinstance(statement, VariableAssignment):
         result = f"local {statement.variable}="
         if isinstance(statement.expression, FunctionCall):
             result += f"$({convert_statement(statement.expression)})"

tested/languages/c/generators.py

@@ -19,7 +19,6 @@
 )
 from tested.languages.utils import convert_unknown_type, is_special_void_call
 from tested.serialisation import (
-    Assignment,
     Expression,
     FunctionCall,
     FunctionType,
@@ -29,6 +28,7 @@
     Statement,
     StringType,
     Value,
+    VariableAssignment,
     VariableType,
     as_basic_type,
 )
@@ -149,7 +149,7 @@ def convert_statement(statement: Statement, full=False) -> str:
         return convert_function_call(statement)
     elif isinstance(statement, Value):
         return convert_value(statement)
-    elif isinstance(statement, Assignment):
+    elif isinstance(statement, VariableAssignment):
         if full:
             prefix = convert_declaration(statement.type) + " "
         else:

tested/languages/csharp/generators.py

@@ -22,18 +22,19 @@
 )
 from tested.languages.utils import convert_unknown_type, is_special_void_call
 from tested.serialisation import (
-    Assignment,
     Expression,
     FunctionCall,
     FunctionType,
     Identifier,
     NamedArgument,
     ObjectType,
+    PropertyAssignment,
     SequenceType,
     SpecialNumbers,
     Statement,
     StringType,
     Value,
+    VariableAssignment,
     VariableType,
     as_basic_type,
 )
@@ -245,13 +246,18 @@ def convert_statement(statement: Statement, full=False) -> str:
         return convert_function_call(statement)
     elif isinstance(statement, Value):
         return convert_value(statement)
-    elif isinstance(statement, Assignment):
+    elif isinstance(statement, PropertyAssignment):
+        return (
+            f"{convert_statement(statement.property)} = "
+            f"{convert_statement(statement.expression)};"
+        )
+    elif isinstance(statement, VariableAssignment):
         if full:
             prefix = convert_declaration(statement.type, statement.expression)
         else:
             prefix = ""
         return (
-            f"{prefix}{statement.variable} = "
+            f"{prefix} {statement.variable} = "
             f"{convert_statement(statement.expression)}"
         )
     raise AssertionError(f"Unknown statement: {statement!r}")
@@ -269,7 +275,7 @@ def _generate_internal_context(ctx: PreparedContext, pu: PreparedExecutionUnit)
         if (
             not tc.testcase.is_main_testcase()
             and isinstance(tc.input, PreparedTestcaseStatement)
-            and isinstance(tc.input.statement, Assignment)
+            and isinstance(tc.input.statement, VariableAssignment)
         ):
             result += (
                 convert_declaration(

tested/languages/generation.py

@@ -30,7 +30,7 @@
     prepare_expression,
 )
 from tested.parsing import get_converter
-from tested.serialisation import Assignment, Expression, Statement, VariableType
+from tested.serialisation import Expression, Statement, VariableType
 from tested.testsuite import (
     Context,
     FileUrl,
@@ -39,6 +39,7 @@
     Testcase,
     TextData,
 )
+from tested.utils import is_statement_strict
 
 if TYPE_CHECKING:
     from tested.judge.planning import PlannedExecutionUnit
@@ -232,7 +233,7 @@ def generate_statement(bundle: Bundle, statement: Statement) -> str:
     if isinstance(statement, Expression):
         statement = prepare_expression(bundle, statement)
     else:
-        assert isinstance(statement, Assignment)
+        assert is_statement_strict(statement)
         statement = prepare_assignment(bundle, statement)
 
     return bundle.language.generate_statement(statement)

tested/languages/haskell/generators.py

@@ -20,7 +20,6 @@
 )
 from tested.languages.utils import convert_unknown_type
 from tested.serialisation import (
-    Assignment,
     Expression,
     FunctionCall,
     Identifier,
@@ -30,6 +29,7 @@
     Statement,
     StringType,
     Value,
+    VariableAssignment,
     VariableType,
     as_basic_type,
 )
@@ -161,7 +161,7 @@ def convert_statement(statement: Statement, lifting=False) -> str:
             result += ")"
         return result
     else:
-        assert isinstance(statement, Assignment)
+        assert isinstance(statement, VariableAssignment)
         return f"let {statement.variable} = {convert_statement(statement.expression)}"
 
 

tested/languages/java/generators.py

@@ -23,17 +23,18 @@
 )
 from tested.languages.utils import convert_unknown_type, is_special_void_call
 from tested.serialisation import (
-    Assignment,
     Expression,
     FunctionCall,
     FunctionType,
     Identifier,
     ObjectType,
+    PropertyAssignment,
     SequenceType,
     SpecialNumbers,
     Statement,
     StringType,
     Value,
+    VariableAssignment,
     VariableType,
     as_basic_type,
 )
@@ -239,7 +240,12 @@ def convert_statement(statement: Statement, full=False) -> str:
         return convert_function_call(statement)
     elif isinstance(statement, Value):
         return convert_value(statement)
-    elif isinstance(statement, Assignment):
+    elif isinstance(statement, PropertyAssignment):
+        return (
+            f"{convert_statement(statement.property)} = "
+            f"{convert_statement(statement.expression)}"
+        )
+    elif isinstance(statement, VariableAssignment):
         if full:
             prefix = convert_declaration(statement.type, statement.expression) + " "
         else:
@@ -259,12 +265,12 @@ def _generate_internal_context(ctx: PreparedContext, pu: PreparedExecutionUnit)
     for tc in ctx.testcases:
         result += "this.writeSeparator();\n"
 
-        # In Java, we need special code to make variables available outside of
+        # In Java, we need special code to make variables available outside
         # the try-catch block.
         if (
             not tc.testcase.is_main_testcase()
             and isinstance(tc.input, PreparedTestcaseStatement)
-            and isinstance(tc.input.statement, Assignment)
+            and isinstance(tc.input.statement, VariableAssignment)
         ):
             result += (
                 convert_declaration(

tested/languages/javascript/generators.py

@@ -21,17 +21,18 @@
 )
 from tested.languages.utils import convert_unknown_type
 from tested.serialisation import (
-    Assignment,
     Expression,
     FunctionCall,
     FunctionType,
     Identifier,
     ObjectType,
+    PropertyAssignment,
     SequenceType,
     SpecialNumbers,
     Statement,
     StringType,
     Value,
+    VariableAssignment,
     as_basic_type,
 )
 from tested.testsuite import MainInput
@@ -129,7 +130,12 @@ def convert_statement(statement: Statement, internal=False, full=False) -> str:
         return convert_function_call(statement, internal)
     elif isinstance(statement, Value):
         return convert_value(statement)
-    elif isinstance(statement, Assignment):
+    elif isinstance(statement, PropertyAssignment):
+        return (
+            f"{convert_statement(statement.property, True)} = "
+            f"{convert_statement(statement.expression, True)}"
+        )
+    elif isinstance(statement, VariableAssignment):
         if full:
             prefix = "let "
         else:
@@ -172,7 +178,7 @@ def _generate_internal_context(ctx: PreparedContext, pu: PreparedExecutionUnit)
         if (
             not tc.testcase.is_main_testcase()
             and isinstance(tc.input, PreparedTestcaseStatement)
-            and isinstance(tc.input.statement, Assignment)
+            and isinstance(tc.input.statement, VariableAssignment)
         ):
             result += f"let {tc.input.statement.variable}\n"
 

tested/languages/kotlin/generators.py

@@ -30,11 +30,13 @@
     Identifier,
     NamedArgument,
     ObjectType,
+    PropertyAssignment,
     SequenceType,
     SpecialNumbers,
     Statement,
     StringType,
     Value,
+    VariableAssignment,
     VariableType,
     as_basic_type,
 )
@@ -244,7 +246,12 @@ def convert_statement(statement: Statement, full=False) -> str:
         return convert_function_call(statement)
     elif isinstance(statement, Value):
         return convert_value(statement)
-    elif isinstance(statement, Assignment):
+    elif isinstance(statement, PropertyAssignment):
+        return (
+            f"{convert_statement(statement.property)} = "
+            f"{convert_statement(statement.expression)};"
+        )
+    elif isinstance(statement, VariableAssignment):
         prefix = "var " if full else ""
         return (
             f"{prefix}{statement.variable} = "
@@ -320,7 +327,7 @@ class {pu.unit.name}: AutoCloseable {{
             if (
                 not tc.testcase.is_main_testcase()
                 and isinstance(tc.input, PreparedTestcaseStatement)
-                and isinstance(tc.input.statement, Assignment)
+                and isinstance(tc.input.statement, VariableAssignment)
             ):
                 decl = convert_declaration(
                     tc.input.statement.type, tc.input.statement.expression