Skip to content

WrongFileExtensionError

Bases: Exception

Exception raised when the file has the wrong file extension.

Source code in src/safeds/exceptions/_data.py
class WrongFileExtensionError(Exception):
    """Exception raised when the file has the wrong file extension."""

    def __init__(self, file: str | Path, file_extension: str | list[str]) -> None:
        super().__init__(
            f"The file {file} has a wrong file extension. Please provide a file with the following extension(s):"
            f" {file_extension}",
        )

__init__(file, file_extension)

Source code in src/safeds/exceptions/_data.py
def __init__(self, file: str | Path, file_extension: str | list[str]) -> None:
    super().__init__(
        f"The file {file} has a wrong file extension. Please provide a file with the following extension(s):"
        f" {file_extension}",
    )