$exceptions.avt

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

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

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

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

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

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

package avt.io;

import platform.independent.streamformat.*;

public class ClosedException(IOException)
{
    public () {  }

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

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

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

public class ClosedStreamException(ClosedException)
{
    public () {  }

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

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

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

public class EndOfStreamException(IOException)
{
    public () {  }

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

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

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

public class IOException(Exception)
{
    public () {  }

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

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

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

public class InterruptedIOException(IOException)
{
    private int fldBytesTransferred;

    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 + "Байт передано: " + fldBytesTransferred
        ).toString();
    }

    public final int bytesTransferred { read = fldBytesTransferred, write = fldBytesTransferred }
}

public class MalformedLineSeparatorException(InvalidDataFormatException)
{
    public () {  }

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

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

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

public class UTFDataFormatException(InvalidDataFormatException)
{
    public () {  }

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

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

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