Skip to content

WrongFileExtensionError

Bases: Exception

Exception raised when the file has the wrong file extension.

Source code in src/safeds/exceptions/_data.py 
135
136
137
138
139
140
141
142
143
144
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 
138
139
140
141
142
143
144
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}"
        ),
    )