!exceptions.avt

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

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

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

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

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

package avt.io.charset;

import avt.io.*;
import platform.independent.streamformat.*;

public class CharacterDecodingException(CharsetException)
{
    public () {  }

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

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

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

public class CharacterEncodingException(CharsetException)
{
    public () {  }

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

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

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

public class CharsetException(InvalidDataFormatException)
{
    private Charset fldCharset;

    public () {  }

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

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

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

    public String toString() {
        String eoln = Platform.instance.lineSeparator;
        return (new StringBuilder() + super.toString()
            + eoln + package.getResourceString("property.charset.name") + fldCharset.name
        ).toString();
    }

    public final Charset charset { read = fldCharset, write = fldCharset }
}

public class RegisteredCharsetNameException(Exception)
{
    private String fldCharsetName;

    public () {  }

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

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

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

    public String toString() {
        String eoln = Platform.instance.lineSeparator;
        return (new StringBuilder() + super.toString()
            + eoln + package.getResourceString("property.charset.name") + fldCharsetName
        ).toString();
    }

    public final String charsetName { read = fldCharsetName, write = fldCharsetName }
}

public class UnsupportedCharsetNameException(IOException)
{
    private String fldCharsetName;

    public () {  }

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

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

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

    public String toString() {
        String eoln = Platform.instance.lineSeparator;
        return (new StringBuilder() + super.toString()
            + eoln + package.getResourceString("property.charset.name") + fldCharsetName
        ).toString();
    }

    public final String charsetName { read = fldCharsetName, write = fldCharsetName }
}