/*
Реализация среды исполнения языка программирования
Объектно-ориентированный продвинутый векторный транслятор
Copyright © 2021, 2024 Малик Разработчик
Это свободная программа: вы можете перераспространять ее и/или изменять
ее на условиях Меньшей Стандартной общественной лицензии GNU в том виде,
в каком она была опубликована Фондом свободного программного обеспечения;
либо версии 3 лицензии, либо (по вашему выбору) любой более поздней версии.
Эта программа распространяется в надежде, что она будет полезной,
но БЕЗО ВСЯКИХ ГАРАНТИЙ; даже без неявной гарантии ТОВАРНОГО ВИДА
или ПРИГОДНОСТИ ДЛЯ ОПРЕДЕЛЕННЫХ ЦЕЛЕЙ. Подробнее см. в Меньшей Стандартной
общественной лицензии GNU.
Вы должны были получить копию Меньшей Стандартной общественной лицензии GNU
вместе с этой программой. Если это не так, см.
<https://www.gnu.org/licenses/>.
*/
package avt.io;
import platform.independent.streamformat.*;
public class ClosedException(IOException)
{
public () { }
public (Throwable cause): super(cause) { }
public (String message): super(message) { }
public (String message, Throwable cause): super(message, cause) { }
}
public class ClosedStreamException(ClosedException)
{
public () { }
public (Throwable cause): super(cause) { }
public (String message): super(message) { }
public (String message, Throwable cause): super(message, cause) { }
}
public class EndOfStreamException(IOException)
{
public () { }
public (Throwable cause): super(cause) { }
public (String message): super(message) { }
public (String message, Throwable cause): super(message, cause) { }
}
public class InterruptedIOException(IOException)
{
private int fldBytesTransferred;
public () { }
public (Throwable cause): super(cause) { }
public (String message): super(message) { }
public (String message, Throwable cause): super(message, cause) { }
public String toString() {
int bytesTransferred = fldBytesTransferred;
String eoln = Platform.instance.lineSeparator;
return (new StringBuilder() + super.toString()
+ eoln + package.getResourceString("property.interrupted-io-exception.bytes-transferred") + bytesTransferred
).toString();
}
public final int bytesTransferred { read = fldBytesTransferred, write = fldBytesTransferred }
}
public class IOException(Exception)
{
public () { }
public (Throwable cause): super(cause) { }
public (String message): super(message) { }
public (String message, Throwable cause): super(message, cause) { }
}
public class MalformedLineSeparatorException(InvalidDataFormatException)
{
public () { }
public (Throwable cause): super(cause) { }
public (String message): super(message) { }
public (String message, Throwable cause): super(message, cause) { }
}
public class UTFDataFormatException(InvalidDataFormatException)
{
public () { }
public (Throwable cause): super(cause) { }
public (String message): super(message) { }
public (String message, Throwable cause): super(message, cause) { }
}