Add natural translation for DSL

tested/__main__.py

@@ -30,6 +30,13 @@
     help="Include verbose logs. It is recommended to also use -o in this case.",
     action="store_true",
 )
+
+parser.add_argument(
+    "-t",
+    "--translate",
+    type=str,
+    help="Specifies the language to translate translate the dsl to.",
+)
 parser = parser.parse_args()
 
 if parser.verbose:
@@ -42,4 +49,4 @@
 
 configuration = read_config(parser.config)
 with smart_close(parser.output) as out:
-    run(configuration, out)
+    run(configuration, out, parser.translate)

tested/configs.py

@@ -8,6 +8,7 @@
 
 from attrs import define, evolve, field
 
+from tested.dodona import ExtendedMessage
 from tested.parsing import fallback_field, get_converter
 from tested.testsuite import ExecutionMode, Suite, SupportedLanguage
 from tested.utils import get_identifier, smart_close
@@ -129,6 +130,7 @@ class Bundle:
     language: "Language"
     global_config: GlobalConfig
     out: IO
+    preprocessor_messages: list[ExtendedMessage] = []
 
     @property
     def config(self) -> DodonaConfig:
@@ -207,6 +209,7 @@ def create_bundle(
     output: IO,
     suite: Suite,
     language: str | None = None,
+    preprocessor_messages: list[ExtendedMessage] | None = None,
 ) -> Bundle:
     """
     Create a configuration bundle.
@@ -216,6 +219,8 @@ def create_bundle(
     :param suite: The test suite.
     :param language: Optional programming language. If None, the one from the Dodona
                      configuration will be used.
+    :param preprocessor_messages: Indicator that the natural language translator
+    for the DSL key that was not defined in any translations map.
 
     :return: The configuration bundle.
     """
@@ -232,4 +237,12 @@ def create_bundle(
         suite=suite,
     )
     lang_config = langs.get_language(global_config, language)
-    return Bundle(language=lang_config, global_config=global_config, out=output)
+    if preprocessor_messages is None:
+        preprocessor_messages = []
+
+    return Bundle(
+        language=lang_config,
+        global_config=global_config,
+        out=output,
+        preprocessor_messages=preprocessor_messages,
+    )

tested/dsl/dsl_errors.py

@@ -0,0 +1,104 @@
+import sys
+import textwrap
+
+import yaml
+from jsonschema.exceptions import ValidationError
+
+from tested.dodona import ExtendedMessage, Permission
+
+
+class InvalidYamlError(ValueError):
+    pass
+
+
+class DslValidationError(ValueError):
+    pass
+
+
+def convert_validation_error_to_group(
+    error: ValidationError,
+) -> ExceptionGroup | Exception:
+    if not error.context and not error.cause:
+        if len(error.message) > 150:
+            message = error.message.replace(str(error.instance), "<DSL>")
+            note = "With <DSL> being: " + textwrap.shorten(str(error.instance), 500)
+        else:
+            message = error.message
+            note = None
+        converted = DslValidationError(
+            f"Validation error at {error.json_path}: " + message
+        )
+        if note:
+            converted.add_note(note)
+        return converted
+    elif error.cause:
+        return error.cause
+    elif error.context:
+        causes = [convert_validation_error_to_group(x) for x in error.context]
+        message = f"Validation error at {error.json_path}, caused by a sub-exception."
+        return ExceptionGroup(message, causes)
+    else:
+        return error
+
+
+def handle_dsl_validation_errors(errors: list):
+    if len(errors) == 1:
+        message = (
+            "Validating the DSL resulted in an error. "
+            "The most specific sub-exception is often the culprit. "
+        )
+        error = convert_validation_error_to_group(errors[0])
+        if isinstance(error, ExceptionGroup):
+            raise ExceptionGroup(message, error.exceptions)
+        else:
+            raise DslValidationError(message + str(error)) from error
+    elif len(errors) > 1:
+        the_errors = [convert_validation_error_to_group(e) for e in errors]
+        message = "Validating the DSL resulted in some errors."
+        raise ExceptionGroup(message, the_errors)
+
+
+def raise_yaml_error(yaml_stream: str, exc: yaml.MarkedYAMLError):
+    lines = yaml_stream.splitlines()
+
+    if exc.problem_mark is None:
+        # There is no additional information, so what can we do?
+        raise exc
+
+    sys.stderr.write(
+        textwrap.dedent(
+            f"""
+            YAML error while parsing test suite. This means there is a YAML syntax error.
+
+            The YAML parser indicates the problem lies at line {exc.problem_mark.line + 1}, column {exc.problem_mark.column + 1}:
+
+                {lines[exc.problem_mark.line]}
+                {" " * exc.problem_mark.column + "^"}
+
+            The error message was:
+                {exc.problem} {exc.context}
+
+            The detailed exception is provided below.
+            You might also find help by validating your YAML file with a YAML validator.\n
+            """
+        )
+    )
+    raise exc
+
+
+def build_preprocessor_messages(
+    translations_missing_key: list[str],
+) -> list[ExtendedMessage]:
+    """
+    Build the preprocessor messages from the missing keys.
+
+    :param translations_missing_key: The missing keys.
+    :return: The preprocessor messages.
+    """
+    return [
+        ExtendedMessage(
+            f"The natural translator found the key {key}, that was not defined in the corresponding translations maps!",
+            permission=Permission.STAFF,
+        )
+        for key in translations_missing_key
+    ]