$exceptions.avt

/*
    Исходный код среды исполнения ПВТ-ОО.

    Этот исходный код является частью проекта ПВТ-ОО.

    Copyright © 2021 Малик Разработчик

    Это свободная программа: вы можете перераспространять её и/или
    изменять её на условиях Меньшей Стандартной общественной лицензии GNU в том виде,
    в каком она была опубликована Фондом свободного программного обеспечения;
    либо версии 3 лицензии, либо (по вашему выбору) любой более поздней версии.

    Эта программа распространяется в надежде, что она может быть полезна,
    но БЕЗО ВСЯКИХ ГАРАНТИЙ; даже без неявной гарантии ТОВАРНОГО ВИДА
    или ПРИГОДНОСТИ ДЛЯ ОПРЕДЕЛЁННЫХ ЦЕЛЕЙ. Подробнее см. в Меньшей Стандартной
    общественной лицензии GNU.

    Вы должны были получить копию Меньшей Стандартной общественной лицензии GNU
    вместе с этой программой. Если это не так, см.
    <http://www.gnu.org/licenses/>.
*/

package platform.independent.filesystem;

import avt.io.*;

public class ClosedEnumerationException(ClosedException)
{
    public () {  }

    public (String message): super(message) {  }

    public (Throwable cause): super(cause) {  }

    public (String message, Throwable cause): super(message, cause) {  }
}

public class ClosedFileException(ClosedStreamException)
{
    public () {  }

    public (String message): super(message) {  }

    public (Throwable cause): super(cause) {  }

    public (String message, Throwable cause): super(message, cause) {  }
}

public class DirectoryCreationException(DirectoryOperationException)
{
    public () {  }

    public (String message): super(message) {  }

    public (Throwable cause): super(cause) {  }

    public (String message, Throwable cause): super(message, cause) {  }
}

public class DirectoryDeletionException(DirectoryOperationException)
{
    public () {  }

    public (String message): super(message) {  }

    public (Throwable cause): super(cause) {  }

    public (String message, Throwable cause): super(message, cause) {  }
}

public class DirectoryNotFoundException(ObjectNotFoundException)
{
    public () {  }

    public (String message): super(message) {  }

    public (Throwable cause): super(cause) {  }

    public (String message, Throwable cause): super(message, cause) {  }

    public final String directoryName { read = fldObjectName, write = fldObjectName }

    String objectType { read = "Папка" }
}

public class DirectoryOperationException(ObjectOperationException)
{
    private String fldDirectoryName;

    public () {  }

    public (String message): super(message) {  }

    public (Throwable cause): super(cause) {  }

    public (String message, Throwable cause): super(message, cause) {  }

    public String toString() {
        String eoln = Platform.instance.lineSeparator;
        return (new StringBuilder() + super.toString() +
            eoln + "Папка: " + fldDirectoryName
        ).toString();
    }

    public final String objectName { read = fldDirectoryName, write = fldDirectoryName }

    public final String directoryName { read = fldDirectoryName, write = fldDirectoryName }
}

public class FileCreationException(FileOperationException)
{
    public () {  }

    public (String message): super(message) {  }

    public (Throwable cause): super(cause) {  }

    public (String message, Throwable cause): super(message, cause) {  }
}

public class FileDeletionException(FileOperationException)
{
    public () {  }

    public (String message): super(message) {  }

    public (Throwable cause): super(cause) {  }

    public (String message, Throwable cause): super(message, cause) {  }
}

public class FileNotFoundException(ObjectNotFoundException)
{
    public () {  }

    public (String message): super(message) {  }

    public (Throwable cause): super(cause) {  }

    public (String message, Throwable cause): super(message, cause) {  }

    public final String fileName { read = fldObjectName, write = fldObjectName }

    String objectType { read = "Файл" }
}

public class FileOpeningException(FileOperationException)
{
    public () {  }

    public (String message): super(message) {  }

    public (Throwable cause): super(cause) {  }

    public (String message, Throwable cause): super(message, cause) {  }
}

public class FileOperationException(ObjectOperationException)
{
    private String fldFileName;

    public () {  }

    public (String message): super(message) {  }

    public (Throwable cause): super(cause) {  }

    public (String message, Throwable cause): super(message, cause) {  }

    public String toString() {
        String eoln = Platform.instance.lineSeparator;
        return (new StringBuilder() + super.toString() +
            eoln + "Файл: " + fldFileName
        ).toString();
    }

    public final String objectName { read = fldFileName, write = fldFileName }

    public final String fileName { read = fldFileName, write = fldFileName }
}

public abstract class FileSystemException(IOException)
{
    public () {  }

    public (String message): super(message) {  }

    public (Throwable cause): super(cause) {  }

    public (String message, Throwable cause): super(message, cause) {  }
}

public class FileSystemNotAttachedException(FileSystemException)
{
    public () {  }

    public (String message): super(message) {  }

    public (Throwable cause): super(cause) {  }

    public (String message, Throwable cause): super(message, cause) {  }
}

public class MoveOperationException(ObjectOperationException)
{
    private String fldOldObjectName;
    private String fldNewObjectName;

    public () {  }

    public (String message): super(message) {  }

    public (Throwable cause): super(cause) {  }

    public (String message, Throwable cause): super(message, cause) {  }

    public String toString() {
        String eoln = Platform.instance.lineSeparator;
        return (new StringBuilder() + super.toString() +
            eoln + "Текущее расположение: " + fldOldObjectName +
            eoln + "Новое расположение: " + fldNewObjectName
        ).toString();
    }

    public final String objectName { read = fldOldObjectName, write = fldOldObjectName }

    public final String oldObjectName { read = fldOldObjectName, write = fldOldObjectName }

    public final String newObjectName { read = fldNewObjectName, write = fldNewObjectName }
}

public class ObjectNotFoundException(ObjectOperationException)
{
    String fldObjectName;

    public () {  }

    public (String message): super(message) {  }

    public (Throwable cause): super(cause) {  }

    public (String message, Throwable cause): super(message, cause) {  }

    public String toString() {
        String eoln = Platform.instance.lineSeparator;
        return (new StringBuilder() + super.toString() +
            eoln + objectType + ": " + fldObjectName
        ).toString();
    }

    public final String objectName { read = fldObjectName, write = fldObjectName }

    String objectType { read = "Объект" }
}

public abstract class ObjectOperationException(FileSystemException)
{
    public () {  }

    public (String message): super(message) {  }

    public (Throwable cause): super(cause) {  }

    public (String message, Throwable cause): super(message, cause) {  }

    public abstract String objectName { read, write }
}

public class ObjectWriteAttributesException(ObjectOperationException)
{
    private String fldObjectName;

    public () {  }

    public (String message): super(message) {  }

    public (Throwable cause): super(cause) {  }

    public (String message, Throwable cause): super(message, cause) {  }

    public String toString() {
        String eoln = Platform.instance.lineSeparator;
        return (new StringBuilder() + super.toString() +
            eoln + "Объект: " + fldObjectName
        ).toString();
    }

    public final String objectName { read = fldObjectName, write = fldObjectName }
}

public class ReadOnlyFileSystemException(FileSystemException)
{
    public () {  }

    public (String message): super(message) {  }

    public (Throwable cause): super(cause) {  }

    public (String message, Throwable cause): super(message, cause) {  }
}