/*
Реализация среды исполнения языка программирования
Объектно-ориентированный продвинутый векторный транслятор
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) { }
}