adding 'kind flag' to the savegame format so the file can be determined if it contains player or world data

This commit is contained in:
minjaesong
2022-12-04 16:09:07 +09:00
parent 400cdd5b3c
commit b2479028af
7 changed files with 62 additions and 16 deletions

View File

@@ -139,7 +139,7 @@ class VirtualDiskCracker(val sysCharset: Charset = Charsets.UTF_8) : JFrame() {
if (vdisk != null) {
val entry = currentDirectoryEntries!![rowIndex - 1]
return when(columnIndex) {
0 -> diskIDtoReadableFilename(entry.entryID)
0 -> diskIDtoReadableFilename(entry.entryID, vdisk?.saveKind)
1 -> Instant.ofEpochSecond(entry.modificationDate).
atZone(TimeZone.getDefault().toZoneId()).
format(DateTimeFormatter.ofPattern("yyyy-MM-dd HH:mm:ss"))
@@ -623,7 +623,7 @@ class VirtualDiskCracker(val sysCharset: Charset = Charsets.UTF_8) : JFrame() {
private fun updateDiskInfo() {
val sb = StringBuilder()
directoryHierarchy.forEach {
sb.append(diskIDtoReadableFilename(it))
sb.append(diskIDtoReadableFilename(it, vdisk?.saveKind))
sb.append('/')
}
sb.dropLast(1)
@@ -647,7 +647,7 @@ Write protected: ${disk.isReadOnly.toEnglish()}"""
private fun getFileInfoText(file: DiskEntry): String {
return """Name: ${diskIDtoReadableFilename(file.entryID)}
return """Name: ${diskIDtoReadableFilename(file.entryID, vdisk?.saveKind)}
Size: ${file.getEffectiveSize()}
Type: ${DiskEntry.getTypeString(file.contents)}
CRC: ${file.hashCode().toHex()}