Package com.io7m.waxmill.machines
Interface WXMDeviceType.WXMStorageBackendFileType
- All Superinterfaces:
WXMDeviceType.WXMStorageBackendType
- All Known Implementing Classes:
WXMStorageBackendFile
- Enclosing interface:
- WXMDeviceType
@Immutable public static interface WXMDeviceType.WXMStorageBackendFileType extends WXMDeviceType.WXMStorageBackendType
-
Nested Class Summary
Nested classes/interfaces inherited from interface com.io7m.waxmill.machines.WXMDeviceType.WXMStorageBackendType
WXMDeviceType.WXMStorageBackendType.Kind -
Method Summary
Modifier and Type Method Description default voidcheckPreconditions()Check preconditions for the type.default java.lang.Stringcomment()java.nio.file.Pathfile()default WXMDeviceType.WXMStorageBackendType.Kindkind()java.util.Set<WXMOpenOption>options()java.util.Optional<WXMSectorSizes>sectorSizes()
-
Method Details
-
kind
- Specified by:
kindin interfaceWXMDeviceType.WXMStorageBackendType
-
file
java.nio.file.Path file() -
options
java.util.Set<WXMOpenOption> options() -
sectorSizes
java.util.Optional<WXMSectorSizes> sectorSizes() -
comment
@Default default java.lang.String comment()- Specified by:
commentin interfaceWXMDeviceType.WXMStorageBackendType- Returns:
- A descriptive comment
-
checkPreconditions
@Check default void checkPreconditions()Check preconditions for the type.
-