!exceptions.avt

Переключить прокрутку окна
Загрузить этот исходный код

/*
    Реализация среды исполнения языка программирования
    Объектно-ориентированный продвинутый векторный транслятор

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

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

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

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

package platform.independent.filesystem;

import avt.io.*;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    String objectType { read = package.getResourceString("property.directory-operation-exception.directory-name") }
}

public class DirectoryOperationException(ObjectOperationException)
{
    private String fldDirectoryName;

    public () {  }

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

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

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

    public String toString() {
        String directoryName = fldDirectoryName;
        String eoln = Platform.instance.lineSeparator;
        return (new StringBuilder() + super.toString()
            + eoln + package.getResourceString("property.directory-operation-exception.directory-name") + directoryName
        ).toString();
    }

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    String objectType { read = package.getResourceString("property.file-operation-exception.file-name") }
}

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

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

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

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

public class FileOperationException(ObjectOperationException)
{
    private String fldFileName;

    public () {  }

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

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

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

    public String toString() {
        String fileName = fldFileName;
        String eoln = Platform.instance.lineSeparator;
        return (new StringBuilder() + super.toString()
            + eoln + package.getResourceString("property.file-operation-exception.file-name") + fileName
        ).toString();
    }

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

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

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

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

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

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

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

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

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

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

public class IllegalObjectNameException(IllegalArgumentException)
{
    private String fldObjectName;

    public () {  }

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

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

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

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

public class MoveOperationException(ObjectOperationException)
{
    private String fldObjectOldName;
    private String fldObjectNewName;

    public () {  }

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

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

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

    public String toString() {
        String objectOldName = fldObjectOldName;
        String objectNewName = fldObjectNewName;
        String eoln = Platform.instance.lineSeparator;
        return (new StringBuilder() + super.toString()
            + eoln + package.getResourceString("property.move-operation-exception.object-old-name") + objectOldName
            + eoln + package.getResourceString("property.move-operation-exception.object-new-name") + objectNewName
        ).toString();
    }

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

    public final String objectOldName { read = fldObjectOldName, write = fldObjectOldName }

    public final String objectNewName { read = fldObjectNewName, write = fldObjectNewName }
}

public class ObjectEnumerationException(FileSystemException)
{
    public () {  }

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

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

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

public class ObjectNameTooLongException(IllegalObjectNameException)
{
    public () {  }

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

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

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

public class ObjectNotFoundException(ObjectOperationException)
{
    String fldObjectName;

    public () {  }

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

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

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

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

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

    String objectType { read = package.getResourceString("property.object-operation-exception.object-name") }
}

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

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

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

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

    public abstract String objectName { read, write }
}

public class ObjectWriteAttributesException(ObjectOperationException)
{
    private String fldObjectName;

    public () {  }

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

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

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

    public String toString() {
        String objectName = fldObjectName;
        String eoln = Platform.instance.lineSeparator;
        return (new StringBuilder() + super.toString()
            + eoln + package.getResourceString("property.object-operation-exception.object-name") + objectName
        ).toString();
    }

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

public class ReadOnlyFileSystemException(DirectoryOperationException)
{
    public () {  }

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

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

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